TAUTOLOGIILE FORMULE LOGIC ECHIVALENTE NTRE ELE

LEGI LOGICE FUNDAMENTALE

PRINCIPIUL IDENTITII

pp

PRINCIPIUL TERULUI EXCLUS

p v p
(p

PRINCIPIUL NONCONTRADICIEI
LEGEA DUBLEI NEGAII

p)

p p

IDEMPOTENA CONJUNCIEI

(p

p) p

CONTRAGEREA CONJUNCIEI

(p

q) p

IDEMPOTENA DISJUNCIEI

(p v p) p

EXTINDEREA DISJUNCIEI

p (p v q)

ECHIVALENA IMPLICAIEI CU O
DISJUNCIE

(p q) ( p v q)

(p

COMUTATIVITATEA CONJUNCIEI
COMUTATIVITATEA CONJUNCIEI
ASOCIATIVITATEA CONJUNCIEI

q) (q

p)

(p v q) (q v p)
[(p

ASOCIATIVITATEA DISJUNCIEI

q)

r] [p

(q

r)]

[(p v q) v r] [p v (q v r)]

ALTE TAUTOLOGII:

LEGILE LUI DE MORGAN - redau raportul de dualitate dintre conjuncie i

disjuncie
(p q) (p v q)
(p v q) (p q)

respectiv
respectiv

(p q) (p v q)
(p v q) (p q)

Operatorii CONJUNCIE i DISJUNCIE sunt distributivi unul fa de altul:

[p (q v r)] [(p q) v (p r)]

[p v (q r)] [(p v q) (p v r)]

ALTE TAUTOLOGII
TRANZITIVITATEA IMPLICAIEI

[(p q) (q r)] (p r)

CONTRAPOZIIA IMPLICAIEI

(p q) (q p)

ECHIVALENA ECHIVALENEI CU O
DUBL IMPLICAIE

(p q) [(p q) (q p)]

LEGEA EXPORTAIEI

[(p q) r] [p (q r)]

LEGEA IMPORTAIEI

[p (q r)] [(p q) r]
[p (q r)] [q (p r)]

LEGEA INVERSRII PREMISELOR

[p (q r)] [(p q) (p r)]

LEGEA LUI PEIRCE

DISTRIBUTIVITATEA IMPLICAIEI
FA DE CONJUNCIE

[(p q) p] p
[p (q r)] [(p q) (p r)]
[p (q v r)] [(p q) v (p r)]

DISTRIBUTIVITATEA IMPLICAIEI
FA DE DISJUNCIE
Exemplu de lege logic/tautologie exprimat n limbaj natural:
Dac alerg repede pn la staia de autobuz, voi prinde autobuzul de la ora dou. Dac
voi prinde autobuzul de la ora dou, atunci voi ajunge la timp la film. Deci, dac alerg
repede, atunci voi ajunge la timp la film.

Schem de raionament:
(alerg repede pn la staia de autobuz) (voi prinde autobuzul de ora dou)
(voi prinde autobuzul de ora dou) (voi ajunge la timp la film)
(alerg repede pn la staia de autobuz) (voi ajunge la timp la film)

Formula logic corespondent:

[(p q) (q r)] (p r)
(tranzitivitatea implicaiei)

Concluzie (decizie): ntruct formula este o lege logic (tautologie),

raionamentul este valid!

Cnd nu reuim s identificm schema logic a unui raionament cu o tautologie,

construim TABELUL DE ADEVR (metoda matriceal) corespunztor formulei i
testm validitatea.