Logika Metoda tabel semantycznych H.E.V: Witam W jaki sposób bada się w logice, metodą tablic semantycznych czy formuła F jest konsekwencją logiczną zbioru formuł A dla np: A = {p→q,r→s} F = (q v s) →(r v p) ?

KKrzysiek: Nie pamiętam, ale spróbuj drzewko z A i drzewko z B, porównaj wyniki.

H.E.V: Z A mam liście: ~q,p,s,r~ a a z F mam liście: q, ~p, ~s, r. Nie wiem, jakie wnioski z tego wyciągnąć i dla czego takie a nie inne...