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
Soluções para a tarefa
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) e) F, F, F, F
Olá!
É recomendável que coloque o minimo de questões para assim poder ajuda-lo melhor a resolver suas dúvidas
1) Vamos a lembrar que, uma proposição é logicamente equivalente a outra quando suas tabelas da verdade forem iguais. Basicamente, quando duas proposições são logicamente equivalentes elas têm a mesma forma, e um pode ser substituído pelo outro em qualquer outra proposição ou teorema.
Assim, duas propocições compostas, P e Q são equivalentes, se unidos pelo bicondicional ↔, o resultado é uma tautologia; isto é, ambas as proposições têm o mesmo valor de verdade.
Alternativa correta: d) ~(p ^ q) ↔~p v ~q