IDNLearner.com, onde especialistas e a comunidade se encontram para responder às suas perguntas. Pergunte e receba respostas precisas de nossos membros especialistas da comunidade, sempre dispostos a ajudar em qualquer tema.

1) Prove a validade do argumento:
¬(p∧q)∧¬(¬r∧p)∧¬r→¬p
2) Use lógica proposicional para provar que esse é um argumento válido:
Se não sou Ignorante , serei Feliz. Se assisto as aulas, não serei Ignorante. Não sou Feliz. Logo não assistirei as aulas. (I,F,A)
(explique cada questão passo a passo)