INFERENCIAS LÓGICAS
Argumento
𝑝1
𝑝2
Un argumento es una secuencia de … ⋮
proposiciones escritas de uno de dos modos: 𝑝𝑛
¿¿
𝑞
Las proposiciones … se conocen como hipótesis (o premisas), y la
proposición recibe el nombre de conclusión. El argumento es válido siempre y
cuando, si y y … y son todas verdaderas, entonces también es verdadera;
de otra manera, el argumento es inválido (o una falacia).
Reglas o leyes de Inferencias Lógicas
Una regla de inferencia es una forma de argumento (razonamiento), que es válida.
Las reglas de inferencias son los medios usados para deducir conclusiones a partir de
otras afirmaciones, enlazan los pasos de una demostración.
htt
Modus Ponens ps
: //
ww Modus Tollens
Regla de la afirmación del w.
yo Método de la negación.
ut
ub
antecedente. e.c
om
/w
atc
h ?v
=M
NOTA. Le
9fl
¬A≡A≡ R4
Ps
A
Silogismo Hipotético
Conocida como razonamiento en
cadena
Ejemplo: Si el sol brilla, María está en la playa. Si María está en
la playa, está nadando. Por lo tanto, si el sol brilla, María estará
nadando.
Silogismo Disyuntivo
Ejemplo: X es un número par o múltiplo
de 5. X no múltiplo de 5, en
consecuencia es par
Dilema Constructivo
Ejemplo:
Si Juan se va a Alaska, se congelará en
invierno. Si se va a Miami, se asará en
verano. Juan se va a Alaska o a Miami.
Por lo tanto, se congelará en invierno
o se asará en verano.
LEYES DE
INFERENCIAS
LÓGICAS
Mas Ejemplos:
Modus Ponendo Ponens (M.P.P.):
1. “Si arriesgas, triunfarás. Se sabe que has arriesgado”. Por lo tanto:
Formalización vertical:
Formalización Lineal:
Haga clic para modificar el estilo de título del patrón
Modus Ponendo Tollens (M.P.T.):
2. “O bien Simón Bolívar nació en Venezuela o bien en Argentina. Nació
en Venezuela. Por lo tanto:
Formalización vertical:
Formalización Lineal:
Haga clic para modificar el estilo de título del patrón
Modus Tollendo Ponens (M.T.P.):
3. “O Ana María va al mercado o al minimarket . Ana María no va al
mercado. Por lo tanto:
Formalización vertical:
Formalización Lineal:
Haga clic para modificar el estilo de título del patrón
Modus Tollendo Tollens (M.T.T.):
4. “Si desaparece la capa de ozono, la vida se extinguirá. Pero no es el
caso que la vida se extingue. Por lo tanto:
Formalización vertical:
Formalización Lineal:
Haga clic para modificar el estilo de título del patrón
Silogismo Hipotético:
5. “Si la tierra pertenece al sistema solar entonces gira alrededor del sol,
del mismo modo si la tierra gira alrededor del sol entonces ella se
favorece con la luz solar. Por lo tanto:
Formalización vertical:
Formalización Lineal:
Haga clic para modificar el estilo de título del patrón
Dilema Constructivo (D.C.):
6. “Si hoy es sábado, voy al cine; pero si hoy voy a la playa, comeré
ceviche. Hoy es sábado o voy a la playa. Por lo tanto:
Formalización vertical:
Formalización Lineal:
Haga clic para modificar el estilo de título del patrón
Dilema Destructivo (D.D.):
7. “Si hoy es sábado, voy al cine; pero si hoy voy a la playa, comeré
ceviche. No voy al cine o no comeré ceviche. Por lo tanto:
Formalización vertical:
Formalización Lineal:
Haga clic para modificar el estilo de título del patrón
Valida la siguiente inferencia lógica
P1: Si gano las elecciones, bajaré el precio de las viviendas
P2: Si el Pueblo vota por mi, bajaré el precio de las viviendas
P3: El Pueblo no votó por mí
-------------------------------------------------------------------------------------
Conclusión: Por lo tanto, no bajaré el precio de las viviendas
Haga clic para modificar el estilo de título del patrón
Valida la siguiente inferencia lógica
P1: Si canto bien, no gano el concurso
P2: No ganaré el concurso porque tengo pocos votos virtuales
P3: No canté bien
-------------------------------------------------------------------------------------
Conclusión: Gané el concurso
LICENCIADA POR
