Tabela da Verdade
ChatGPT ou Grok: Faça a tabela da verdade da sentença: ((p→q)∧(q→r))→(p→r)
ChatGPT ou Grok: Faça a tabela da verdade da sentença: c→q , onde c representa uma contradição
Método da Dedução
ChatGPT ou Grok: Demonstre pelo Método da Dedução da Logica Matemática (usando Demonstração por equivalências lógicas) a sentença: c→p , mostrando todos os passos nessa demonstração.