Modus ponens: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
Nessun oggetto della modifica Etichette: Modifica da mobile Modifica da web per mobile |
||
Riga 6:
o in notazione con [[operatore logico|operatori logici]]:
[(p <math>\rightarrow</math> q) ∧ p] <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.
| |||