CÁLCULO PROPOSICIONAL
1. Considerando que
P = (x) comer queijo
Q = (x) cresce o pelo
R = rato de 5 patas
traduza em linguagem natural o seguinte
argumento
[((Pʌ Q)→R ) ʌ ¬ R]→ ¬ (PʌQ)
2. Demonstre, recorrendo ao método das tabelas de verdade, que o argumento é uma tautologia
Sem comentários:
Enviar um comentário