LÓGICA MATEMÁTICA
| Analise a sentença abaixo: Se Martins é o autor, então o livro é de ficção. Mas o livro não é de ficção. Portanto, Martins não é o autor. De que maneira essa sentença pode ser escrita simbolicamente? |
💡 5 Respostas
Camilla Trindade
Conjunção lógica de duas proposições.
a. (p→q) ^ (~q→~p)
Andre Smaira
---
Devemos entender como são usados alguns símbolos na notação da lógica matemática:
- O acento circunflexo (^) é usado com significado de “e”, isto é, adição;
- O símbolo til (~) ou (¬) é usado com significado de negação;
- O símbolo ∨ é usado com significado de “ou”;
- O símbolo \(\rightarrow\) é usado com significado de “se… então”;
- O símbolo \(\leftrightarrow\) é usado com significado de “se e somente se”;
- O símbolo | é usado com significado de “tal que”;
- O símbolo \(\Rightarrow\) é usado com significado de “implica”; e
- O símbolo \(\Leftrightarrow\) é usado com significado de “equivalente”.
---
No caso, elenquemos as afirmações:
- p: Martins é o autor; e
- q: O livro é de ficção.
Assim, a equivalência das afirmações será:
(p \(\rightarrow\) q) ^ (~p \(\rightarrow\) ~q).
Faça como milhares de estudantes: teste grátis o Passei Direto
Esse e outros conteúdos desbloqueados
16 milhões de materiais de várias disciplinas
Impressão de materiais
Agora você pode testar o
Passei Direto grátis
✏️ Responder
Para escrever sua resposta aqui, entre ou crie uma conta.
Compartilhar