Equivalncia Lgica

Professor Jean
1

LGICA MATEMTICA - CONTEDO

Equivalncia Lgica
Definio
Propriedades

LGICA MATEMTICA Implicao e Equivalncia Lgica

EQUIVALNCIA - Definio

Uma proposio P(p,q,r,...)

LOGICAMENTE EQUIVALENTE a uma
proposio Q(p,q,r,...), se as tabelasverdade destas 2 proposies so
idnticas.
3

LGICA MATEMTICA Implicao e Equivalncia Lgica

EQUIVALNCIA
Notao:
P(p,q,r,...) Q(p,q,r,...)
P equivalente a Q
Se as proposies P(p,q,r,...) e Q(p,q,r,...)
so ambas TAUTOLOGIAS, ou ento,
so CONTRADIES,
ento so EQUIVALENTES.
4

LGICA MATEMTICA Implicao e Equivalncia Lgica

EQUIVALNCIA - Propriedades
Propriedade Reflexiva:
P(p,q,r,...) P(p,q,r,...)
Propriedade Simtrica:
Se P(p,q,r,...) Q(p,q,r,...) ENTO
Q(p,q,r,...) P(p,q,r,...)

LGICA MATEMTICA Implicao e Equivalncia Lgica

EQUIVALNCIA - Propriedades
Propriedade Transitiva:
Se P(p,q,r,...) Q(p,q,r,...) E
Q(p,q,r,...) R(p,q,r,...) ENTO
P(p,q,r,...) R(p,q,r,...) .

LGICA MATEMTICA Implicao e Equivalncia Lgica

EXEMPLO (EQUIVALNCIA):
~~p p (Regra da dupla negao)
p

~p

~~p

V
F

F
V

V
F

LGICA MATEMTICA Implicao e Equivalncia Lgica

Proposies associadas a uma condicional

As tabelas-verdade dessas 4 proposies:
p

p q q p ~p ~q ~q ~p

V
V
F
F

V
F
V
F

V
F
V
V

V
V
F
V

V
V
F
V

V
F
V
V
8

LGICA MATEMTICA Implicao e Equivalncia Lgica

Proposies associadas a uma condicional

As tabelas-verdade dessas 4 proposies:
p

p q q p ~p ~q ~q ~p

V
V
F
F

V
F
V
F

V
F
V
V

V
V
F
V

V
V
F
V

V
F
V
V

Equivalentes
9

LGICA MATEMTICA Implicao e Equivalncia Lgica

Proposies associadas a uma condicional

As tabelas-verdade dessas 4 proposies:
p

p q q p ~p~q

V
V
F
F

V
F
V
F

V
F
V
V

V
V
F
V

V
V
F
V

~q ~p
V
F
V
V

Equivalentes
10

LGICA MATEMTICA Implicao e Equivalncia Lgica

Proposies associadas a uma condicional

As tabelas-verdade dessas 4 proposies:
p

p q q p ~p ~q ~q ~p

V
V
F
F

V
F
V
F

V
F
V
V

V
V
F
V

V
V
F
V

V
F
V
V

NO Equivalentes
11

LGICA MATEMTICA Implicao e Equivalncia Lgica

Proposies associadas a uma condicional

As tabelas-verdade dessas 4 proposies:
p

p q q p ~p ~q ~q ~p

V
V
F
F

V
F
V
F

V
F
V
V

V
V
F
V

V
V
F
V

V
F
V
V

NO Equivalentes
12