Barras bravas

MODUS PONENDO PONENS (mpp)

Esta regla se basa en la estructura del condicional y se señala de la siguiente manera: si en un argumento se
Tienen como premisas:

1.-una proposición condicional2.-el antecedente de ese mismo condicional

Por medio de esta regla se puede inferir como conclusión valida al consecuencia del mismo condicional

EJEMPLOS

1.-Si Marcos esta en la fiestaentonces el se esta divirtiendo

2.-Marcos esta en la fiesta

Si lo simbolizamos

1.- p—q
2.- p Formula ilógica del mpp
q

Esto quiere decir que cuando se tiene un condicional y seidentifican claramente al antecedente y el consecuente si se da como verdadero el antecedente es necesario que también el consecuente lo sea.

Es necesario aclarar que la estructura del mpp es unainstancia de sustitución (así como también lo son las otras reglas de inferencia) lo que quiere decir que las variables lógicas pueden ser diferentes siempre y cuando se mantenga la misma estructura oforma lógica

EJEMPLOS

1.- (rvs)— (p q)

2.-(rvs)
(p q)

El argumento simbolizado también tiene la forma lógica de un mpp aunque las proposiciones que lo conforman sean compuestas ya quesi sustituimos cada una de ellas por otras variables la estructura es la misma como se ilustren en el recuadro.

ESTRUCTURA DE LA DEMOSTRACION POR REGLAS DE INFERENCIA

Tornemos como ejemplo elsiguiente del cual se pretende demostrar la validez de la conclusión:

1.- si me quedo a comer en casa, entonces no podre llegar a tiempo a la escuela
2.-si llegan visitas, entonces me quedo a comeren casa
3.- llegan visitas
Por lo tanto, no podré llegar a tiempo a la escuela

Si simbolizamos:
1.-r-- t
2.---r
3.-s
t

Lo que se tiene que demostrar es la validez del argumento y esto sedará si se demuestra que la conclusión se infiere o deduce de una manera correcta de las premisas. Es decir que se tienen que comprobar en este ejemplo que es verdadera porque se infiere de las...