Lista 1

Lógica Matemática Frank Helbert Borsato
d. 8 é ímpar e 6 é ímpar.
Trabalho em classe
e. Se 8 é ímpar, então 6 é ímpar.
Aluno: _____________________________________________________________
f. Se 8 é par, então 6 é ímpar.
Para a solução dos exercícios utilize (ou não) as tautologias abaixo (outras
podem ser necessárias): g. Se 8 é ímpar, então 6 é par.
(p→q) ↔ (¬p∨q) h. Se 8 é ímpar e 6 é par, então 8 < 6.
(p→q) ↔ (¬q → ¬p) (Contra-positiva)
¬(p∧q) ↔ (¬p∨ ¬q) (De Morgan) 4. Indique o antecedente e o conseqüente de cada uma das seguintes
sentenças:
¬ (p→q) ↔ (p ∧ ¬q)
a. O crescimento sadio das plantas é conseqüência de quantidade suficiente de água.
¬ (p ↔ q) ↔ (p ↔ ¬q)
b. O crescimento da oferta de computadores é uma condição necessária para o
¬(p ↔ q) ↔ (p ∨ q)
desenvolvimento científico.
c. Haverá novos erros apenas se o programa for alterado.
1 Quais das frases a seguir são sentenças?
d. A economia de combustível implica um bom isolamento, ou todas as janelas são
a. A lua é feita de queijo verde. janelas para tempestades.
b. Ele é um homem alto.

c. Dois é um número primo. 5. Diversas negativas são dadas para cada uma das seguintes afirmações.
Quais são as certas?
d. O jogo terminará logo?
a. A resposta é 2 ou 3.
e. As taxas do ano que vem serão maiores.
1. Nem 2 nem 3 são a resposta.
f. x - 4 = 0
2. A resposta não é 2 ou não é 3.
3. A resposta não é 2 e não é 3.
2. Dados os valores-verdade A verdadeiro, B falso e C verdadeiro, qual o
valor-verdade de cada uma das seguintes fórmulas?
a. A ∧ (B ∨ C) b. Pepinos são verdes e têm sementes.
b. ~(A ∧ B) ∨ C 1. Pepinos não são verdes e não têm sementes.
c. A ∧ B ∨ C 2. Pepinos não são verdes ou não têm sementes.
d. A → (B ∧ C) 3. Pepinos são verdes e não têm sementes.
3. Qual os valores-verdade das seguintes sentenças? c. 2 < 7 e 3 é ímpar.
a. 8 é par ou 6 é ímpar. 1. 2 > 7 e 3 é par.
b. 8 é par e 6 é ímpar. 2. 2 ≥ 7 e 3 é par.
c. 8 é ímpar ou 6 é ímpar. 3. 2 ≥ 7 ou 3 é ímpar.

4. 2 ≥ 7 ou 3 é par.
Lógica Matemática Frank Helbert Borsato
8. Ou o presidente não sabia, ou houve desacato a autoridade, mas não

ambos.
6. Com o uso de letras para denotar as sentenças componentes, traduza as
seguintes sentenças compostas para notação simbólica: A negação formal desta declaração é:
a) Para que tenha havido desacato a autoridade é necessário e suficiente que o
presidente sabia.
a. Se os preços subirem, as construções ficarão mais caras, mas se as construções
não forem caras, elas serão muitas. b) Ou o presidente sabia, ou não houve desacato a autoridade, mas não ambos.
b. Tanto ir para cama como nadar é condição suficiente para trocar de roupa; no c) Para que não tenha havido desacato a autoridade é necessário e suficiente que o
entanto, trocar de roupa não significa que se vai nadar. presidente sabia.
c. Ou vai chover ou vai nevar, mas não ambos. d) Se não houve desacato a autoridade então o presidente sabia.
d. Se Patynet vencer ou perder, ela estará cansada. e)Se o presidente sabia então houve desacato a autoridade.
e. Ou Patynet irá vencer ou, se perder, ficará cansada.
9. Suponha que A, B e C representam condições que serão verdadeiras e
falsas quando um programa é executado. Suponha ainda que desejamos que
7. Sejam A, B e C as seguintes sentenças:
este programa realize alguma tarefa somente quando A ou B forem
A: Rosas são vermelhas. verdadeiras (mas não ambas) e C for falsa. Usando A, B e C e os conectivos
E, OU e NÃO, escreva uma sentença que será verdadeira apenas nestas
B: Violetas são azuis. condições.
C: Açúcar é doce.
Traduza as seguintes sentenças compostas para notação simbólica.
10. Em um determinado país, todos os habitantes são ou um contador de

a. Rosas são vermelhas e violetas são azuis. verdade que sempre fala a verdade ou mentirosos que sempre mentem.
Viajando neste país, você encontra dois habitantes, Professorino e
b. Rosas são vermelhas e, ou violetas são azuis ou açúcar é doce. Alunostor. Professorino diz "Se eu for um contador de verdades, Alunostor
também é um contador de verdades".
c. Sempre que violetas são azuis, as rosas são vermelhas e o açúcar é doce.
Professorino é um mentiroso ou um contador de verdade? E Alunostor?
d. Rosas são vermelhas apenas se as violetas não forem azuis e se o açúcar for
azedo (não doce).
e. Rosas são vermelhas e, se o açúcar for azedo, então as violetas não são azuis ou
o açúcar é doce.

Lista 1

Enviado por

Direitos autorais:

Formatos disponíveis

Lista 1

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Lista 1

Enviado por

Direitos autorais:

Formatos disponíveis

Lógica Matemática Frank Helbert Borsato

b. Ele é um homem alto.

b. ~(A ∧ B) ∨ C 1. Pepinos não são verdes e não têm sementes.

c. A ∧ B ∨ C 2. Pepinos não são verdes ou não têm sementes.

d. A → (B ∧ C) 3. Pepinos são verdes e não têm sementes.

3. Qual os valores-verdade das seguintes sentenças? c. 2 < 7 e 3 é ímpar.

a. 8 é par ou 6 é ímpar. 1. 2 > 7 e 3 é par.

b. 8 é par e 6 é ímpar. 2. 2 ≥ 7 e 3 é par.

c. 8 é ímpar ou 6 é ímpar. 3. 2 ≥ 7 ou 3 é ímpar.

8. Ou o presidente não sabia, ou houve desacato a autoridade, mas não

10. Em um determinado país, todos os habitantes são ou um contador de

Você também pode gostar