Modus ponens: differenze tra le versioni

Versione delle 19:11, 22 giu 2023

Versione attuale delle 20:57, 2 dic 2023

Riga 6:

:<math>[(p \rightarrow q) \land p] \vdash q</math>

dove <math>\vdash</math> rappresenta l'[[asserzione logica]], nota anche come [[sequente]]. Questa forma di deduzione ha due premesse: la prima è l'asserzione "se-allora" o ''[[Asserzione condizionale]]'', cioè che p implica q. La seconda premessa è che p, l{{'}}''ipotesi'' dell'asserzione condizionale, sia vera. Da queste due premesse si può logicamente dedurre che q, la ''conseguenza'' nell'affermazione condizionale, dev'essere vera anch'essa.

La regola viene talvolta denominata: '''principio di disgiunzione'''<ref>Fritz Reinhardt e Heinrich Soeder. ''Atlante di matematica''. Milano, Hoepli, 1993. ISBN 88-203-2050-9.</ref>, '''affermazione dell'antecedente''', '''ragionamento diretto'''.

Riga 13:

<div style="text-align:center;" id="mwHQ">

{| id="mwHg" class="wikitable"

! id="mwIQ" | <math>p</math>

Riga 50:

Una inferenza che utilizza il modus ponens viene chiamata ''deduttiva''.

Per un divertente dialogo che mette in discussione il modus ponens, vedi ''[[Lewis_CarrollLewis Carroll#Carriera_letterariaCarriera letteraria|Quello che la Tartaruga disse a Achille]]'', di [[Lewis Carroll]].

== Note ==