Aula08_-_Exercicios

Prévia do material em texto

UNIVERSIDADE FEDERAL DO CEARÁ – CAMPUS QUIXADÁ
BACHARELADO EM ENGENHARIA DE SOFTWARE
Aluno(a): ________________________________________ Matrícula:____________
Data: ___/____/______ Período: 2010.1
MATEMÁTICA BÁSICA
Aula 08 – Exercícios e Revisão de Conceitos – Lógica Proposicional e Técnicas de Prova
Notação Utilizada em sala de aula:
– “E” (˄) - “OU” (˅) - “Não” ( ' )
– “Se-Então” (→) - “Se e somente se” (↔)
 1. Assumindo valores verdade tais que A é verdadeira, B é falsa e C é verdadeira, calcule o valor 
verdade das fbf's a seguir:
 a) A ˄ B ____ f) A' ˅ B ____
 b) A → B ____ g) B ˅ (A ˄ C) ____
 c) (B ˅ C)' ____ h) (B' ˄ C)' ____
 d) (A' ˅ B) → (B → A) ____ i) (A ˅ B) ˄ (B ˅ C) ____
 e) A ˄ B ˄ C ____ j) A' ˅ (B' ˄ C)' ____
 2. Para cada fbf a seguir, diga como fica a fórmula em notação simbólica, ou seja, utilizando 
somente letras e conectivos, como nas fbf's da questão anterior. Em seguida, escreva em 
linguagem natural em que casos a afirmação anterior seria falsa (Negação).
Considere: - A: A comida é boa.
- B: O serviço é excelente.
- C: Está caro.
Exemplo:
Afirmação: Está caro e a comida não é boa.
Resposta: Fórmula em Notação Simbólica: C ˄ A'
Negação: Não está caro ou Não é verdade que a comida não é boa.
Negação 2: Não está caso ou a comida é boa.
 a) Se a comida é boa, então o serviço é excelente. __________________
 b) A comida é boa, ou o serviço é excelente. __________________
 c) A comida é boa e o serviço é excelente, ou então está caro. __________________
 d) Nem a comida é boa, nem o serviço é excelente. __________________
 e) Se é caro, então a comida é boa e o serviço é excelente. __________________
 f) O serviço é ruim e a comida também. __________________
 g) A comida é boa, mas o serviço é ruim. __________________
 h) Comida boa implica que está caro. __________________
 i) Preços altos indicam um bom serviço. __________________
 j) Um serviço ruim é consequência de um preço baixo. __________________
 3. Faça a Tabela de Verdade dos itens d, h e j da questão 1.
 4. Para as fórmulas abaixo, faça tabela de verdade e tableaux, e compare os resultados.
 a) (A' ˅ B) → (A → B)
 b) A' → (A → B)
 c) P' ˅ (Q' ˄ P')'
	UNIVERSIDADE FEDERAL DO CEARÁ – CAMPUS QUIXADÁ
	BACHARELADO EM ENGENHARIA DE SOFTWARE
	MATEMÁTICA BÁSICA