a) Sprawdź czy:
{¬s∨q , ¬s⇔r, r⇒p } ⊨ q∨p
b) Czy alternatywa zdania spełnialnego i sprzecznego jest zdaniem sprzecznym? Czy jest zdaniem
spełnialnym?
Tautologia
Otrzymałeś(aś) rozwiązanie do zamieszczonego zadania? - podziękuj autorowi rozwiązania! Kliknij