NOES DE LGICA MATEMTICA

TAUTOLOGIA E CONTRA -TAUTOLOGIA

TAUTOLOGIA ou FRMULA LOGICAMENTE VLIDA : Frmula que
possui apenas valor V em sua tabela verdade. Exemplo : p p

p p p

CONTRA-TAUTOLOGIA ou FRMULA LOGICAMENTE FALSA:

Frmula que possui apenas valor F em sua tabela verdade. Exemplo : p p

p p

CONTINGENTE ou INDETERMINADA: Frmula que possui

valores V e F em sua tabela verdade.

Exemplo : p q

pq

REGRAS DE INFERNCIA.: A frmula implica tautologicamente a

frmula e indicamos se e somente se a frmula uma
tautologia .
Regras

Frmulas Atmicas

Frmulas Compostas

Modus Ponens

MP

p (p q) q

A, A B / B

Modus Tollens

MT

q(pq)p

B, A B / A

Silogismo Hipottico

SH

(p q) ( q r) (p r)

A B, B C / A C

Silogismo Disjuntivo

SD

(p q) p q

A, A B / B

Simplificao

SM

pqp

AB/A

Adio

AD

ppq

A/AB

Eliminao

EL

(p (q r) ) q p r

B , (A (B C) / A C

Prova por Casos

CS

(p r) ( q r) (p q) r

A C, B C / (A B ) C

EQUIVALNCIAS TAUTOLGICAS : As frmulas e so

tautologicamente equivalentes e indicamos se e somente se a
frmula uma tautologia

Comutativa

Associativa

(p

Idempotente

q)

q
r
p

(q

r)

(p
p

q)

q
r
p

(q

r)

Propriedades p
de V

Propriedades p
de F

Absoro

( p

(p

Distributivas

Distributivas

p (q r)
(p r)

Leis de De
Morgan

(p

q)

Def.
implicao

~p

Def.
bicondicional

p q
p)

(p

Negao

p)

Contraposi
o

r )

(q r)
(p r)

Exportao( Importao (
)
p

Troca de
Premissas

(q
r )

(p

(p

q)

q)

q )

( q

r)

(q r)
(p r)

(p

p (q r)
(p r)

(p

q)

( p

p
p)

(~p

(p

q)

q )

q)

q)

(~q

p
q

p
(p q)
r )

r )

( q

( p

Exemplo : Dadas as frmulas A: p (q r) e B : (q r ) p vamos

verificar que A B ou ainda que A / B. Basta verificar, com o uso das tabelas
verdade, que A B tautologia.
p
q
r
( p (q r)) ( (q r ) p)
V

Neste exemplo, A B pois A B tautologia.

As TAUTOLOGIAS so infinitas e desempenham um importante papel nos
processos de deduo no Clculo Proposicional como veremos em prximos
tpicos.
FORMAS NORMAIS CONJUNTIVA E DISJUNTIVA
Algumas EQUIVALNCIAS TAUTOLGICAS dadas acima nos permitem
transformar qualquer frmula em uma frmula logicamente equivalente, que
no contenha os conectivos e , transformando-a em uma FORMA
NORMAL CONJUNTIVA (FNC) ou em uma FORMA NORMAL
DISJUNTIVA (FND) como segue:
1. substitui-se frmulas: A B por A B e A B por ( A B) ( B A)
2. elimina-se a negao que precede os parnteses substituindo-se:
(A B) por A B e (A B) por A B .
3. eliminam-se as negaes mltiplas substituindo ( A) por A.
4. elimina-se o alcance dos conectivos substituindo
para obter a FNC : A (B C) por (A B) (A C)
para obter a FND : A (B C) por (A B) (A C)
Deste modo, uma frmula est em FORMA NORMAL
CONJUNTIVA: FNC ou em FORMA NORMAL DISJUNTIVA: FND se, e
somente se:
1. No mximo contm os conectivos, , .
2. A negao no tem alcance sobre os conectivos e .
3. No aparecem negaes sucessivas.
4. O conectivo no tem alcance sobre na FNC e, o conectivo no tem
alcance sobre na FND.
Exemplos: FNC : ( p q) (r s p)
FND : p (q r) ( s p)
Exemplo: Determine uma FND e uma FNC equivalente frmula
((p q) q) ( r q) .

q)

((p

q)

(p

q)

4.

q)

(r

5.

q)

(r

6.

((

1.

((p

2.

3.

q)

q)

q)

( r

q)

Frmula dada

( r

q)

1. Def. de
Implicao

q)

2. De Morgan

q )

3. Negao e
De Morgan

q )

4.FND

q)

(r

q))

(r

q) 5.

Distributiva

7.

((

8.

q)

9.

q)

V)

(r

( r

q)

r)

( p

6.
Tautologia

q)

7.
Propriedade
de V

10. ( p q r) ( p q )

q)

8.
Distributiva
9.
Idempotente
e FNC

PROBLEMA DE POST
Como j observamos podemos construir a tabela verdade de uma frmula
conhecidos os valores verdade das frmulas que a compem. O problema
recproco se coloca : para toda tabela verdade, existe uma frmula que a
determina? Este problema conhecido como PROBLEMA DE POST (Emil
Leon Post 1888-1995) e pode ser resolvido obtendo-se uma FNC ou
uma FND que satisfaa a tabela verdade dada.
Para se obter uma FND:
1. Observamos todas as linhas da tabela que possuem V na ltima coluna;
2. Construimos para cada uma destas linhas as conjunes correspondentes;
3. Fazemos a disjuno destas conjunes obtendo uma frmula em FND que
satisfaz a tabela verdade.

Exemplo: Determine uma frmula que satisfaa a tabela verdade abaixo:

p
q
?
V

(p

q)

q)

Resposta: Frmula obtida (p q) ( p q) FND

Para se obter uma FNC:
1. Observamos todas as linhas da tabela que possuem F na ltima coluna;
2. Construimos para cada uma destas linhas as disjunes correspondentes;
3. Fazemos a conjuno destas disjunes obtendo uma frmula em FNC que
satisfaz a tabela verdade.
Exemplo: Determine uma frmula que satisfaa a tabela verdade abaixo:
p
q
?
V

p
p

Resposta: Frmula obtida ( p q) (p q) FNC

As FND e FNC obtidas como acima so completas ou seja, em cada disjuncto
(FND) ou em cada conjuncto (FNC) todas as variveis proposicionais esto
presentes.