QUESTÕES DISCURSIVAS LOG MAT

Prévia do material em texto

LOGICA M(DISCURSIVAS) 
------------------------------------------------------------------------------------------------------------------- 
Questão – Se Carina é amiga de Carol, então Carmen é cunhada de 
Carol Carmen não é cunhada de Carol se Carina não é cunhada de 
Carol, então Carina é amiga de de Carol, logo o que podemos afirmar 
em relação a Carina, Carol e Carmen? 
------------------------------------------------------------------------------------------------------------------- 
Questão - Considere as proposições p, q e r sem utilizar uma tabela da 
verdade, verifique a validade do argumento p ->~q, p |- q 
------------------------------------------------------------------------------------------------------------------- 
Questão – Construir uma tabela da verdade da seguinte proposição 
~p^r -> q v ~r 
E determinar se a proposição é tautológica, de contradição ou 
contingente. Justifique sua resposta 
 ------------------------------------------------------------------------------------------------------------------- 
Questão – Utilizando a tabela da verdade Verifique se existe a relação 
de equivalência logica da seguinte proposição 
(p -> (q->)) <-> q -> (p->) 
Justifique sua resposta 
ATE AGORA são essas