Question

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

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