Exercícios

Obs:
c) A novela será exibida a menos seja exibido o programa político.
a : ser exibido o programa político
 : ser exibida a novela
a→
→a
Exercícios
 Cálculo proposicional

Exemplos:
Paulo dirigiu um carro e bateu no poste.
Se chover eu vou ao cinema.
Se não chover eu vou a praia.
Eu vou um cinema ou vou jantar fora.
Se 1+2 = 4 então amanhã será feriado.
O conjunto dos números naturais possui um
mínimo.
Amanhã irei ao teatro.
 Linguagem
Símbolos proposicionais p1, p2, etc
Conetivos →     
Auxiliares ( )

Definição indutiva do conjunto de proposições

PROP é o menor conjunto que contem:
i.  , p1, p2, .....
ii. Se a e  pertencem a PROP, então (a → )
(a  ) (a  ) (a  ) pertencem a PROP
iii. Se a pertencem a PROP, então ( a) pertence a PROP
 Exemplos
• (p1  p2) , ( (p1  p2)  p3) pertencem a PROP
• p1  p2 ,   não pertencem a PROP

Ex. Prove que   não pertence a PROP.

Supor por contradição que pertença.
Considere Y = PROP – {  }. Vamos provar que
Y satisfaz a i , ii e iii.
...........
 Eliminação de parenteses
Obs: Prop é o conjunto de formulas do cálculo
proposicional.

Ordem de precedência (segundo o livro do João Nunes, pg. 6)

 →   

Ordem de precedência (segundo o livro do Van Dalen, pg. 12)

   → 
Adotaremos a precedência do livro do Van Dalen no curso
 Teorema
Teor: Seja A uma propriedade.
A é verdadeira em PROP
sse
i. A() , A(pi) para todo i.
ii. Se A(a) e A() , então A((a □ ) )
□{→, ,,}
iii. Se A(a) então A( ( a) )
Prova: Seja X = { a  PROP | A(a) }
X satifaz i, ii e iii. Logo PROP  X
 Teoremas
Toda proposição tem um número par de
parênteses.
Cada proposição possui uma sequência de
formação.
Provas:
• Vale para atômica.
• Parte indutiva.
 Definições
Def 1
Uma sequência de formação a1 a 2 ....an de 
satisfaz:
i) an = 
ii) Para todo i, temos:
a) ai atômico
b) ai = (aj □ ak), com j e k < i, □  { → ,  ,  ,  }
c) ai = ( aj), j < i .
 cont
Def 2
 é uma sub fórmula de a se
i)  = a
ii) a = (aj □ ak), e  é uma subformula de aj ou
ak , □  { → ,  ,  ,  }
iii) a = ( aj),  é uma subformula de aj .
 Definição por recursão
Definir “rank” de uma proposição.

Definir árvore de uma proposição.

Provas:
• definir para atômica.
• definir parte indutiva.
 Exercícios
Ex 1. Escreva uma sequência de derivação para
as fórmulas:

Ex 2. Escreva um arvore de derivação e o “rank”

das fórmulas acima.
 Semântica
• Tabelas verdade de cada operador
• Tabela verdade de uma proposição
 Definição
Def. Uma valoração v é uma aplicação de PROP em {0,1} que
satisfaz:
i. v() =0
ii. v( (a  ) ) = min{v(a) , v() }
iii. v( (a  ) ) = max{v(a) , v() }
iv. v((a → ) ) = max{ 1-v(a) , v() }
v. v( (a  ) ) = 1 se v(a) = v() e 0 caso contrário.
vi. v( ( a) ) = 1- v(a)

Teorema: Dado v(pi), para todo pi em a, v(a) é único.

Prova: Indução.
 Semântica
Def. Uma proposição a é uma tautologia se para toda valoração v,
v(a)=1. Notação |= a

Def:  PROP é satisfátivel (termo mais usado em lógica de 1ª

ordem) se existe v tal que v(a)=1, para todo a  

Def. a é consequência semântica de PROP, se para toda

valoração v tal que v(β)=1, para todo β  , então v(α)=1.

Def. Tabelas verdade de cada operador.

Def. Tabela verdade de uma proposição.

2. Idem usando o conceito de valoração.

3. Prove que ((a   )  a )  a

 Obs: φ é uma tautologia sse ( ┐ φ ) é
contraditória

φ é tautologia então φ é satisfatível

Se φ implica ψ então (φ → ψ) é uma tautologia