ED LÓGICA MATEMÁTICA AV2 UNOPAR

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