Linguagem de Programação

INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO RIO GRANDE DO NORTE
CÂMPUS APODI Sítio Lagoa do Clementino, nº 999, RN 233, Km 2, Apodi/RN, 59700-971. Fone [phone] E-mail: [e-mail] - Site: http://www.ifrn.edu.br

Curso: Técnico de Nível Médio Integrado em Informática Turma: 1.8401.1V
Área profissional: Informação e Comunicação Disciplina: Fundamentos de Lógica e Algoritmos
Assunto: Simbolização de sentenças da linguagem cotidiana.
Docente: Cleone Silva de Lima

RESPOSTAS DA LISTA DE EXERCÍCIO 01

1 – Sejam as proposições: p = Está frio e q = Está chovendo
Traduza para a linguagem corrente as seguintes proposições:
a) ~p: “não está frio”
b) p ^ q: “está frio e está chovendo”
c) p v q: “está frio ou está chovendo”
d) q ↔ p: “está chovendo se e somente se está frio”
e) p  ~q: “se está frio então não está chovendo” f) p v ~q: “está frio ou não está chovendo”
g) ~p ^ ~q: “não está frio e não está chovendo”
h) p ^ ~q  p: “se está frio e não está chovendo então está frio”

2 – A partir das proposições p = Antônio é rico e q = José é feliz, traduza para a linguagem corrente as proposições a seguir:
a) q p: “se José é feliz então Antônio é rico”
b) p v ~q: “Antônio é rico ou José é infeliz” | “Antônio é rico ou José não é feliz”
c) q ↔ ~p: “José é feliz se e somente se Antônio é pobre” | “José é feliz se e somente se Antônio não é rico”
d) ~p  q: “se Antônio é pobre então José é feliz” | “se Antônio não é rico então José é feliz”
e) ~~p: “Antônio é rico” | “não é verdade que Antônio não é rico”
f) p ^ q: “Antônio é rico e José é feliz”
3 – Sejam as proposições: p = Carlos fala francês, q = Carlos fala inglês e r = Carlos fala alemão
Traduza para a linguagem simbólica as seguintes proposições:
a) Carlos fala francês ou inglês, mas não fala