Spełnialność formuły zdaniowej
Z Wikipedii
Zasugerowano, aby ten artykuł zintegrować z artykułem spełnianie formuły zdaniowej. |
Zasugerowano, aby ten artykuł zintegrować 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.