🎯 Modus Ponens
Em poucas palavras
É a forma mais básica e válida de raciocínio dedutivo. Se uma regra é verdadeira e a condição inicial acontece, o resultado é garantido.
📝 Notas e Desenvolvimento
Definição técnica: Também chamado de “afirmação do antecedente”. É uma regra de inferência válida na lógica proposicional. Se temos uma condicional () e a premissa () é verdadeira, então a conclusão () é necessariamente verdadeira.
- Se , então .
- ocorreu.
- Portanto, ocorre. (✅ Válido)
- A Força: Diferente da Afirmação do consequente, o Modus Ponens é logicamente impecável. Se as premissas forem verdadeiras, a conclusão não pode ser falsa.
- Exemplo Simples: * “Se o código compilar sem erros, o programa será executado.”
- “O código compilou sem erros.”
- “Logo, o programa será executado.”
- Importância: É a base do raciocínio em Sistemas Especialistas e na execução de Estruturas condicionais (
if-then) em linguagens de programação.
🔗 Conexões e Contexto
- Atlas: MdC - Filosofia, MdC - Programação
- Notas Relacionadas:
- Categoria: Lógica Formal, Dedução.
- O oposto válido: Modus Tollens (Negação do consequente).
- Contraste (Falácia): Afirmação do consequente (Onde se tenta fazer o caminho inverso erroneamente).
- Relação com IA: Fundamental para entender como motores de inferência processam regras lógicas em Inteligência artificial.