Lista 1 Logica

Lista de Exercícios: Lógica proposicional
Prof. Priscila

1) Seja a sentença “Érico lê Newsweek”, a sentença “Érico lê The New Yorker” e “Érico lê Time”. Escreva cada uma das seguintes declarações na forma simbólica:
a) Érico lê Newsweek ou The New Yorker, mas não Time.
b) Érico lê Newsweek e The New Yorker, ou ele não lê Newsweek e Time.
c) Não é verdade que Érico lê Newsweek, mas não Time.
d) Não é verdade que Érico lê Time ou The new Yorker, mas não Newsweek.

2) Determine o valor lógico de cada uma das seguintes declarações:
a) 4 + 2 = 5 e 6 + 3 = 9.
b) 3 + 2 = 5 e 6 + 1 = 7.
c) 4 + 5 = 9 e 1 + 2 = 4.
d) 3 + 2 = 5 ou 4 + 7 = 11.

3) Construa uma tabela verdade para cada proposição abaixo.
a)
b)
c)
d)
e)
f)
g)
h)

4) Mostre que as proposições são logicamente equivalentes.
(Obs: Lembre-se que mostrar uma equivalência é mostrar que um bicondicional resulta em uma tautologia.)
a) e
b) e
c) e

5) Utilizando a tabela de equivalência, obtenha proposições que são equivalentes às dadas abaixo.
a) André é artista ou Bernardo não é engenheiro.
b) Se os juros bancários são altos, então a inflação é baixa.

6) Assinale a alternativa que contradiz a seguinte sentença: “nenhum pescador é mentiroso”.
a) Algum mentiroso é pescador.
b) Nenhum mentiroso é pescador.
c) Todo pescador é mentiroso.
d) Algum mentiroso não é pescador.
e) Algum pescador não é mentiroso.

7) Uma proposição é uma frase declarativa a qual pode ser atribuído, sem ambiguidade, um dos valores lógicos: verdadeiro (V) ou falso (F). Considere as frases a seguir:
(I) Dois é um número primo.
(II) O jogo vai acabar logo?
(III)
(IV) Os juros vão subir ano que vem.
Podemos afirmar que:
a) Somente I e IV são proposições.
b) Somente I, II e IV são proposições.
c) Somente III é proposição.
d) Somente II e III são proposições.
e) Todas são proposições.

8) Uma disjunção existe quando duas proposições podem ser combinadas pela palavra “ou” para formar uma proposição. Considere as seguintes