ATPS_Cienc Comp_Logica Math

ETAPA 1
“Sabendo-se que dos 110 funcionários de nossa empresa, 80 são casados, 70 possuem casa própria e 30 são solteiros e possuem casa própria.”
Analisar os itens seguintes:
CERTO - (a) Mais da metade dos funcionários casados possui casa própria.
ERRADO - (b) Dos funcionários que possuem casa própria há mais solteiros que casados.

Associa-se as letras TA.

ETAPA 2
“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”.
Analisando:
A- Se Rodolfo Mais Alto que Guilherme Então Heloisa Mesma Altura que Flávia
B- Se Heloisa Mesma Altura que Flávia Então Guilherme Mais Alto que Alexandre
C- Se Guilherme Mas Alto que Alexandre Então Rodolfo Mais Alto que Heloisa
D- Rodolfo Não é mais alto Heloisa Em linguagem proposicional, podemos dizer que A → B, B → C, C → D. Porém ao fim do texto, onde “Rodolfo não é mais alto que Heloísa”, atribuímos ~D. Seguindo a mesma lógica que ~D, todas as atribuições passam a ser falsas, assim ~A, ~B, ~C e ~D. A partir desse raciocínio, invertemos as atribuições para ~B → ~A, ~C → ~B, ~D → ~C. Concluindo, Rodolfo não é mais alto que Guilherme, assim Heloísa não tem a mesma altura de Flávia, assim Guilherme não é mais alto que Alexandre, assim Rodolfo não é mais alto que Heloísa.
Assim, concluímos que a resposta correta correspondente
(a) Rodolfo não é mais alto que Guilherme, e Heloísa e Flávia não têm a mesma altura.
Associa-se as letras OC.
ETAPA 3
Analisando: Considerando que a variável valor1 receba a e valor2 receba b.
Traduzindo para linguagem proposicional:
~((a < b) V impar(n)) V ((~ (a < b) Λ impar(n)) → preposição1 ~→ preposição2
Aplicação da formula:
~((a < b) V impar(n)) V (~(a < b) Λ impar(n))
~((a < b) V impar(n)) V (~ (a < b) Λ impar(n))
F T T T preposição2 F T T T
F T T F preposição1 T T F F