implikacja logiczna 1
rzeczownikdomena: myślenierejestr: specj.
Słowosieć [ver.5.0]
PolskiDefinicja
relacja (lub w innym ujęciu symbol relacyjny) pomiędzy teoriami (zbiorami zdań logicznych) T i B jest spełniona, gdy każdy model teorii T jest także modelem teorii B.
Przykłady
- 1.Bez odwoływania się do teorii modeli można stwierdzić, że implikacja logiczna jest prawdziwa wtedy i tylko wtedy, gdy nie jest możliwe, że zdanie B jest fałszywe i jednocześnie wszystkie zdania T są prawdziwe.
