Transcrição 26/11/2025, 20:03:35

Anotacoes

• Subtema: Tabelas e formas lógicas de argumentos Eis algumas das formas mais comuns de argumentos lógicos, apresentadas com exemplos, formas lógicas e formas alternativas. • Subtema: Negação dupla Negação dupla ocorre quando uma negação é aplicada duas vezes a uma proposição, levando à afirmação original. Por exemplo: "Não é verdade que Stuart Mill não era inglês." Logo, Stuart Mill era inglês. A forma lógica é ¬¬P → P, e uma forma alternativa é ¬P ∨ Q. • Subtema: Modus ponens Modus ponens é uma regra de inferência que afirma: se "Se está sol, então vamos à praia" (P → Q), e "Está sol" (P), então podemos concluir que "Vamos à praia" (Q). A forma lógica é P → Q, e a forma alternativa é ¬P → ¬Q, embora essa última seja mais relacionada ao modus tollens. • Subtema: Modus tollens Modus tollens afirma: se "Se gostas de mim, então respeitas-me" (¬P → Q), e "Não me respeitas" (¬Q), então conclui-se que "Não gostas de mim" (¬P). A forma lógica é ¬P → Q, e a alternativa é ¬Q → ¬P. • Subtema: Contraposição Contraposição troca o antecedente e o consequente de uma proposição condicional, negando ambos. Por exemplo: "Se gostas de mim, então respeitas-me" (P → Q) é logicamente equivale...