Modus ponens: differenze tra le versioni

== Esempi ==

Il seguente è un esempio di argomentazione nella forma di ''modus'' ''ponens'':

 

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.