Documente Academic
Documente Profesional
Documente Cultură
a) Reglas de inferencia.
Modus Ponendo Ponens.
Premisa 1: “Si vienes a casa y traes palomitas, entonces veremos una película”.
Premisa 2: “Vienes a casa y traes palomitas”. 𝑃∆𝑅 → ~𝑄
Conclusión: “Por lo tanto, veremos una película”. 𝑃∆𝑅
~𝑄
Modus Tollendo Tollens.
P→Q
Q→R
P→R
Ejemplo
“Si me quedo dormido por la mañana, llegaré tarde al trabajo.
Si llego tarde al trabajo, me llamarán la atención.
(P → Q) • (R → S)
P∨R
Q∨S
Ejemplo: Si gano un millón de pesos, lo voy a donar a un orfanato
Si mi amigo gana un millón de euros, lo va a donar a un hogar de ancianos.
O voy a ganar un millón de pesos, o mi amigo ganará un millón de euros.
Por lo tanto, o un orfanato ganará un millón de pesos, o un asilo ganará un millón
de euros
Dilema destructivo.
Esta inferencia una especie de modus tollendo tollens doble, así que si tienes
dos condicionales y luego tienes los dos consecuentes negados, infieres los
antecedentes negados.
Ejemplo: Si voy a Buenos Aires en verano pasaré calor, pero si voy a Bogotá en
cualquier época tendré frío, entonces o no pasaré calor, o no tendré frío, por lo
tanto o no iré a Buenos Aires, o no iré a Bogotá.
(P → Q) • (R → S)
~ Q ∨ ~S
~ Q ∨ ~S
1. Si esta es una sociedad matriarcal, entonces el hermano de la madre es el
cabeza de familia. Si el hermano de la madre es el cabeza de familia,
entonces el padre no tiene autoridad. Esta es una sociedad matriarcal. Por
tanto, el padre no tiene autoridad.
2. O esta roca es una roca ígnea o es una roca sedimentaria. Esta roca es
granito. Si esta roca es granito entonces no es una roca sedimentaria. Por
tanto, esta roca es una roca ígnea.
3. Si Juan es más alto que Pedro, entonces María es más baja que Juana. María
no es más baja que Juana. Si Juan y Luis tienen la misma estatura, entonces
Juan es más alto que Pedro. Por tanto, Juan y Luis no tienen la misma
estatura.
4. Si A ganó la carrera, entonces o B fue el segundo o C fue el segundo. Si B fue
el segundo, entonces A no ganó la carrera. Si D fue el segundo, entonces C no
fue el segundo. A ganó la carrera. Entonces, D no fue el segundo.
5. Si el reloj está adelantado, entonces Juan llegó antes de las diez y vio partir el
coche de Andrés. Si Andrés dice la verdad, entonces Juan no vio partir el
coche de Andrés. O Andrés dice la verdad o estaba en el edificio en el
momento del crimen. El reloj está adelantado. Por tanto, Andrés estaba en el
edificio en el momento del crimen.
Si Juan es más alto que Pedro, entonces María es más baja que Juana. María no
es más baja que Juana. Si Juan y Luis tienen la misma estatura, entonces Juan es
más alto que Pedro. Por tanto, Juan y Luis no tienen la misma estatura.
𝑝: 𝐽𝑢𝑎𝑛 𝑒𝑠 𝑚á𝑠 𝑎𝑙𝑡𝑜 𝑞𝑢𝑒 𝑃𝑒𝑑𝑟𝑜.
1. 𝑝→𝑞
𝑞: 𝑀𝑎𝑟í𝑎 𝑒𝑠 𝑚á𝑠 𝑏𝑎𝑗𝑎 𝑞𝑢𝑒 𝐽𝑢𝑎𝑛𝑎
2. ~𝑞
r: 𝐽𝑢𝑎𝑛 𝑦 𝐿𝑢𝑖𝑠 𝑡𝑖𝑒𝑛𝑒𝑛 𝑙𝑎 𝑚𝑖𝑠𝑚𝑎 𝑒𝑠𝑡𝑎𝑡𝑢𝑟𝑎
3. 𝑟→𝑝
4. ~𝑟
5. ~𝑝
https://es.slideshare.net/pedrotuyopoma5/raz
onamiento-logico-52181894
http://www.fisica.ugto.mx/~msabido/logica/Ca
p2b.pdf
https://www.coursehero.com/file/p176u0n/Si-
Juan-es-m%C3%A1s-alto-que-Pedro-entonces-
Mar%C3%ADa-es-m%C3%A1s-baja-que-Juana-
Mar%C3%ADa-no-es/
1. Si el lunes voy a clase, no iré al banco” y “Si no voy al banco el lunes,
entonces no podre comprar el disco”. Si aceptamos ambas proposiciones,
entonces podemos lógicamente concluir que “ Si el lunes voy a clase, no
podre comprar el disco”.