Question

ALGUÉM SABE QUE PODE MIM AJUDAR
1) Proposições equivalentes são aquelas que possuem os mesmos resultados lógicos quando construímos a tabela-verdade. Assinale a alternativa que apresenta proposições equivalentes.
Alternativas:
a) p → q equivalente a p v q.
b) p ^ q equivalente a ~( p v q).
c) ~ (p v q) equivalente a ~p ^ q.
d) ~(p ^ q) equivalente a ~p v ~q.
e) ~p ^ q equivalente a p → q.

2) Considere as premissas p e q, com a conclusão r. p: Se eu estudar muito então serei aprovado. q: Se eu for aprovado então terei maiores oportunidades r: Portanto, "se eu estudar muito" nos leva a conclusão de que "então terei maiores oportunidades".
A que regra de inferência corresponde a proposição acima?
Alternativas:
a) Modus ponens.
b) Modus tollens.
c) Silogismo hipotético.
d) Dilema construtivo.
e) Dilema destrutivo.

3) A negação da proposição "Carlos é engenheiro ou Joana não é professora" é: Alternativas:
a) "Carlos é engenheiro e Joana é professora".
b) "Carlos não é engenheiro e Joana é professora".
c) "Carlos não é engenheiro ou Joana não é professora".
d) "Carlos não é engenheiro e Joana não é professora".
e) "Carlos não é engenheiro ou Joana é professora".

4) Dadas as premissas p e q, com a conclusão r. O raciocínio apresentado a seguir: p: Se um número inteiro (n) for par, então o seu quadrado (n2) é par. q: n é par. r: n2 é par. Assinale a alternativa que representa a estrutura do argumento acima: Alternativas:
a) Modus ponens.
b) Modus tollens. c) Silogismo hipotético. d) Dilema construtivo.
e) Dilema destrutivo.

5) Por meio da tabela verdade é possível montar todos os resultados possíveis de uma sentença. Considere o argumento ~(p v q) ^ p. Qual a sequência final correta da tabela verdade para esse argumento?
Alternativas:
a) V, V, V, V
b) V, F, V, V
c) V, V, V, F
d) F, V, F, F
e) F, F, F, F

Answer 1

1-d  ~(p ^ q) equivalente a ~p v ~q.

2-C  Silogismo hipotético

3-b) "Carlos não é engenheiro e Joana é professora".

4-a Modus ponens

5-b V, F, V, V