Logika obliczeniowa H.E.V: Mam formułę: ∀p ((p XOR q) ∨ r) i mam zbadać jej spełnialność. Chciałem to zrobić za pomocą tabel semantycznych, ale nie do końca jestem pewien, czy jest to najszybsza metoda, a jeśli jest, to jak to zrobić? (Problem leży w tym, że zazwyczaj kwantyfikowałem np. zmienną x... a tutaj cały predykat p).

KKrzysiek: Spróbuj za pomocą drzewa semantycznego.

H.E.V: Tylko nie wiem co mam zrobić z ∀p... tutaj używa się reguły gamma... tylko problem leży w tym, że nie wiem jak ją zastosować jeśli kwantyfikujemy predykat a nie zmienną

H.E.V: Ogólnie to spróbowałem też zastosować metodę z rozpisaniem wszystkich przypadków w tablicy i mam: p q r p xor q (p xor q) ∨r 1 0 0 1 1 1 0 1 1 1 1 1 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 1 1 1 1 I wyciągam wniosek, że zarówno dla p=0 jak i p=1 istnieją modele, dla których formuła jest spełniona, zatem dla każdego p formuła jest spełnialna. Czy to jest poprawna metoda i wnioskowanie?