reguły dowodzenia iteRacj@: Jeśli p⇔q oraz q⇒r i r są zbiorem przesłanek, to: prawda 1/ zbiór ten jest niesprzeczny fałsz 2/ wnioskiem ze zbioru przesłanek jest stwierdzenie p ∧ q fałsz 3/ wnioskiem ze zbioru przesłanek jest stwierdzenie r → p Czy moje odpowiedzi są poprawne ?

Adamm: poprawne

iteRacj@: dziękuję!