Leia o texto a seguir:
"Leonardo é estudioso ou ele é desinteressado.
Se ele for estudioso, então passará no exame.
Se ele for desinteressado, então reprovará no exame.
Não reprovando no exame, portanto, ele é estudioso".Traduza para a linguagem simbólica as proposições utilizando letras maiúsculas para abreviar as proposições simples. Após, prove a validade ou não do argumento pela árvore de refutação.
A = É estudioso.
B = É desinteressado.
C = Reprovar no exame.
D = Passar no exame.
Obs.: há várias formas de resolver esta árvore, mas no fim a validade ou não será a mesma.
Para escrever sua resposta aqui, entre ou crie uma conta
Lógica Matemática e Teoria dos Conjuntos
•UNOPAR
Compartilhar