Question
Exercicio 01 -Traduzir para linguagem simbolica e testara validade do seguinte argumento: Se trabalho, nào posso estudar. Trabalho ou passo em Raciocinio Lógico. Trabalhei Logo, passei em Raciocínio Lógico
Solution
4
(330 Votos)
David
Elite · Tutor por 8 anos
Resposta
Para traduzir o argumento para a linguagem simbólica, vamos definir as seguintes proposições:-
: Trabalho-
: Posso estudar-
: Passo em Raciocínio LógicoO argumento dado é:1. Se trabalho, não posso estudar:
2. Trabalho ou passo em Raciocínio Lógico:
3. Trabalhei:
Conclusão: Passei em Raciocínio Lógico:
Agora, vamos testar a validade do argumento. A estrutura do argumento é:1.
2.
3.
4. Portanto,
Para verificar a validade, podemos usar um raciocínio lógico:- Da premissa 3 (
), sabemos que "Trabalhei" é verdadeiro.- Combinando isso com a premissa 2 (
), se
é verdadeiro, então
deve ser verdadeiro para que a disjunção seja verdadeira.Portanto, o argumento é válido.