ad logica av2

Prévia do material em texto

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.Alternativa assinalada
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.Alternativa assinalada
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".Alternativa assinalada
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.Alternativa assinalada
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
Alternativa assinalada