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 egeografia é 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 |...