Questões unip

Pergunta 1
-------------------------------------------------
Indique o argumento inválido: | a. | p ∧ q ⊢ p | | b. | p ∧ q ⊢ q | | c. | p, q ⊢ p ∧ q | | d. | p → q ⊢ p → (p ∧ q) | | e. | p → q, p ⊢ ~q |
Pergunta 2
-------------------------------------------------
Ou lógica é fácil, ou Artur não gosta de lógica. Por outro lado, se geografia não é difícil, então lógica é difícil. Daí, segue-se que, se Artur gosta de lógica, então: | a. | Se geografia é difícil, então lógica é difícil. | | b. | Lógica é fácil e geografia é difícil. | | c. | Lógica é fácil e geografia é fácil. | | d. | Lógica é difícil e geografia é difícil. | | e. | Lógica é difícil ou geografia é fácil. |
Pergunta 3
-------------------------------------------------
Considere o seguinte argumento:
-------------------------------------------------
x ≠ 4
-------------------------------------------------
x ≠ 4 ∨ x ≠ 1
-------------------------------------------------
Que regra de inferência foi utilizada para se afirmar que a conclusão é verdadeira? | a. | Adição (AD). | | b. | Modus tollens (MT). | | c. | Silogismo hipotético (SH). | | d. | Dilema destrutivo (DD). | | e. | Simplificação disjuntiva (SIMPD). |
Pergunta 4 * ------------------------------------------------- Se um homem é baixo, ele é complexado. * ------------------------------------------------- Se um homem é complexado, fica doente. * ------------------------------------------------- Logo, os homens baixos ficam doentes.
-------------------------------------------------
As proposições são as seguintes:
-------------------------------------------------
O homem é: (p) baixo, (q) complexado e (r) doente
-------------------------------------------------
A forma simbólica correta será: | a. | p → q, q → r ⊢ p → r | | b. | p → q, q → p ⊢ p → r | | c. | p → r, q → p ⊢ p → q | | d. | p → q, q → r ⊢ r → p | |