Modus ponens: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Ho sostituito il secondo simbolo di implicazione logica "→"con quello di asserzione logica "⊢". Il senso del modus ponens è che dato p→q,q si possa asserire, dedurre q. Inoltre la formula precedente era inconsistente con la riga successiva in cui si spiega il significato di "⊢" senza avere impiegato tale simbolo. |
Etichette: Modifica da mobile Modifica da web per mobile |
||
Riga 48:
* ''La strada è bagnata''.
Il fatto che l'[[inferenza]] sia valida non può assicurarci che ognuna delle asserzioni contenute sia vera; la validità del modus ponens ci dice che la conclusione deve essere vera se tutte le premesse sono vere. È bene ricordare che una valida [[Regola di inferenza]] in cui una o più premesse non sono vere è chiamata inferenza ''infondata'', laddove quando tutte le premesse sono vere, allora l'inferenza è ''fondata''. Nella gran parte dei sistemi logici, il Modus Ponens è considerato valido; tuttavia le sue ''istanze'' possono essere fondate o infondate.
* ''Se la regola d'inferenza è il modus ponens e le sue premesse sono vere, allora è fondata''.
| |||