Modo afirmando afirma

Matemática Básica

Ley de Módus ponendo ponens

• Integrantes
• Cacuango Jessica
• Loor Jose Luis
• Lucero Cinthia
• Perugachi Lisseth
• Pilataxi Adrian
• Teran Juan Jose

Empezar

Inferir

Inferencia Lógica

Sacar una consecuencia o deducir algo de otra cosa.(Rae, 2001)

Es el proceso de obtención de una proposición a partir de otra u otras proposiciones dadas, a las cuales se aplican reglas de inferencia, de tal manera que la conclusión sea consecuencia lógica de las premisas.

Primera ley

Ley de Módus ponendo ponens (MPP)

Modo que afirmando afirma

Es un tipo de argumento lógico, de inferencia razonada, perteneciente al sistema formal de las reglas de deducción de la conocida lógica proposicional.

El modo ponendo ponens nos dice: Se toman 2 premisas una de ellas debe tener una condiional y la otra premisa debe afirmar al antecedente, es decir la otra premisa debe ser igual al antecedente de la condicional. Esto nos dara como resultado una conclusión que sera el consecuente

ExplicaciónEsta regla se aplica a condicionales

(P ∧ Q) (P ∧ Q) → ~s ------- ~s

~r → t ~r ------- t

P → Q P ------- Q

Ejemplos

Ejemplo 1

Premisa 1. Si él está en el partido de fútbol, entonces él está en el estadio. Premisa 2. Él está en el partido de fútbol. Conclusión. Él está en el estadio. Sea: P= «Él está en el partido de fútbol» Q= «Él está en el estadio», Entonces: Premisa 1. P —> Q Premisa 2. P Conclusión Q

Ejemplo 2

Premisa 1: “Si quieres pasar el examen de mañana, entonces debes estudiar mucho”. Premisa 2: “Quieres pasar el examen de mañana”. Concluyente: “Por lo tanto, debes estudiar mucho”.

Ejemplo 3

Premisa 1: “Si sigues comiendo tanta sal, entonces no lograrás controlar la hipertensión”. Premisa 2: “Sigues comiendo tanta sal”. Conclusión: “Por lo tanto, no lograrás controlar la hipertensión”..

Ejemplo 4

Premisa 1: “Si estás pendiente del camino, entonces no te perderás”. (t → ¬r) Premisa 2: “Estás pendiente del camino”. t Conclusión: “Por lo tanto, no te perderás”. ¬r

¡Muchas gracias!