Lógicas das Proposições
Regras de Inferência
- Sejam as fórmulas f1, f2, ..., fn (n>=1) e C. Então, toda afirmação de que uma determinada seqüência finita de fórmulas tem como conseqüência final C, chama-se REGRA DE INFERÊNCIA.
- São regras hipotéticas ou não, que geram formas de argumento em uma série de etapas simples e precisas de raciocínio, chamadas de DERIVAÇÃO ou PROVA.
- Um ARGUMENTO é uma seqüência de enunciados no qual um deles é a CONCLUSÃO e os demais são as PREMISSAS que servem para provar ou, pelo menos, fornecer algumas evidências para a conclusão.
- Evita o trabalho tedioso de ficar construindo Tabelas-Verdade.
- ? |- ? significa que ? pode ser derivado de ? através do processo de inferência, onde ? e ? são fórmulas bem formadas.