EXERCICIO DE LOGICA RESPONDIDO

Gabarito - Lista de Exercícios - Extra

1. Escreva as sentenças a seguir utilizando a linguagem da lógica proposicional. Use os símbolos proposicionais para representar sentenças atômicas.

1. É falso que Maria vai passar em lógica se estudar e aprender.

1. P: Maria estuda, Q: Maria aprende, R: Maria passa em lógica

  ((P  Q)  (R))

1. Se Marcos é inteligente ou Pedro é estudioso, então eles não ficam reprovados.

1. P: Marcos é inteligente, Q: Pedro é estudioso, R: eles ficam reprovados
2. (P  Q)  (R)

1. Adriane é linda ou interessante se, e somente se Luciana é inteligente.

1. P: Adriane é linda, Q: Adriane é interessante, R: Luciana é inteligente
2. (P  Q)  (R)

1. Pedro fica de ressaca se ele fica triste e vai para casa beber.

1. P: Pedro fica de ressaca, Q: Pedro fica triste, R: Pedro vai para casa
2. P  (Q  R)

1. Se Pedro é trabalhador e ama Maria, ela é feliz.

P: Pedro é trabalhador, Q: Pedro ama Maria, R: Maria é feliz (P  Q)  R

1. Um renomado economista afirma que “A inflação não baixa ou a taxa de juros aumenta”. Do ponto de vista lógico, a afirmação do renomado economista equivale a dizer que:

1. Se a inflação baixa, então a taxa de juros não aumenta.
2. Se a taxa de juros aumenta, então a inflação baixa.
3. Se a inflação não baixa, então a taxa de juros aumenta.
4. Se a inflação baixa, então a taxa de juros aumenta.
5. Se a inflação não baixa, então a taxa de juros não aumenta.

1. A negação da frase “Brasília é a Capital Federal e os Territórios Federais integram a União” é:

1. Brasília não é a Capital Federal ou os Territórios Federais não integram a União.
2. Brasília não é a Capital Federal ou os Territórios Federais integram a União.
3. Brasília é a Capital Federal ou os Territórios Federais não integram a União.
4. Brasília não é a Capital Federal e os Territórios Federais integram a União.
5. Brasília não é a Capital Federal e os Territórios Federais não integram a União.

---

P	Q	R	P	R	P v Q	H
V	V	V	F	F	V	F
V	V	F	F	V	V	V
V	F	V	F	F	F	V
V	F	F	F	V	F	V
F	V	V	V	F	V	F
F	V	F	V	V	V	V
F	F	V	V	F	V	F
F	F	F	V	V	V	V

1. A negação da frase “Carlos é Rico e João não é trabalhador” é:Carlos não é rico ou João não é trabalhador
2. Carlos não é rico ou João é trabalhador
3. Se Carlos não é rico, então João não é trabalhador
4. Carlos não é rico e João é trabalhador
5. Carlos não é rico e João é trabalhador

1. Dada a proposição: “Se Carla é solteira, então Maria é estudante”. Uma proposição equivalente é:

1. Carla é solteira e Maria é estudante.
2. Se Maria é estudante então Carla é solteira.
3. Se Maria não é estudante então Carla não é solteira.
4. Maria é estudante se, e somente se Carla é solteira.
5. Se Carla não é solteira então Maria não é estudante.

1. A negação da condicional “Se João é estudioso então é aprovado em lógica” é equivalente a qual fórmula? Considere a proposição P e Q como sendo “João é estudioso” e “João é aprovado em lógica”, respectivamente:

1. P  (Q)
2. Q → P
3. P  Q
4. P ^ (Q)
5. P → Q

P	Q	?
V	V	V
V	F	V
F	V	V
F	F	F

Observe a tabela abaixo e marque a fórmula que representa:

	a)  P  Q
	b)  P  Q
	c) P  Q
	d) Q  P
	e) P  Q
8.	Classifique  as  fórmulas  abaixo  em  tautológica,  satisfazível utilizando o método da tabela-verdade:	ou  contraditória,
	a)  H = (P v Q) →(R)

---

É satisfazível

P	Q	Q	P  Q	H
V	V	F	V	F
V	F	V	F	V
F	V	F	F	V
F	F	V	F	V

...