Regla de inferencia Una regla de inferencia es un esquema para construir inferencias vlidas.

Estos esquemas establecen relaciones sintcticas entre un conjunto de frmulas llamados premisas y una asercin llamada conclusin. Modus ponendo ponens En lgica, modus ponendo ponens (en latn, modo que afirmando afirma), tambin llamado modus ponens y generalmente abreviado MPP o MP, es una regla de inferencia que tiene la siguiente forma: Si A, entonces B A Por lo tanto, B Por ejemplo, un razonamiento que sigue la forma del modus ponens podra ser: Si est soleado, entonces es de da. Est soleado. Por lo tanto, es de da. Otro ejemplo sera Si Javier tiene rabia, es una nube. Javier tiene rabia. Por lo tanto, Javier es una nube. Modus ponendo tollens En lgica, el modus ponendo tollens (en latn, modo que afirmando niega) o MPT es una forma vlida de argumento que dice: O bien A, o bien B A Por lo tanto, no B Por ejemplo, un razonamiento que sigue la forma del modus ponendo tollens podra ser: O bien es de da, o bien es de noche. Es de da. Por lo tanto, no es de noche.

Modus tollendo ponens En lgica, el silogismo disyuntivo, histricamente conocido como modus tollendo ponens (en latn, modo que negando afirma) o MTP, es una forma vlida de argumento: es el caso que A, o es el caso que B No A Por lo tanto, B o exclusivo: O es el caso que A, o es el caso que B No A Por lo tanto, B Por ejemplo, un razonamiento que sigue la forma del silogismo disyuntivo exclusivo podra ser: O es de da o es de noche. No es de da. Por lo tanto, es de noche.

Modus tollendo tollens En lgica, el modus tollendo tollens (en latn, modo que negando niega), tambin llamado modus tollens y generalmente abreviado MTT o MT, es una regla de inferencia que tiene la siguiente forma: si A entonces B No B Por lo tanto, no A Por ejemplo, un razonamiento que sigue la forma del modus tollens podra ser: si est soleado entonces es de da. No es de da. Por lo tanto, no est soleado.