Modus ponens

Do latim — "o modo que afirma".

term: Modus ponens etymology: Do latim — "o modo que afirma". summary: "Regra de inferência: de P → Q e P, conclui-se Q. Em código, é aplicação de função." relatedModules: [propositional-logic] seeAlso: [condicional, contrapositiva]

\frac{P \rightarrow Q \quad P}{Q}

A partir da condicional $P \rightarrow Q$ e do antecedente $P$ , conclui-se $Q$ .

A regra de inferência mais básica. Se a condicional vale e o antecedente vale, o consequente vale.

Aplicação de função. f: P → Q aplicada a p: P produz f(p): Q. Curry-Howard direto.

q = implies(p)   # P → Q aplicado a P produz Q