3 Ejemplos De Modus PonensEn Lógica

 
3 ejemplos de modus ponensEn lógica, el modus Ponendo ponens (MPP o MP) es el razonamiento en el cual, en la primerapremisa se plantea un condicional, en la segunda se afirma el antecedente y,como conclusión,se afirma el consecuente.Ej.: 1a. premisa: Si tengo dinero entonces compro una bicicleta.2a. premisa: Tengo dineroConclusión: Compro una bicicleta.Es un modo válido de razonamiento.
Modusponendo ponens
De Wikipedia, la enciclopedia libreSaltar anavegación, búsqueda Enlógica, el
m
odus ponendo ponens
(enlatín,
modo que afirmando afirma
)
, tambiénllamado
m
odus ponens
y generalmenteabreviado
MPP
o
MP
, es unaregla deinferenciaque tiene la siguiente forma:Si A, entonces BAPor lo tanto, BPor ejemplo, un razonamiento que sigue la forma del modus ponens podría ser:Si está soleado,entonces es de día.Está soleado.Por lo tanto, es de día.Otro ejemplo seríaSi Javier tiene rabia, es una nube.Javier tiene rabia.Por lo tanto, Javier es una nube.Otra manera de presentar el modus ponenscon el condicional es: Y aún otra manera es a través de la notación del cálculo de secuentes: Con condicional: En la axiomatización de lalógica proposicionalpropuesta por Jan ukasiewicz, elmodusponens es la única regla de inferencia primitiva. Esto ha motivado que mucha 
Modus Tollendo Tollens
Gracias a la fiestita del 07/05/11, en homenaje a Eduardo Vargas (3), el payaso con el nombre artístico“Narices” (conductor de un programa televisivo en un medio de la ciudad de Santa Cruz-Bolivia), hizo referencia a una expresión “si y sólo si” (Lógica Simbólica) en la que aplicaba dicha inferenciacomo parte del concepto “Tollendo Tollens”. Dicha concepción estaba errada, puesto que Tollendo Tollens es una regla de Inferencia que tiene la sgte. forma:

si A entonces B
No B
Por lo tanto, no A‘Tollendo tollens’ significa “negando, niego”, y se refiere a una propiedad inversa de los condicionales, a los que nos referíamos en primer lugar.

Si de un condicional, aparece como premisa el...