Linguagem c

Tecnologia em Análise e Desenvolvimento de Sistemas
Tecnologia da Informação
Lógica Matemática
Profª Andréia Oliveira Lizardo

Aluno:
Turma:
Data:

I LISTA DE EXERCÍCIOS

1) Sabendo que p: João é alto, q: José é baixo, escreva simbolicamente:

a) João é alto e José é baixo. b) João é alto ou José é baixo. c) Ou João é alto ou José é baixo d) Nem João e nem José são baixos. e) João e José são baixos. f) João é alto e José não é baixo g) Não é verdade que João e José são baixos. h) Se João é baixo, então José não é baixo.

2) Sabendo que p: João gosta de Maria, q: Maria gosta de João, escreva simbolicamente:

a) João e Maria se gostam. b) João gosta de Maria, mas não reciprocamente. c) Nem João e nem Maria se detestam. d) Não é verdade que João e Maria se detestam.

Atenção: • A condicional p ( q se for verdadeira também pode ser lida como: o p é condição suficiente para q. o q é condição necessária proveniente de p. • A bicondicional p ( q também pode ser lida como: o p é condição suficiente para q e p é condição necessária proveniente de q. o q é condição suficiente para p e q é condição necessária proveniente de p. o p é condição necessária e suficiente para q. o q é condição necessária e suficiente para p.

3) Construa fórmulas para as seguintes proposições: a) José vai ao cinema se e somente se uma comédia está em cartaz. b) Condição necessária e suficiente para que o rei seja feliz é que tenha vinho, jogo e música. c) Ou Pedro irá à festa e Antonio não, ou Pedro não irá e Antonio sim. d) Uma condição suficiente para x ser ímpar é que x seja primo. e) Se x > 0, x² > 0. f) Os recibos serão dados se e somente se as encomendas forem entregues.

4) Sabendo que p: João estuda, q: José trabalha, r: Antonio faz nada, escreva as seguintes proposições na linguagem comum: a) (p ( q) ( r