LOGIKA

PRAWO ODRYWANIA

(p ∧ (p => q) => q

dowód:

PRAWO NEGACJI IMPLIKACJI

( ~( p => q )) <=> ( p ∧ ( ~q )

dowód:

jest tautologią