MINISTÉRIO DA EDUCAÇÃO

UNIVERSIDADE FEDERAL DO PIAUÍ

CENTRO DE EDUCAÇÃO ABERTA E A DISTÂNCIA
CURSO DE LICENCIATURA EM COMPUTAÇÃO
LÓGICA PARA COMPUTAÇÃO

1ª LISTA DE EXERCÍCIOS ( Não avaliativa )

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.

a) Windows e Linux são Sistemas Operacionais.

b) Se Microsoft fabrica Kinect e Xbox então não fabrica o PlayStation.
c) Se só tem três fabricantes de videogame então Sony fabrica PlayStation se e
somente se Microsoft não fabrica Wii e Nintendo não fabrica Xbox.
d) Se Windows é Sistema Operacional e Sistema Operacional é software então
Windows é software.
e) Ganharei um Xbox se e somente se gostar de videogame, participar do concurso e
tiver sorte.
f) Se Linux é pago e Windows é gratuito então Microsoft faliu ou Bill Gates não é rico.
g) Se Nintendo Switch não é um videogame então Microsoft Xbox não é videogame,
nem Sony PlayStation e nem Nintendo Wii.
h) Se o brasileiro Alex Kipman inventou o Kinect e o Kinect é um periférico do Xbox e
o Xbox é um produto da Microsoft então Alex Kipman é funcionário da Microsoft e não trabalha
em uma filial da Microsoft.

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 )

4. Considere o seguinte argumento: A →(B ∨ C), ¬B, ¬C ├─ ¬A

Verifique, usando prova direta, se este argumento é, ou não, válido.

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.

5. “Ubuntu é distribuição Linux ou Ubuntu é software livre e Linux é gratuito. Se Ubuntu

é distribuição Linux ou Ubuntu é software livre então Ubuntu é gratuito. Portanto Ubuntu é
distribuição Linux ou Ubuntu é gratuito.”
Verifique, usando prova direta, se este argumento é, ou não, válido.

Esta lista deve ser respondida até a data do 1º encontro presencial.