Lógica proposicional | Introducción

Resumen

Puntos clave

• La lógica es una disposición natural para pensar coherentemente y una estructura del pensamiento que permite verificar la corrección de un razonamiento. 1:30
• En el ámbito matemático, la lógica es el estudio de métodos y principios para distinguir un razonamiento correcto de uno incorrecto. 2:42
• La lógica matemática se dedica a estudiar procedimientos, como las tablas de verdad, para determinar si una proposición es verdadera o falsa. 3:12
• Una proposición es una oración que puede ser calificada como verdadera o falsa, y que, al ser preguntada, se puede responder con un simple "sí" o "no". 5:04
• Las preguntas, órdenes o frases incompletas no son consideradas proposiciones, ya que no se les puede asignar un valor de verdad. 8:09
• Para simplificar su representación en ejercicios, las proposiciones se designan con letras minúsculas como p, q, r, s, t. 10:46
• Los conectivos lógicos son palabras que unen dos o más proposiciones, formando expresiones lógicas más complejas. 13:01
• La negación invierte el valor de verdad, mientras que la conjunción y la disyunción combinan proposiciones con significados de "y" u "o" respectivamente, y el condicional y bicondicional establecen relaciones de implicación o equivalencia. 14:17
• Los conectivos lógicos fundamentales son la negación (no), la conjunción (y), la disyunción (o), el condicional (si... entonces) y el bicondicional (si y sólo si). 14:52
• Cada conectivo lógico posee un símbolo específico que lo representa, permitiendo la formalización de las expresiones en lógica proposicional. 14:52