Să se arate că următoarele formule sunt
ision
tautologii:
a) (pp): (Principiul necontradicţiei)
b) ((pva)^lp) →
c) ((pva). a) → p; (Modus tollendo po-
nens
negând un termen al disjuncției
se afirmà celalalt)
bia
d) ((p →q)^lq) →lp: (Modus tollendo
-
→9:
tolens negând concluzia implicaţiei
se neagà ipoteza)
(P→q) → (Pv¶): sladujaid
(p→q) → p^lq: (Legea negàrii impli-
caţiei)
g) [(p→q)^(q→r)] →(p→r). (Regula
silogismului - tranzitivitatea implicatiei)
