Dodaj tę stronę do książki
Pokaż książkę (0 stron)
Proponowane strony
 |
Zasugerowano, aby zintegrować ten artykuł z artykułem spełnianie formuły zdaniowej. |
|
|
Zasugerowano, aby zintegrować ten artykuł z artykułem spełnialność formuł logicznych. |
Formuła zdaniowa A języka L jest spełnialna wtedy i tylko wtedy, gdy istnieją: interpretacja M języka L oraz M-wartościowanie s takie, że M╞ A [s]; w przeciwnym przypadku mówimy, że A jest niespełnialna.
