filmov
tv
Descubre las REGLAS de INFERENCIA LÓGICA 🔗

Показать описание
Aprende las principales REGLAS DE INFERENCIA LÓGICA más importantes, y COMO APLICARLAS con ejemplos.
0:00 Que son las reglas de inferencia
0:23 Ejemplo de premisas
0:45 Modus Ponens
3:38 Modus Tollens
5:41 Silogismo disyuntivo
6:34 Simplificación
7:22 Silogismo hipotético
11:59 Reducción al absurdo
Una inferencia lógica es un razonamiento expresado mediante conectores lógicos donde a través de unas premisas se extrae una conclusión.
Las inferencias lógicas más conocidas para las premisas condicionales son el Modus Ponens (Modus Ponendo Ponens) donde afirmando el antecedente y afirmando el antecedente afirmamos el consecuente.
Por otra parte tenemos el Modus Tollens (Modus Tollendo Tollens) que sirve para negar el antecedente si negamos el consecuente en las premisas.
También existen reglas de simplificación para la conjunción donde separamos la premisa que necesitemos enumerar como premisa individual. Y el silogismo disyuntivo, donde eliminamos una de las dos premisas que pueden ser verdad, tras negar una de ellas.
Por otra parte tenemos el silogismo hipotético para relacionar dos premisas antecedente y consecuente que se relacionan a través de un condicional intermedio que sirve de puente para relacionar ambos condicionales.
La inferencia lógica más utilizada en demostraciones (sobretodo en matemáticas) es la reducción al absurdo, donde partimos de la suposición de que un argumento es verdadero, y a través de esta llegamos a una contradicción, que nos verifica que nuestra suposición es falsa.
Espero que con esto aprendáis un poquito más de lógica proposicional. Un saludo!
0:00 Que son las reglas de inferencia
0:23 Ejemplo de premisas
0:45 Modus Ponens
3:38 Modus Tollens
5:41 Silogismo disyuntivo
6:34 Simplificación
7:22 Silogismo hipotético
11:59 Reducción al absurdo
Una inferencia lógica es un razonamiento expresado mediante conectores lógicos donde a través de unas premisas se extrae una conclusión.
Las inferencias lógicas más conocidas para las premisas condicionales son el Modus Ponens (Modus Ponendo Ponens) donde afirmando el antecedente y afirmando el antecedente afirmamos el consecuente.
Por otra parte tenemos el Modus Tollens (Modus Tollendo Tollens) que sirve para negar el antecedente si negamos el consecuente en las premisas.
También existen reglas de simplificación para la conjunción donde separamos la premisa que necesitemos enumerar como premisa individual. Y el silogismo disyuntivo, donde eliminamos una de las dos premisas que pueden ser verdad, tras negar una de ellas.
Por otra parte tenemos el silogismo hipotético para relacionar dos premisas antecedente y consecuente que se relacionan a través de un condicional intermedio que sirve de puente para relacionar ambos condicionales.
La inferencia lógica más utilizada en demostraciones (sobretodo en matemáticas) es la reducción al absurdo, donde partimos de la suposición de que un argumento es verdadero, y a través de esta llegamos a una contradicción, que nos verifica que nuestra suposición es falsa.
Espero que con esto aprendáis un poquito más de lógica proposicional. Un saludo!
Комментарии