Truth function

Def: f( A1,A
A2, A3, ….., An) → {0
{0,1},
1}
com Ai = {0,1} é uma “truth function” (função
verdade)

Obs: Dado   PROP, a tabela verdade de é

uma função verdade, cujos argumentos são as
os predicados atômicos de 
 Formas normais

Literal: um literal é um símbolo proposicional ou sua

negação

Forma normal disjuntiva(FND): uma fórmula está na FND se for

composta por uma disjunção( ) de conjunções() de literais
literais.

Forma normal conjuntiva(FNC): uma fórmula está na

FNC se for composta por uma conjunção() de
disjunções( ) de literais.
 Algoritmo para obtenção da FND de um fórmula
( algoritmo
l it 1)

 Construa a tabela verdade

 Crie uma disjunção vazia
 Para cada linha da tabela com valor 1
 Crie uma conjunção vazia
 Para cada símbolo da fórmula
 Se o valor for 1 adicione o símbolo à conjunção, senão

adicione a negação do símbolo à conjunção

 Adicione a conjunção à disjunção
Exemplo: FND de (P R) → S

P R S (P R)→S
0 0 0 1 PRS
0 0 1 1 PRS
0 1 0 0
0 1 1 1 PRS
1 0 0 0
1 0 1 1 P R S
PRS
1 1 0 0
1 1 1 1 PRS

FND: (PRS) (PRS) (PRS) (PRS) 

(P R S)
(PRS)
Proposição
Seja  uma formula do calculo proposicional e  sua forma normal disjuntiva obtida pelo
algoritmo 1. Dada uma valoração v, temos que v()=1 sse v()=1.

Demostração
Dada uma valoração ç v,, qqueremos pprovar qque v()=1
( ) sse v()=1.
()
Seja A={ pi, ..., pk} o conjunto dos predicados atomicos de , com r elementos.
Ida: Se v()=1, por construção da tabela verdade, existe uma linha nela na qual a
valoração v() vale 1. A= A1  A2, onde A1 = { pj A | v(pj)=0} e A2 = { p´j A|
v(p´j)=1}.
v(p (1) a formula  possui um termo da forma:
)=1} Pela aplicação da algoritmo (1),
pqpt p´q´  p´t´ para todo pr  A1 e p´r´  A2 .
Logo v()=1.
 Algoritmo
g para
p obtenção
ç da FNC de um fórmula

 Construa a tabela verdade

 Crie uma conjunção vazia
 Para cada linha da tabela com valor 0
 Crie uma disjunção vazia
 Para cada símbolo da fórmula
 Se o valor for 0 adicione o símbolo à disjunção, senão

adicione a negação do símbolo à disjunção

 Adicione a disjunção à conjunção
Exemplo: FNC de (P R) → S

P R S (P R)→S
0 0 0 1
0 0 1 1
0 1 0 0 P R S
0 1 1 1
1 0 0 0 P R S
1 0 1 1
1 1 0 0 P R S
1 1 1 1

FNC: ((P R S)(P

) ( R S)(P
) ( R S))
Dedução Natural : Regras
Dedução Natural : Exemplos
Dedução Natural : Exemplos
Definição
ç formal de árvore de derivação
ç
consequência lógica
Definição formal de árvore de derivação ‐ cont
Dedução Natural
Dedução Natural
 Dedução Natural
4 Idem
4.
 Exercícios 1a, 1b e 1c

[ ]1 [ ]1 []1
i
  
e 
  i1

 
i 1  

[   ]1 [   ]1
e e
 
 i 1
(   ) 
 Exercício 1.d
(   )   (   )

[   ]1
   [   ]1
e e
 
e

i
(   ) 

[ ]2 [ ]1
i
   (   ) 
e

RAA1

 i2
 
 Demais conectivos
Regras adicionais para inclusão e exclusão dos
conectivos ↔  
 Demais conectivos
Regras adicionais para inclusão e exclusão dos
conectivos ↔  
 Demais conectivos
Regras adicionais para inclusão e exclusão dos
conectivos ↔  
 Prova da regra do 
Obs: nos exemplos abaixo devemos citar qual a regra utilizada em
cada passo.
Exemplo
Exemplo
 Exercício

{     } |    

    1
 e
  2
e

RAA 1

2 i
  
 Dedução natural
((   )   )  

1  2
e



1 i (   )   3
 
e  2
 e

RRA2
 3 i
((   )   )  
 Dedução natural

[ ]1 i
[ ]2 i

(   ) [(   )]3 (   ) [(   )]3

e e
 i1  RAA
  2


RAA3
  
 Dedução natural
           

         
1 4 1 3

e e

   
2
 
e 1

i2
    
i3
       
i4
          