Modus ponens: differenze tra le versioni

Versione delle 01:03, 20 nov 2015

Versione delle 16:19, 16 set 2017

Riga 1:

{{Avvisounicode}}

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''