FUNDAÇÃO UNIVERSIDADE FEDERAL DO VALE DO SÃO FRANCISCO – UNIVASF

COLEGIADO DE ENGENHARIA DA COMPUTAÇÃO

DISCIPLINA DE MATEMÁTICA DISCRETA
Prof. Jorge Cavalcanti

LISTA DE EXERCÍCIOS – 1.1 – Introdução a Lógica Formal

1) Quais das frases a seguir são proposições? d) Rosas são vermelhas apenas se violetas
a) A Lua é feita de queijo verde. não forem azuis e se açúcar for amargo.
b) Ele é, certamente, um homem alto.
c) Dois é um número primo. 6) Use A, B e C como no exercício 7 para
d) O jogo vai acabar logo? escrever as seguintes proposições compostas em
e) Os juros vão subir ano que vem. português:
f) Os juros vão descer ano que vem. a) B  C’
g) x2-4=0. b) B’  (A C)
c) (C  A’)  B
2) Dados os valores lógicos A verdadeiro, B d) C  (A’  B)
falso e C verdadeiro, qual o valor lógico de cada e) (B  C’)’  A
uma das seguintes fórmulas? f) A  (B  C’)
a) A(BC) g) (A  B)  C’
b) (AB)C
c) (AB)’C 7) Escreva cada uma das proposições
d) A’(B’C’) compostas a seguir em notação simbólica usando
letras de proposição para denotar as
3) Qual o valor lógico de cada uma das componentes:
proposições a seguir? a) Se o cavalo estiver descansado, o
a) 8 é par ou 6 é ímpar. cavaleiro vencerá.
b) 8 é par e 6 é ímpar. b) O cavaleiro vencerá apenas se o cavalo
c) 8 é ímpar ou 6 é ímpar. estiver descansado e a armadura for
d) 8 é ímpar e 6 é ímpar. forte.
e) Se 8 for ímpar, então 6 é ímpar. c) Um cavalo descansado é uma condição
f) Se 8 for par, então 6 é ímpar. necessária para o cavaleiro vencer.
g) Se 8 for ímpar e 6 for par, então 8<6. d) O cavaleiro vencerá se, e somente se, a
armadura for forte.
4) Escreva a negação de cada fórmula a seguir:
a) Se a comida é boa, então o serviço é 8) Construa tabelas-verdade para as fórmulas a
excelente. seguir. Note quaisquer tautologias ou
b) Ou a comida é boa, ou o serviço é contradições:
excelente. a) (A  B)  A’  B
c) Ou a comida é boa e o serviço é b) (A  B)  C  A  (B  C)
excelente, ou está caro. c) A  (A’  B’)’
d) Nem a comida é boa, nem o serviço é
d) A  B  A’
excelente.
e) (A  B)  [(A  C)  (B  C)]
5) Sejam A, B e C as seguintes proposições: f) A  (B  A)
A: Rosas são vermelhas. g) A  B  B’  A’
B: Violetas são azuis. h) (A  B’)  (A  B)’
C: Açúcar é doce. i) [(A  B)  C’]  A’  C
Escreva as proposições compostas a seguir em
notação simbólica: 9) Verifique, com a construção de tabelas-
a) Rosas são vermelhas e violetas são azuis. verdade, quais das fórmulas a seguir são
b) Rosas são vermelhas, e ou bem violetas tautologias:
são azuis ou bem açúcar é doce. a) A  A’ b) (A’)’  A
c) Sempre que violetas são azuis, rosas são c) A  B  B d)A  A  B
vermelhas e açúcar é doce. e) (A  B)’  A’  B’ (Leis de De Morgan)
f) (A  B)’  A’  B’

Av. Antonio Carlos Magalhães, 510 – Santo Antonio – Juazeiro-BA – ww.univasf.edu.br