Modus ponens: differenze tra le versioni

Versione delle 19:09, 22 giu 2023

Versione delle 19:11, 22 giu 2023

Riga 1:

{{F|logica|aprile 2021}}

Nella [[logica]], il '''modus ponens''' ('''MP'''), accorciamento del [[lingua latina|latino]] '''''modus ponendo ponens''''' ("modo che afferma", letteralmente "{{Lett|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''