Escolar Documentos
Profissional Documentos
Cultura Documentos
Esta lista deve ser respondida até o dia 07/07 para ser discutida no
1º encontro presencial (08/07/2017).
1. Escreva as sentenças a seguir utilizando a linguagem da Lógica Proposicional. Utilize
símbolos proposicionais para representar sentenças atômicas.
2. Construa a Tabela Verdade das seguintes sentenças (proposições) e para cada uma
classifique-a como: tautologia, contingência ou contradição. Adicionalmente, caso exista,
mencione quais sentenças são equivalentes.
a) p ^ ( p → q ) → q
b) ( p ^ q ) ↔ ( ¬p → ¬ q )
c) ¬ (¬ ( p V q V r ) ^ ( ¬p ^ ¬q ^ ¬r ))
3. Obtenha a forma normal conjuntiva (FNC) e a forma normal disjuntiva (FND) das
seguintes sentenças:
a) ( ¬ p ↔ q ) V ¬ q
b) ( p V q ) Λ ( r → ¬ p )
Dica1: Dentre as principais regras de inferência, tenha sempre em destaque na sua mente a:
Modus Pollens: p ^ ( p q ) q
Modus Tollens: ¬q ^ ( p q ) ¬p
Dica2: Fórmulas na forma ¬(P ∨ Q) ou ¬(P ∧ Q) dificilmente são úteis numa seqüência de
demonstração. Tente usar as leis de DeMorgan para convertê-las, respectivamente, em ¬P ∧ ¬Q ou ¬P ∨
¬Q, separando os componentes individuais de cada fórmula.
Dica3: Fórmulas na forma P ∨ Q dificilmente são úteis numa seqüência de demonstração, já que
não implicam P nem Q. Tente usar a dupla negação para converter P ∨ Q em ¬(¬P) ∨ Q e depois usar a
regra do condicional para obter ¬P → Q.