SlideShare una empresa de Scribd logo
1 de 6
5.1.2 LAS REGLAS DE LA INFERENCIA
Especialmente para los matemáticos y primordialmente en lógica matemática,
“una regla de inferencia es un esquema para construir inferencias válidas. Estos
esquemas establecen relaciones sintácticas entre un conjunto de fórmulas
llamados premisas y una aserción llamada conclusión. Estas relaciones
sintácticas son usadas en el proceso de inferencia, por el que se llega a nuevas
aserciones verdaderas a partir de otras ya conocidas. Las reglas también se
aplican a la lógica informal y a las discusiones, pero la formulación es mucho más
difícil y polémica”1
.
5.1.2.1 Modus Ponendo Ponens (PP)
p → q “Si llueve el río se desborda,” (premisa)
p “los campos están inundados” (premisa)
__________________________________________________
q “Luego, el río se desbordó” (conclusión)
El condicional o implicación es aquella operación que establece entre dos
enunciados una relación de causa-efecto. La regla ‘ponendo ponens’ significa,
“afirmando afirmo” y en un condicional establece, que si el antecedente (primer
término, en este caso p) se afirma, necesariamente se afirma el consecuente
(segundo término, en este caso q)2.
5.1.2.2 Modus Tollendo Tollens (TT)
‘Tollendo tollens’ significa “negando, niego”, y se refiere a una propiedad inversa
de los condicionales, a los que nos referíamos en primer lugar3.
p → q “Si llueve, el río se desborda”
¬q “Los campos no están inundados”
__________________________________________________
¬p “Luego, el río no se desbordó”
1 RAMIREZ MOGUEL, Axel. Filosofía II:Reglas deInferencia.2012.
2 LICEO DHALMAR. Plan de Filosofía,Reglas deInferencia,EducarChile.2016.
3 Ibíd, 2016
Si de un condicional, aparece como premisa el consecuente negado (el efecto),
eso nos conduce a negar el antecedente (la causa), puesto que si un efecto no se
da, su causa no ha podido darse.
Entonces, formular una regla combinada de las ambas anteriores, consecuencia
ambas de una misma propiedad de la implicación; la regla ponendo ponens sólo
nos permite afirmar si está afirmado el antecedente (el primer término de la
implicación), y la regla tollendo tollens sólo nos permite negar a partir del
consecuente (segundo término de la implicación); ambas consecuencias se
derivan de que la implicación es una flecha que apunta en un único sentido, lo que
hace que sólo se pueda afirmar a partir del antecedente y negar sólo a partir del
consecuente4.
Doble negación (dn)
¬¬p ↔ p
El esquema representa, “p doblemente negada equivale a p”. Siguiendo el
esquema de una inferencia por pasos, la representaríamos así:
¬¬p “No sucede que María no es una comediante”
_____________________________________________________
P “María es una comediante”
La regla ‘doble negación’, simplemente establece que si un enunciado está
doblemente negado, equivaldría al enunciado afirmado.
5.1.2.3 Adjunción y simplificación
Adjunción (A): Si disponemos de dos enunciados afirmados como dos premisas
separadas, mediante la adjunción, podemos unirlos en una sola premisa utilizando
el operador Λ (conjunción).
P “Tobi es perro”
Q “Mati es gata”
___________________________________
4 LICEO DHALMAR. Ob cit., 2016
p Λ q “Tobi es perro y Mati es gata”
Simplificación (S): obviamente, es la operación inversa. Si disponemos de un
enunciado formado por dos miembros unidos por una conjunción, podemos hacer
de los dos miembros dos enunciados afirmados por separado5.
p Λ q “Tengo un caballo y tengo una vaca”
____________________________________________
p “Tengo un caballo”
q “Tengo una vaca”
5.1.2.4 Modus Tollendo Ponens (TP)
La disyunción, que se simboliza con el operador V, representa una elección entre
dos enunciados. Ahora bien, en esa elección, forma parte de las posibilidades
escoger ambos enunciados, es decir, la verdad de ambos enunciados no es
incompatible, si bien, ambos no pueden ser falsos. A partir de lo anterior, se
deduce la siguiente regla, denominada tollendo ponens (negando afirmo): si uno
de los miembros de una disyunción es negado, el otro miembro queda
automáticamente afirmado, ya que uno de los términos de la elección ha sido
descartado6.
p V q “He viajado a Cuba o he ido del Carnaval de Barranquilla”
¬q “No he viajado a Cuba”
__________________________________________________________
p “Por tanto, he al Carnaval de Barranquilla”
5.1.2.5 Ley de la Adición (LA)
5 Ibíd, 2016
6 LICEO DHALMAR. Ob cit., 2016
Dado un enunciado cualquiera, es posible expresarlo como una elección
(disyunción) acompañado por cualquier otro enunciado7.
A “He sembrado rosas”
______________________________________________________________
a V b “He sembrado rosas o he sembrado margaritas”
5.1.2.6 Silogismo Hipotético (SH)
Dados dos implicaciones, de las cuales, el antecedente de la una sea el
consecuente de la otra (el mismo enunciado), podemos construir una nueva
implicación cuyo antecedente sea el de aquella implicación cuya consecuencia
sea el antecedente de la otra implicación, y cuyo consecuente sea el de ésta
última, cuyo antecedente era consecuencia del primero.
Expresado de otro modo, si una causa se sigue una consecuencia, y ésta
consecuencia es a su vez causa de una segunda consecuencia, se puede decir
que esa primera causa es causa de esa segunda consecuencia, del mismo modo
que, si una bola de billar roja golpea a otra bola blanca que a su vez golpea a una
bola negra, la bola roja es causa del movimiento de la bola negra8. Citado en
forma de inferencia lógica:
p → q “Si la bola roja golpea a la bola blanca, la bola blanca se
mueve”
q → r “Si la bola blanca golpea a la bola negra, la bola negra se
mueve”
__________________________________________________________________
_
p → r “Si la bola roja golpea a la bola blanca, la bola negra se mueve”
5.1.2.7 Silogismo Disyuntivo (DS)
7 Ibíd., 2016
8 LICEO DHALMAR. Ob cit., 2016
Dadas tres premisas, dos de ellas implicaciones, y la tercera una disyunción cuyos
miembros sean los antecedentes de los condicionales, podemos concluir en una
nueva premisa en forma de disyunción, cuyos miembros serían los consecuentes
de las dos implicaciones. Lógicamente, si planteamos una elección entre dos
causas, podemos plantear una elección igualmente entre sus dos posibles efectos,
que es el sentido de esta regla9.
p → q “Si hay sequía, entonces la tierra se reseca”
r → s “Si hay vendavales, los árboles se caen”
p V r “Sequía o vendavales”
____________________________________________________
q V s “La tierra se reseca o los árboles se caen”
5.1.2.8 Simplificación Disyuntiva (SD)
Si disponemos de dos premisas que corresponden a dos implicaciones con el
mismo consecuente, y sus antecedentes se corresponden con los dos miembros
de una disyunción, podemos concluir con el consecuente de ambas implicaciones.
p V q “Libro de Investigación o Libro de Procesal”
p → r “Si lees el libro de Investigación, entonces aprendes”
q → r “Si lees el libro de Procesal, entonces aprendes”
____________________________________________________
r Luego, aprendes
5.1.2.9 Ley Conmutativa
Esta ley, no es válida para la implicación, pero sí para conjunción y para la
disyunción. Una conjunción es afirmar que se dan dos cosas a la vez, de modo
9 Ibíd., 2016
que el orden de sus elementos no cambia este hecho. Igualmente, una disyunción
es presentar una elección entre dos cosas, sin importar en qué orden se presente
esta elección10.
p Λ q ↔ q Λ p “«p y q» equivale a «q y p»”
p V q ↔ q V p “«p ó q» equivale a «q ó p»
5.1.2.10 Leyes de Morgan (DM)
Esta ley permite transformar una disyunción en una conjunción, y viceversa, es
decir, una conjunción en una disyunción. Cuando se pasa de una a otra, se
cambian los valores de afirmación y negación de los términos de la
disyunción/conjunción así como de la propia operación en conjunto11, como
podemos observar aquí:
p Λ q p V q
__________ ___________
¬(¬p V ¬q) ¬(¬p Λ ¬q)
10 LICEO DHALMAR. Ob cit., 2016
11 Ibíd., 2016

Más contenido relacionado

La actualidad más candente

Ejercicios algebraproposicional
Ejercicios algebraproposicionalEjercicios algebraproposicional
Ejercicios algebraproposicionalMariexis Cova
 
Reglas y leyes lógica
Reglas y leyes lógicaReglas y leyes lógica
Reglas y leyes lógicaBertha Vega
 
simplificación inferencias gestión
simplificación inferencias gestiónsimplificación inferencias gestión
simplificación inferencias gestiónYanina C.J
 
Capitulo iii valores de verdad y lógica
Capitulo iii valores de verdad y lógicaCapitulo iii valores de verdad y lógica
Capitulo iii valores de verdad y lógicaCiuad de Asis
 
Estructura d.u1
Estructura d.u1Estructura d.u1
Estructura d.u1EdiverJMR
 
Leyes de logica proporcional
Leyes de logica proporcionalLeyes de logica proporcional
Leyes de logica proporcionalTania Contento
 
Estadistica Modulo Probabilidades
Estadistica Modulo ProbabilidadesEstadistica Modulo Probabilidades
Estadistica Modulo ProbabilidadesJorge Salomon
 

La actualidad más candente (16)

CALCULO PROPOSICIONAL
CALCULO PROPOSICIONALCALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL
 
Ejercicios algebraproposicional
Ejercicios algebraproposicionalEjercicios algebraproposicional
Ejercicios algebraproposicional
 
Logica
LogicaLogica
Logica
 
Reglas y leyes lógica
Reglas y leyes lógicaReglas y leyes lógica
Reglas y leyes lógica
 
Qué Es Un Dilema
Qué Es Un DilemaQué Es Un Dilema
Qué Es Un Dilema
 
Inferencias logicas
Inferencias logicasInferencias logicas
Inferencias logicas
 
simplificación inferencias gestión
simplificación inferencias gestiónsimplificación inferencias gestión
simplificación inferencias gestión
 
Argumentos deductivos
Argumentos deductivosArgumentos deductivos
Argumentos deductivos
 
Capitulo iii valores de verdad y lógica
Capitulo iii valores de verdad y lógicaCapitulo iii valores de verdad y lógica
Capitulo iii valores de verdad y lógica
 
Inferencia
InferenciaInferencia
Inferencia
 
Probabilidad y estadistica
Probabilidad y estadisticaProbabilidad y estadistica
Probabilidad y estadistica
 
Estructura d.u1
Estructura d.u1Estructura d.u1
Estructura d.u1
 
3.1 probabilidad
3.1 probabilidad3.1 probabilidad
3.1 probabilidad
 
Leyes de logica proporcional
Leyes de logica proporcionalLeyes de logica proporcional
Leyes de logica proporcional
 
Metodo Demostrativo
Metodo DemostrativoMetodo Demostrativo
Metodo Demostrativo
 
Estadistica Modulo Probabilidades
Estadistica Modulo ProbabilidadesEstadistica Modulo Probabilidades
Estadistica Modulo Probabilidades
 

Similar a las reglas de la inferencia

Modus ponendo ponens-090222215439-phpapp02
Modus ponendo ponens-090222215439-phpapp02Modus ponendo ponens-090222215439-phpapp02
Modus ponendo ponens-090222215439-phpapp02Miguel Angel Zamora
 
Modus ponendo ponens-090222215439-phpapp02
Modus ponendo ponens-090222215439-phpapp02Modus ponendo ponens-090222215439-phpapp02
Modus ponendo ponens-090222215439-phpapp02Miguel Angel Zamora
 
Lógica (José Manuel Pajares Hurtado)
Lógica (José Manuel Pajares Hurtado)Lógica (José Manuel Pajares Hurtado)
Lógica (José Manuel Pajares Hurtado)Jesus García Asensio
 
Esquemas de inferencia lógica
Esquemas de inferencia lógicaEsquemas de inferencia lógica
Esquemas de inferencia lógicaZetineb Oigres
 
Actividades unidad3 inteligenecia artificial
Actividades unidad3 inteligenecia artificialActividades unidad3 inteligenecia artificial
Actividades unidad3 inteligenecia artificialAlejandro Alejandrez
 
Capitulo2: Elementos de lógica proposicional
Capitulo2: Elementos de lógica proposicionalCapitulo2: Elementos de lógica proposicional
Capitulo2: Elementos de lógica proposicionalMarrano Axqueroxix
 
Proposiciones valeska
Proposiciones valeskaProposiciones valeska
Proposiciones valeskavaleska6620
 
Algebra
Algebra Algebra
Algebra rogel04
 
Algebra
Algebra Algebra
Algebra rogel04
 
Unidad i calculo proporcional
Unidad i calculo proporcionalUnidad i calculo proporcional
Unidad i calculo proporcionalOswaldo Perez
 
Inferencias logicas
Inferencias logicasInferencias logicas
Inferencias logicasEva Vásquez
 
Logica matematica 3 rodrigo andres hoyos perdomo
Logica matematica 3 rodrigo andres hoyos perdomoLogica matematica 3 rodrigo andres hoyos perdomo
Logica matematica 3 rodrigo andres hoyos perdomorockyhoyos1
 
Capitulo iii valores de verdad y lógica
Capitulo iii valores de verdad y lógicaCapitulo iii valores de verdad y lógica
Capitulo iii valores de verdad y lógicaCiuad de Asis
 

Similar a las reglas de la inferencia (20)

Modus ponendo ponens-090222215439-phpapp02
Modus ponendo ponens-090222215439-phpapp02Modus ponendo ponens-090222215439-phpapp02
Modus ponendo ponens-090222215439-phpapp02
 
Modus ponendo ponens-090222215439-phpapp02
Modus ponendo ponens-090222215439-phpapp02Modus ponendo ponens-090222215439-phpapp02
Modus ponendo ponens-090222215439-phpapp02
 
Lógica (José Manuel Pajares Hurtado)
Lógica (José Manuel Pajares Hurtado)Lógica (José Manuel Pajares Hurtado)
Lógica (José Manuel Pajares Hurtado)
 
Esquemas de inferencia lógica
Esquemas de inferencia lógicaEsquemas de inferencia lógica
Esquemas de inferencia lógica
 
CALCULO PROPOSICIONAL
CALCULO PROPOSICIONALCALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL
 
Actividades unidad3 inteligenecia artificial
Actividades unidad3 inteligenecia artificialActividades unidad3 inteligenecia artificial
Actividades unidad3 inteligenecia artificial
 
Capitulo2: Elementos de lógica proposicional
Capitulo2: Elementos de lógica proposicionalCapitulo2: Elementos de lógica proposicional
Capitulo2: Elementos de lógica proposicional
 
La lógica matemática
La lógica matemáticaLa lógica matemática
La lógica matemática
 
Proposiciones valeska
Proposiciones valeskaProposiciones valeska
Proposiciones valeska
 
Algebra
Algebra Algebra
Algebra
 
Algebra
Algebra Algebra
Algebra
 
FMMA010_apunte_s7.pdf
FMMA010_apunte_s7.pdfFMMA010_apunte_s7.pdf
FMMA010_apunte_s7.pdf
 
unidad 1 de estructuras
unidad 1 de estructurasunidad 1 de estructuras
unidad 1 de estructuras
 
Unidad i calculo proporcional
Unidad i calculo proporcionalUnidad i calculo proporcional
Unidad i calculo proporcional
 
Lógica y Cálculo Proposicional I
Lógica y Cálculo Proposicional ILógica y Cálculo Proposicional I
Lógica y Cálculo Proposicional I
 
Inferencias logicas
Inferencias logicasInferencias logicas
Inferencias logicas
 
Logica matematica 3 rodrigo andres hoyos perdomo
Logica matematica 3 rodrigo andres hoyos perdomoLogica matematica 3 rodrigo andres hoyos perdomo
Logica matematica 3 rodrigo andres hoyos perdomo
 
Capitulo iii valores de verdad y lógica
Capitulo iii valores de verdad y lógicaCapitulo iii valores de verdad y lógica
Capitulo iii valores de verdad y lógica
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 

Último

ESQUEMAS IAD introduccion al analisi del derecho.pptx
ESQUEMAS IAD introduccion al analisi del derecho.pptxESQUEMAS IAD introduccion al analisi del derecho.pptx
ESQUEMAS IAD introduccion al analisi del derecho.pptxVictoriaCanales6
 
RÉGIMENES TRIBUTARIOS EN EL PERU -RUS, RER, RG
RÉGIMENES TRIBUTARIOS EN EL PERU -RUS, RER, RGRÉGIMENES TRIBUTARIOS EN EL PERU -RUS, RER, RG
RÉGIMENES TRIBUTARIOS EN EL PERU -RUS, RER, RGAndreeAngelSalcedoLu
 
clase-causa-fuente--fin-y-motivo-2018.ppt
clase-causa-fuente--fin-y-motivo-2018.pptclase-causa-fuente--fin-y-motivo-2018.ppt
clase-causa-fuente--fin-y-motivo-2018.pptMarcederecho
 
LGSM.pdf ley general sociedades mercantiles
LGSM.pdf ley general sociedades mercantilesLGSM.pdf ley general sociedades mercantiles
LGSM.pdf ley general sociedades mercantilesmoraledulxe
 
Dictamen de la ONU sobre las leyes de concordia
Dictamen de la ONU sobre las leyes de concordiaDictamen de la ONU sobre las leyes de concordia
Dictamen de la ONU sobre las leyes de concordia20minutos
 
Conflicto de leyes en el tiempo y en el espacio
Conflicto de leyes en el tiempo y en el espacioConflicto de leyes en el tiempo y en el espacio
Conflicto de leyes en el tiempo y en el espacioEdwinRubio14
 
M15_U1_S1_UNADM_DERECHO INTERNACIONAL PUBLICO
M15_U1_S1_UNADM_DERECHO INTERNACIONAL PUBLICOM15_U1_S1_UNADM_DERECHO INTERNACIONAL PUBLICO
M15_U1_S1_UNADM_DERECHO INTERNACIONAL PUBLICOMarianaCuevas22
 
linea de tiempo .evolución histórica de los derechos humanos
linea de tiempo  .evolución histórica de los derechos humanoslinea de tiempo  .evolución histórica de los derechos humanos
linea de tiempo .evolución histórica de los derechos humanosmarcovalor2005
 
Derecho Laboral General y Otras Disposiciones
Derecho Laboral General y Otras DisposicionesDerecho Laboral General y Otras Disposiciones
Derecho Laboral General y Otras DisposicionesDiegoMorales287268
 
Act_3.2_FernandezIzquerrdo_MartinezMillet_RodriguezCarmona_InvestigacionenRec...
Act_3.2_FernandezIzquerrdo_MartinezMillet_RodriguezCarmona_InvestigacionenRec...Act_3.2_FernandezIzquerrdo_MartinezMillet_RodriguezCarmona_InvestigacionenRec...
Act_3.2_FernandezIzquerrdo_MartinezMillet_RodriguezCarmona_InvestigacionenRec...OmarFernndez26
 
Ensayo Critico sobre Garantismo Funcional
Ensayo Critico sobre Garantismo FuncionalEnsayo Critico sobre Garantismo Funcional
Ensayo Critico sobre Garantismo FuncionalPoder Judicial
 
sistema tributario boliviano en el contexto actual
sistema tributario boliviano en el contexto actualsistema tributario boliviano en el contexto actual
sistema tributario boliviano en el contexto actualJose Navarro
 
EL INTERÉS LEGÍTIMO DE LA REVISIÓN DE LOS ACTOS ADMINISTRATIVOS CONTRARIOS A ...
EL INTERÉS LEGÍTIMO DE LA REVISIÓN DE LOS ACTOS ADMINISTRATIVOS CONTRARIOS A ...EL INTERÉS LEGÍTIMO DE LA REVISIÓN DE LOS ACTOS ADMINISTRATIVOS CONTRARIOS A ...
EL INTERÉS LEGÍTIMO DE LA REVISIÓN DE LOS ACTOS ADMINISTRATIVOS CONTRARIOS A ...Corporación Hiram Servicios Legales
 
Libro el miedo a la libertad_ El Miedo A La Libertad.pdf
Libro el miedo a la libertad_ El Miedo A La Libertad.pdfLibro el miedo a la libertad_ El Miedo A La Libertad.pdf
Libro el miedo a la libertad_ El Miedo A La Libertad.pdfEdgar Jaimes Cruz
 
TITULO: ANALISIS DE JURISPRUDENCIA LABORAL
TITULO: ANALISIS DE JURISPRUDENCIA LABORALTITULO: ANALISIS DE JURISPRUDENCIA LABORAL
TITULO: ANALISIS DE JURISPRUDENCIA LABORALlitaroxselyperezmont
 
Protección de Datos Personales sector Educación
Protección de Datos Personales sector EducaciónProtección de Datos Personales sector Educación
Protección de Datos Personales sector EducaciónFundación YOD YOD
 
Impedimentos y Recusación Procesal Civil
Impedimentos y Recusación Procesal CivilImpedimentos y Recusación Procesal Civil
Impedimentos y Recusación Procesal CivilAidaTejada5
 

Último (17)

ESQUEMAS IAD introduccion al analisi del derecho.pptx
ESQUEMAS IAD introduccion al analisi del derecho.pptxESQUEMAS IAD introduccion al analisi del derecho.pptx
ESQUEMAS IAD introduccion al analisi del derecho.pptx
 
RÉGIMENES TRIBUTARIOS EN EL PERU -RUS, RER, RG
RÉGIMENES TRIBUTARIOS EN EL PERU -RUS, RER, RGRÉGIMENES TRIBUTARIOS EN EL PERU -RUS, RER, RG
RÉGIMENES TRIBUTARIOS EN EL PERU -RUS, RER, RG
 
clase-causa-fuente--fin-y-motivo-2018.ppt
clase-causa-fuente--fin-y-motivo-2018.pptclase-causa-fuente--fin-y-motivo-2018.ppt
clase-causa-fuente--fin-y-motivo-2018.ppt
 
LGSM.pdf ley general sociedades mercantiles
LGSM.pdf ley general sociedades mercantilesLGSM.pdf ley general sociedades mercantiles
LGSM.pdf ley general sociedades mercantiles
 
Dictamen de la ONU sobre las leyes de concordia
Dictamen de la ONU sobre las leyes de concordiaDictamen de la ONU sobre las leyes de concordia
Dictamen de la ONU sobre las leyes de concordia
 
Conflicto de leyes en el tiempo y en el espacio
Conflicto de leyes en el tiempo y en el espacioConflicto de leyes en el tiempo y en el espacio
Conflicto de leyes en el tiempo y en el espacio
 
M15_U1_S1_UNADM_DERECHO INTERNACIONAL PUBLICO
M15_U1_S1_UNADM_DERECHO INTERNACIONAL PUBLICOM15_U1_S1_UNADM_DERECHO INTERNACIONAL PUBLICO
M15_U1_S1_UNADM_DERECHO INTERNACIONAL PUBLICO
 
linea de tiempo .evolución histórica de los derechos humanos
linea de tiempo  .evolución histórica de los derechos humanoslinea de tiempo  .evolución histórica de los derechos humanos
linea de tiempo .evolución histórica de los derechos humanos
 
Derecho Laboral General y Otras Disposiciones
Derecho Laboral General y Otras DisposicionesDerecho Laboral General y Otras Disposiciones
Derecho Laboral General y Otras Disposiciones
 
Act_3.2_FernandezIzquerrdo_MartinezMillet_RodriguezCarmona_InvestigacionenRec...
Act_3.2_FernandezIzquerrdo_MartinezMillet_RodriguezCarmona_InvestigacionenRec...Act_3.2_FernandezIzquerrdo_MartinezMillet_RodriguezCarmona_InvestigacionenRec...
Act_3.2_FernandezIzquerrdo_MartinezMillet_RodriguezCarmona_InvestigacionenRec...
 
Ensayo Critico sobre Garantismo Funcional
Ensayo Critico sobre Garantismo FuncionalEnsayo Critico sobre Garantismo Funcional
Ensayo Critico sobre Garantismo Funcional
 
sistema tributario boliviano en el contexto actual
sistema tributario boliviano en el contexto actualsistema tributario boliviano en el contexto actual
sistema tributario boliviano en el contexto actual
 
EL INTERÉS LEGÍTIMO DE LA REVISIÓN DE LOS ACTOS ADMINISTRATIVOS CONTRARIOS A ...
EL INTERÉS LEGÍTIMO DE LA REVISIÓN DE LOS ACTOS ADMINISTRATIVOS CONTRARIOS A ...EL INTERÉS LEGÍTIMO DE LA REVISIÓN DE LOS ACTOS ADMINISTRATIVOS CONTRARIOS A ...
EL INTERÉS LEGÍTIMO DE LA REVISIÓN DE LOS ACTOS ADMINISTRATIVOS CONTRARIOS A ...
 
Libro el miedo a la libertad_ El Miedo A La Libertad.pdf
Libro el miedo a la libertad_ El Miedo A La Libertad.pdfLibro el miedo a la libertad_ El Miedo A La Libertad.pdf
Libro el miedo a la libertad_ El Miedo A La Libertad.pdf
 
TITULO: ANALISIS DE JURISPRUDENCIA LABORAL
TITULO: ANALISIS DE JURISPRUDENCIA LABORALTITULO: ANALISIS DE JURISPRUDENCIA LABORAL
TITULO: ANALISIS DE JURISPRUDENCIA LABORAL
 
Protección de Datos Personales sector Educación
Protección de Datos Personales sector EducaciónProtección de Datos Personales sector Educación
Protección de Datos Personales sector Educación
 
Impedimentos y Recusación Procesal Civil
Impedimentos y Recusación Procesal CivilImpedimentos y Recusación Procesal Civil
Impedimentos y Recusación Procesal Civil
 

las reglas de la inferencia

  • 1. 5.1.2 LAS REGLAS DE LA INFERENCIA Especialmente para los matemáticos y primordialmente en lógica matemática, “una regla de inferencia es un esquema para construir inferencias válidas. Estos esquemas establecen relaciones sintácticas entre un conjunto de fórmulas llamados premisas y una aserción llamada conclusión. Estas relaciones sintácticas son usadas en el proceso de inferencia, por el que se llega a nuevas aserciones verdaderas a partir de otras ya conocidas. Las reglas también se aplican a la lógica informal y a las discusiones, pero la formulación es mucho más difícil y polémica”1 . 5.1.2.1 Modus Ponendo Ponens (PP) p → q “Si llueve el río se desborda,” (premisa) p “los campos están inundados” (premisa) __________________________________________________ q “Luego, el río se desbordó” (conclusión) El condicional o implicación es aquella operación que establece entre dos enunciados una relación de causa-efecto. La regla ‘ponendo ponens’ significa, “afirmando afirmo” y en un condicional establece, que si el antecedente (primer término, en este caso p) se afirma, necesariamente se afirma el consecuente (segundo término, en este caso q)2. 5.1.2.2 Modus Tollendo Tollens (TT) ‘Tollendo tollens’ significa “negando, niego”, y se refiere a una propiedad inversa de los condicionales, a los que nos referíamos en primer lugar3. p → q “Si llueve, el río se desborda” ¬q “Los campos no están inundados” __________________________________________________ ¬p “Luego, el río no se desbordó” 1 RAMIREZ MOGUEL, Axel. Filosofía II:Reglas deInferencia.2012. 2 LICEO DHALMAR. Plan de Filosofía,Reglas deInferencia,EducarChile.2016. 3 Ibíd, 2016
  • 2. Si de un condicional, aparece como premisa el consecuente negado (el efecto), eso nos conduce a negar el antecedente (la causa), puesto que si un efecto no se da, su causa no ha podido darse. Entonces, formular una regla combinada de las ambas anteriores, consecuencia ambas de una misma propiedad de la implicación; la regla ponendo ponens sólo nos permite afirmar si está afirmado el antecedente (el primer término de la implicación), y la regla tollendo tollens sólo nos permite negar a partir del consecuente (segundo término de la implicación); ambas consecuencias se derivan de que la implicación es una flecha que apunta en un único sentido, lo que hace que sólo se pueda afirmar a partir del antecedente y negar sólo a partir del consecuente4. Doble negación (dn) ¬¬p ↔ p El esquema representa, “p doblemente negada equivale a p”. Siguiendo el esquema de una inferencia por pasos, la representaríamos así: ¬¬p “No sucede que María no es una comediante” _____________________________________________________ P “María es una comediante” La regla ‘doble negación’, simplemente establece que si un enunciado está doblemente negado, equivaldría al enunciado afirmado. 5.1.2.3 Adjunción y simplificación Adjunción (A): Si disponemos de dos enunciados afirmados como dos premisas separadas, mediante la adjunción, podemos unirlos en una sola premisa utilizando el operador Λ (conjunción). P “Tobi es perro” Q “Mati es gata” ___________________________________ 4 LICEO DHALMAR. Ob cit., 2016
  • 3. p Λ q “Tobi es perro y Mati es gata” Simplificación (S): obviamente, es la operación inversa. Si disponemos de un enunciado formado por dos miembros unidos por una conjunción, podemos hacer de los dos miembros dos enunciados afirmados por separado5. p Λ q “Tengo un caballo y tengo una vaca” ____________________________________________ p “Tengo un caballo” q “Tengo una vaca” 5.1.2.4 Modus Tollendo Ponens (TP) La disyunción, que se simboliza con el operador V, representa una elección entre dos enunciados. Ahora bien, en esa elección, forma parte de las posibilidades escoger ambos enunciados, es decir, la verdad de ambos enunciados no es incompatible, si bien, ambos no pueden ser falsos. A partir de lo anterior, se deduce la siguiente regla, denominada tollendo ponens (negando afirmo): si uno de los miembros de una disyunción es negado, el otro miembro queda automáticamente afirmado, ya que uno de los términos de la elección ha sido descartado6. p V q “He viajado a Cuba o he ido del Carnaval de Barranquilla” ¬q “No he viajado a Cuba” __________________________________________________________ p “Por tanto, he al Carnaval de Barranquilla” 5.1.2.5 Ley de la Adición (LA) 5 Ibíd, 2016 6 LICEO DHALMAR. Ob cit., 2016
  • 4. Dado un enunciado cualquiera, es posible expresarlo como una elección (disyunción) acompañado por cualquier otro enunciado7. A “He sembrado rosas” ______________________________________________________________ a V b “He sembrado rosas o he sembrado margaritas” 5.1.2.6 Silogismo Hipotético (SH) Dados dos implicaciones, de las cuales, el antecedente de la una sea el consecuente de la otra (el mismo enunciado), podemos construir una nueva implicación cuyo antecedente sea el de aquella implicación cuya consecuencia sea el antecedente de la otra implicación, y cuyo consecuente sea el de ésta última, cuyo antecedente era consecuencia del primero. Expresado de otro modo, si una causa se sigue una consecuencia, y ésta consecuencia es a su vez causa de una segunda consecuencia, se puede decir que esa primera causa es causa de esa segunda consecuencia, del mismo modo que, si una bola de billar roja golpea a otra bola blanca que a su vez golpea a una bola negra, la bola roja es causa del movimiento de la bola negra8. Citado en forma de inferencia lógica: p → q “Si la bola roja golpea a la bola blanca, la bola blanca se mueve” q → r “Si la bola blanca golpea a la bola negra, la bola negra se mueve” __________________________________________________________________ _ p → r “Si la bola roja golpea a la bola blanca, la bola negra se mueve” 5.1.2.7 Silogismo Disyuntivo (DS) 7 Ibíd., 2016 8 LICEO DHALMAR. Ob cit., 2016
  • 5. Dadas tres premisas, dos de ellas implicaciones, y la tercera una disyunción cuyos miembros sean los antecedentes de los condicionales, podemos concluir en una nueva premisa en forma de disyunción, cuyos miembros serían los consecuentes de las dos implicaciones. Lógicamente, si planteamos una elección entre dos causas, podemos plantear una elección igualmente entre sus dos posibles efectos, que es el sentido de esta regla9. p → q “Si hay sequía, entonces la tierra se reseca” r → s “Si hay vendavales, los árboles se caen” p V r “Sequía o vendavales” ____________________________________________________ q V s “La tierra se reseca o los árboles se caen” 5.1.2.8 Simplificación Disyuntiva (SD) Si disponemos de dos premisas que corresponden a dos implicaciones con el mismo consecuente, y sus antecedentes se corresponden con los dos miembros de una disyunción, podemos concluir con el consecuente de ambas implicaciones. p V q “Libro de Investigación o Libro de Procesal” p → r “Si lees el libro de Investigación, entonces aprendes” q → r “Si lees el libro de Procesal, entonces aprendes” ____________________________________________________ r Luego, aprendes 5.1.2.9 Ley Conmutativa Esta ley, no es válida para la implicación, pero sí para conjunción y para la disyunción. Una conjunción es afirmar que se dan dos cosas a la vez, de modo 9 Ibíd., 2016
  • 6. que el orden de sus elementos no cambia este hecho. Igualmente, una disyunción es presentar una elección entre dos cosas, sin importar en qué orden se presente esta elección10. p Λ q ↔ q Λ p “«p y q» equivale a «q y p»” p V q ↔ q V p “«p ó q» equivale a «q ó p» 5.1.2.10 Leyes de Morgan (DM) Esta ley permite transformar una disyunción en una conjunción, y viceversa, es decir, una conjunción en una disyunción. Cuando se pasa de una a otra, se cambian los valores de afirmación y negación de los términos de la disyunción/conjunción así como de la propia operación en conjunto11, como podemos observar aquí: p Λ q p V q __________ ___________ ¬(¬p V ¬q) ¬(¬p Λ ¬q) 10 LICEO DHALMAR. Ob cit., 2016 11 Ibíd., 2016