logar Charlie_wykałaczka: Jak sprawdzić czy zestaw formuł {p−>q} , (q v r) <=> p , ~(p=q), p v r jest sprzeczny?

Charlie_wykałaczka: jeszcze brakuje |− p−>r

rejnold: α₁ | α₂ | α₃ | α₄ | α₅ | ~β ,gdzie :α (przesłanki ) = {{p−>q} , (q v r) <=> p , ~(p=q), p v r } β=wniosek na gałęzi drzewa analitycznego.

Charlie_wykałaczka: dzięki