1 |
Zadovoljavanje(1) U istinitosno-funkcionalnoj propozicijskoj logici, isf A je zadovoljena akko je istinita u barem jednom retku svoje istinitosne tablice, tj. ako je A ili kontingencija ili tautologija. (2) U predi [..]
|
<< Zadovoljivost | Vezati varijablu >> |