Dodaj tę stronę do książki
Pokaż książkę (0 stron)
Proponowane strony
 |
Ten artykuł należy dopracować zgodnie z zaleceniami edycyjnymi: latex. Po wyeliminowaniu niedoskonałości prosimy usunąć szablon {{Dopracować}} z kodu tego artykułu. |
Formuła zdaniowa A danego języka pierwszego rzędu jest prawdziwa przy interpretacji M = <U, ∆> tego języka wtw formuła zdaniowa A jest spełniona przy interpretacji M przez każde M-wartościowanie.
Czyli innymi słowy
Zbiór wszystkich formuł zdaniowych rozważanego języka, które są prawdziwe przy interpretacji M tego języka oznaczmy symbolem Vr(M).
Formuła zdaniowa A jest fałszywa przy interpretacji M wtw dla każdego M-wartościowania s zachodzi:
