Leyes y reglas de inferencia en lógica de enunciados | | UPV

Título: Leyes y reglas de inferencia en lógica de enunciados

Descripción: Jordan Lluch, Cristina;

En este vídeo se introducen las leyes y reglas que permiten realizar correctamente un razonamiento en lógica de enunciados.

http://hdl.handle.net/10251/193952


Descripción automática: En este video, se aborda la lógica y cómo determinar la corrección de un razonamiento. Se explica que la inferencia, demostración o prueba es el proceso donde, a partir de premisas consideradas verdaderas, se obtiene una conclusión válida, la cual debe ser una implicación lógica o tautología.

Las técnicas de inferencia comunes incluyen la inferencia directa, condicional y por reducción al absurdo. Además, se pueden validar implicaciones lógicas mediante tablas de verdad.

Se presentan leyes generales de inferencia, como la ley de premisas, que permite incluir una premisa en cualquier punto del razonamiento, y la ley de inserción de tautologías, que justifica agregar una tautología en cualquier parte del proceso por ser siempre verdaderas.

A continuación, se describen reglas de inferencia:

1. Modus Ponens, que establece que si un condicional y su antecedente son verdaderos, entonces el consecuente también lo es.
2. Modus Tollens, donde negar el consecuente en un condicional implica negar el antecedente.
3. Transitividad o Silogismo Hipotético, que permite concluir una relación directa entre antecedente y consecuente a través de una cadena de condicionales.
4. Modus Tolendo Ponens, que indica que si una de las dos proposiciones de una disyunción no es verdadera, la otra debe serlo.
5. Regla de la Conjunción, que afirma que si se tienen dos premisas verdaderas, se puede afirmar su conjunción.
6. Regla de la Simplificación, que permite afirmar cada una de las proposiciones de una conjunción por separado.
7. Regla de la Adición, que establece que a partir de una premisa verdadera se puede inferir una disyunción donde la otra proposición puede ser cualquier afirmación.

El video concluye animando a asimilar estas reglas mediante la práctica constante.

Autor/a: Jordan Lluch Cristina



Universitat Politècnica de València UPV: https://www.upv.es
Más vídeos en:    / valenciaupv  
Accede a nuestros MOOC: https://upvx.es

#Leyes de inferencia #Lógica de enunciados #Reglas de inferencia #Inferencia #Proposiciones #Modus ponens #Modus tollens #Enunciados #1102 - Lógica deductiva