Strona 1 z 1

Przeprowadź wnioskowania:

: 27 sty 2021, 12:16
autor: BONIO1337
\( p ⇒ q, p ∧ r ⇒ ¬s, s, r |— ¬p∨q \)