PRAWO ODRYWANIA
(p ∧ (p => q) => q
dowód:

PRAWO NEGACJI IMPLIKACJI
( ~( p => q )) <=> ( p ∧ ( ~q )
dowód:

jest tautologią
PRAWO ODRYWANIA
(p ∧ (p => q) => q
dowód:
PRAWO NEGACJI IMPLIKACJI
( ~( p => q )) <=> ( p ∧ ( ~q )
dowód:
jest tautologią