afasdasad

1. UPTC
MODUS
PONENDO
PONENS
Santiago Andrade Mesa
Lógica proposicional ｜ Reglas de inferencia

2. MODUS PONENS O
LEY DE
SEPARACIÓN
La forma en que se afirma afirmando.
SI AFIRMO EL ANTECEDENTE, MI CONCLUSIÓN ES
LA AFIRMACIÓN DEL CONSECUENTE

3. Afirmando,
afirmo.
A pesar de ser uno de los recursos más utilizados en el mundo de la lógica, no puede
confundirse con una ley lógica; es simplemente un método para la elaboración de
evidencias deductivas.
“Cuando la primera es, la segunda debe ser”
Si el antecedente, primer termino “p”, se afirma, necesariamente se afirma el
consecuente, el cual sería “q”.
La premisa donde esté el condicional o implicación es aquella operación que establece
entre esos dos enunciados una causa-efecto

4. EJEMPLO
Si él está en el
partido de
fútbol,
entonces él
está en el
estadio.
PREMISA 1
01.
Él está en el
partido de
fútbol.
PREMISA 2
02.
Él está en el
estadio.
CONCLUSIÓN
03.

5. REGLA DE
INFERENCIA
INFERIR…. LLEVAR A, DEDUCIR ALGO, SACAR UNA CONCLUSIÓN DE
PROPOSICIONES O PREMISAS PARA LLEGAR A UNA CONCLUSIÓN
P → 𝑄
P
∴ 𝑄
PREMISA
PREMISA
CONCLUSIÓN
AFIRMO EL PRIMERO
AFIRMO EL SEGUNDO
SI

6. REGLA DE
INFERENCIA
P → 𝑄
P
∴ 𝑄
P = LLUEVE
Q = EL CIELO ESTÁ CUBIERTO
(P → 𝑄) →(S v ~R)
P → Q
𝑆 𝑣 ~R
S= ME VOY EN CARRO AL TRABAJO
R= PUEDO TRABAJAR
~R= NO PUEDO TRABAJAR

7. 1:(¬P ^¬𝑄) → ¬S
2: ¬(P v Q)
3: ¬P ^ ¬ Q LM2
4: ¬S PP 1,3
CONTRARRECÍPROCA
LEY DE EQUIVALENCIA:
P → 𝑸 = ¬ Q → ¬P
P = LLUEVE
Q = EL CIELO ESTÁ CUBIERTO
S= ME VOY EN CARRO AL TRABAJO
R= PUEDO TRABAJAR
¬R = NO PUEDO TRABAJAR
1: T → ¬R
2: R
3: 𝑅 → ¬ T CR 1
4: ¬ T PP 2,3
T = ES LUNES
R = VEO MATEMÁTICAS DISCRETAS
¬ R= NO VEO MATEMÁTICAS DISCRETAS