Unidade de Ensino Superior Dom Bosco Curso

Unidade de Ensino Superior Dom Bosco
Curso: Bacharelado em Sistemas de Informação
Disciplina: Lógica Matemática e Fundamental
Profa: Ana Florencia C. Mota
1º Período
EXERCÍCIO DE FIXAÇÃO
1) Levando em conta o que aprendeu sobre equivalências e em particular sobre as
Leis de De Morgan, escreva a negação das seguintes proposições compostas:
(a) Se a comida é boa, então o serviço é excelente.
(b) Ou a comida é boa, ou o serviço é excelente.
(c) Ou 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.
2) Sejam A,B e C as seguintes proposições:
A Rosas são vermelhas.
B Violetas são azuis.
C Açúcar é doce.
Escreva as proposições a seguir em notação simbólica:
(a) Rosas são vermelhas e violetas são azuis.
(b) Rosas são vermelhas, e ou bem violetas são azuis ou bem açúcar é doce.
(c) Sempre que violetas são azuis, rosas são vermelhas e açúcar é doce.
(d) Rosas são vermelhas apenas se violetas não forem azuis e se açúcar for
amargo.
(e) Rosas são vermelhas e, se açúcar for amargo, então ou violetas não são azuis
ou açúcar é doce.
3) Considerando A, B e C com o mesmo significado visto acima, transcreva para o
português as seguintes fórmulas: