Modus ponens: differenze tra le versioni

Versione delle 23:38, 18 mar 2021

Versione delle 14:52, 15 apr 2021

Riga 1:

{{F|logica|aprile 2021}}

Nella [[logica]], il '''modus ponens''' ('''MP'''), accorciamento del [[lingua latina|latino]] '''''modus ponendo ponens''''' ("modo che afferma", letteralmente "modo che pone con l'aver posto"), è una semplice e [[validità (logica)|valida]] regola d'[[inferenza]], che afferma in parole:

:''Se ''p'' implica ''q'' è una [[asserzione logica|proposizione]] vera, e anche la [[antecedente (logica)|premessa]] ''p'' è vera, allora la [[sequente|conseguenza]] ''q'' è vera''