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)
Vă mulțumim că ați ales să vizitați site-ul nostru dedicat Matematică. Sperăm că informațiile disponibile v-au fost utile. Dacă aveți întrebări sau aveți nevoie de asistență suplimentară, vă rugăm să ne contactați. Revenirea dumneavoastră ne va bucura, iar pentru acces rapid, nu uitați să ne salvați la favorite!