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

Para traduzir o argumento para a linguagem simbólica, vamos definir as seguintes proposições:<br /><br />- \( T \): Trabalho<br />- \( E \): Posso estudar<br />- \( P \): Passo em Raciocínio Lógico<br /><br />O argumento dado é:<br /><br />1. Se trabalho, não posso estudar: \( T \rightarrow \neg E \)<br />2. Trabalho ou passo em Raciocínio Lógico: \( T \lor P \)<br />3. Trabalhei: \( T \)<br /><br />Conclusão: Passei em Raciocínio Lógico: \( P \)<br /><br />Agora, vamos testar a validade do argumento. A estrutura do argumento é:<br /><br />1. \( T \rightarrow \neg E \)<br />2. \( T \lor P \)<br />3. \( T \)<br />4. Portanto, \( P \)<br /><br />Para verificar a validade, podemos usar um raciocínio lógico:<br /><br />- Da premissa 3 (\( T \)), sabemos que "Trabalhei" é verdadeiro.<br />- Combinando isso com a premissa 2 (\( T \lor P \)), se \( T \) é verdadeiro, então \( P \) deve ser verdadeiro para que a disjunção seja verdadeira.<br /><br />Portanto, o argumento é válido.