Repaso de Las Reglas
Repaso de Las Reglas
Repaso de Las Reglas
Lógica Matemática
Primer Curso Bachillerato Científico
Semana – Arapokõindy: 4 al 8 de octubre
1
MODUS TOLLENDO TOLLENS (TT)
Esta regla deriva del latín Modus Tollendo Tollens (Modo Negando Niego). Es aplicable a
las proposiciones condicionales; negando (Tollendo) el consecuente de la condicional, se niega
(Tollens) el antecedente de la misma condicional. Esta regla nos permite pasar de dos premisas,
la primera una proposición condicional, y la segunda a una negación del consecuente, a una
conclusión, que es la negación del antecedente. Tanto el antecedente o el consecuente pueden
ser proposiciones moleculares o atómicas. Puede usarse paréntesis para mayor claridad. La
abreviatura del Modus Tollendo Tollens es TT.
No he ido a la plaza. 2. – 𝑄 P
2
1. Infiero una conclusión de cada uno de los conjuntos de premisas utilizando el modus
Ponendo Ponens, Tollendo Tollens o Tollendo Ponens.
Premisas En forma simbólica
1. Si se produce la variación de costo del combustible, 1)
entonces tendremos un aumento generalizado de los
precios en los supermercados.
2. Se produce la variación de costo del combustible. 2)
Conclusión: 3)
Conclusión: 3)
Conclusión: 3)
Conclusión: 3)
Conclusión: 3)
3
4. Demuestro la validez de las conclusiones destacadas, utilizando la regla PP, TT y TP en
cada caso.
Demostrar: Q Demostrar: −𝑍
(1) 𝑀 → 𝑄 P (1) 𝑃 → 𝑄 P
(2) 𝑆 → 𝑀 P (2) 𝑍 → 𝑃 P
(3) 𝑆 P (3) −𝑄 P
(4) (4)
(5) (5)
Demostrar: -S Demostrar: R
(1) −𝑃 → 𝑄 P (1) 𝑅 𝑉 𝑀 P
(2) 𝑆 → −𝑄 P (2) 𝑀 → −𝑆 P
(3) −𝑃 P (3) 𝑆 P
(4) (4) 𝑅 → 𝑄 P
(5) (5)
(6)
Aníke nderesarái
reguerahaka hag̃ ua
ko’ã ne rembiapo ne
mbo’ehárape
4
Actividades para enviar a través del Gestor de Tareas
2. En las siguientes formas, indico línea a línea la regla aplicada para obtener la conclusión.
Demostrar: T Demostrar: P
(1) Q → T P (1) M P
(2) R → Q P (2) −T → P P
(3) R P (3) T → −M P
(4) (4)
(5) (5)