ATPS ETAPA 2 LOGICA MATEMATICA

Relatório 2: Lógica Proposicional – Linguagem; Conectivos E Valores Lógicos; Tautologias.

“Se Rodolfo é mais alto que Guilherme, então Heloísa e Flávia têm a mesma altura. Se Heloísa e Flávia têm a mesma altura, então Alexandre é mais baixo que Guilherme. Se Alexandre é mais baixo que Guilherme, então Rodolfo é mais alto que Heloísa. Ora, Rodolfo não é mais alto que Heloísa”.
1- Se Rodolfo Mais Alto que Guilherme Então Heloisa Mesma Altura que Flávia 2- Se Heloisa Mesma Altura que Flávia Então Guilherme Mais Alto que Alexandre 3- Se Guilherme Mas Alto que Alexandre Então Rodolfo Mais Alto que Heloisa 4- Rodolfo Não é mais alto Heloisa
Colocando este texto dentro da linguagem proposicional, dizemos que 1 → 2, 2 → 3, 3 → 4. Porém no fim do texto, onde “Rodolfo não é mais alto que Heloísa”, atribuímos que 4 se torna ¬4. Seguindo a mesma lógica que ¬4, todas as atribuições passam a ser falsas, assim temos ¬1, ¬2, ¬3 e ¬4. A partir dessa lógica, invertemos as atribuições para ¬2 → ¬1, ¬3 → ¬2, ¬4 → ¬3. Entende-se então que Rodolfo não é mais alto que Guilherme, assim como Heloísa não tem a mesma altura de Flávia, Guilherme não é mais alto que Alexandre, e Rodolfo não é mais alto que Heloísa.
A
B
A^B
V
V
V
V
F
F
F
V
F
F
F
F
Assim a resposta correta correspondente é a letra A: “ Rodolfo não é mais alto que Guilherme, e Heloísa e Flávia não têm a mesma altura”.
Podendo atribuir as letras OC.