^^Modus ponens.

wp/Modus_ponens

Nella logica, il modus ponens e' una regola di inferenza logica

In parole:

allora la conseguenza q è vera.

In notazione con operatori logici:

[ ( p → q ) ∧ p ] ⊢ q

dove ⊢ rappresenta l'asserzione logica, nota anche come sequente.

Questa forma di deduzione ha 2 premesse:

• asserzione "se-allora", asserzione condizionale, p implica q.
• p, l'ipotesi dell'asserzione condizionale, e' vera.

Da queste due premesse si può logicamente dedurre che q, la conseguenza nell'affermazione condizionale, e' vera.

Modus ponens,  accorciamento di  modus ponendo ponens

"modo che afferma", letterale "modo che pone con l'aver posto"

the weakness of modus ponens

modus ponens doesn’t protect you from false premises.

Es:

• If I can’t break my cryptographic code, then my code is secure.
  I can’t break my code, therefore, my code is secure.

Perfectly valid logic, and perfectly wrong.