Inferenza
L'inferenza è il processo con il quale da una proposizione accolta come vera, si passa a una proposizione la cui verità è considerata contenuta nella prima.
Inferire è quindi trarre una conclusione. Inferire X significa concludere che X è vero; un inferenza è la conclusione tratta da un insieme di fatti o circostanze. Gran parte dello studio della logica esplora la validità o non validità di inferenze e implicazioni.
Esiste una differenza tra implicare e inferire. Se scriviamo che tutti gli uomini sono mortali e Socrate è un uomo, implichiamo che Socrate è mortale, ma un lettore così attento da notare la nostra implicazione e pensare: "Quindi Socrate è mortale.", inferisce che Socrate è mortale.
Vedi anche
- Regola
- RuleML
- Sistema esperto
- Motore inferenziale
- Procedura di inferenza
- Ragionamento
- Asserzione logica
- Regole di inferenza