Exercicio03 LM 2

Lista de Exercícios 03

Curso: Técnico em Informática –TI
Disciplina: LLP – Lógica e Linguagem de Programação.
Orientador: Tadeu Freire Pontes e-mail: [e-mail]
1) Descreva as sentenças abaixo em termos de proposições simples e operadores lógicos.
a) Se elefantes podem subir em árvores, então 3 é um número par. p: elefantes podem subir em árvores. q: 3 é um número par. p → q
b) É proibido fumar cigarro ou charuto. p: É proibido fumar cigarro. q: É proibido fumar charuto. p v q
c) Não é verdade que π > 0 se e somente π > 1. p: π > 0. q: π > 1. p  q
d) Se as laranjas são amarelas, então os morangos são vermelhos. p: As laranjas são amarelas. q: Os morangos são vermelhos. p → q
e) É falso que se Montreal é a capital do Canadá, então a próxima copa será realizada no Brasil. p: Montreal é a capital do Canadá. q: A próxima copa será realizada no Brasil. ~ (p → q)
f) Se é falso que Montreal é a capital do Canadá, então a próxima copa será realizada no Brasil. p: Montreal é a capital do Canadá. q: A próxima copa será realizada no Brasil. ~p → q
2) Determine o valor lógico de cada proposição enunciada no exercício anterior.
a) p → q: F ^ F = F p: elefantes podem subir em árvores. V(p) = F q: 3 é um número par. V(q) = F
b) p v q: V v V = V p: É proibido fumar cigarro. V(p) = V q: É proibido fumar charuto. V(q) = V
c) p  q: V  V = V p: π > 0. V(p) = V q: π > 1. V(q) = V
d) p → q: V → V = V p: As laranjas são amarelas. V(p) = V q: Os morangos são vermelhos. V(q) = V
e) ~ (p → q): ~(F → F) = ~V = F p: Montreal é