Lógica proposicional | Introducción

Introducción a la lógica

Resumen de la sección: En esta sección introductoria, se aborda el concepto de lógica y se explora qué es la lógica proposicional y las proposiciones.

Qué es la lógica

• La lógica es una disposición natural de los seres humanos para pensar de forma coherente.

• Nos permite tomar decisiones basadas en razonamientos lógicos.

• Ejemplos cotidianos de uso de la lógica incluyen evitar lanzarse a un río o cruzar una autopista con mucho tráfico.

Definiciones de lógica

• La lógica es una estructura del pensamiento que verifica si un razonamiento es correcto o incorrecto.

• Permite distinguir entre afirmaciones verdaderas y falsas.

Lógica matemática

• La lógica matemática estudia los métodos y principios para distinguir un razonamiento correcto de uno incorrecto.

• Utiliza procedimientos como las tablas de verdad para evaluar proposiciones.

Proposiciones

• Una proposición es una oración que puede ser verdadera o falsa.

• Se pueden expresar en forma afirmativa o negativa.

• Ejemplos: "5 es mayor que 3" o "México se encuentra en América".

Lógica proposicional

Resumen de la sección: En esta sección, se introduce el concepto de proposiciones y se explora cómo determinar si una proposición es verdadera o falsa. También se discute la diferencia entre las frases que son proposiciones y las que no lo son.

Proposiciones

• Una proposición es una afirmación que puede ser verdadera o falsa.

• Para determinar si una proposición es verdadera o falsa, debemos evaluar su veracidad en función de los hechos o circunstancias.

• Algunas frases pueden ser consideradas como preguntas o mandatos, y no pueden ser evaluadas como verdaderas o falsas.

Ejemplos de proposiciones

• "La semana tiene 7 días" - Verdadero

• "¿Cómo te llamas?" - No es una proposición

• "Espera un momento" - No es una proposición

Designación de proposiciones

• En matemáticas, a menudo asignamos letras a las proposiciones para simplificar expresiones largas.

• Las letras más comunes utilizadas para designar las proposiciones son p, q, r, s.

• Por ejemplo, podemos asignar p a la afirmación "5 es mayor que 3".

Negación de una proposición

• La negación de una afirmación se representa con el símbolo "no".

• Podemos utilizar diferentes formas para simbolizar la negación: ¬p, ~p, !p.

• La negación cambia el valor de verdad de la afirmación original.

Conectivos lógicos

Resumen de la sección: En esta sección, se introducen los conectivos lógicos, que son palabras o símbolos que se utilizan para combinar proposiciones y formar nuevas afirmaciones.

Conectivos lógicos

• Los conectivos lógicos son palabras o símbolos que unen proposiciones.

• Algunos ejemplos de conectivos lógicos son: y, o, no.

• Estos conectivos nos permiten construir proposiciones compuestas a partir de proposiciones simples.

Ejemplo de uso de conectivos

• Si p es la afirmación "Te voy a regalar dulces" y q es la afirmación "Te voy a regalar flores", podemos combinar estas dos proposiciones con diferentes conectivos:

• p y q: "Te voy a regalar dulces y flores"

• p o q: "Te voy a regalar dulces o flores"

• ¬p: "No te voy a regalar dulces"

Negación de una proposición

Resumen de la sección: En esta sección, se profundiza en el concepto de negación de una proposición. Se exploran diferentes formas de simbolizar la negación y cómo afecta al valor de verdad original.

Simbolización de la negación

• La negación se puede simbolizar utilizando diferentes formas como ¬p, ~p, !p.

• La negación cambia el valor de verdad original de una afirmación.

• Por ejemplo, si p es la afirmación "Te voy a regalar flores", entonces ¬p sería "No te voy a regalar flores".

Conectivos lógicos

Resumen de la sección: En esta sección, se introducen los conectivos lógicos, que son palabras o símbolos que se utilizan para combinar proposiciones y formar nuevas afirmaciones.

Conectivos lógicos

• Los conectivos lógicos son palabras o símbolos que unen proposiciones.

• Algunos ejemplos de conectivos lógicos son: y, o, no.

• Estos conectivos nos permiten construir proposiciones compuestas a partir de proposiciones simples.

Ejemplo de uso de conectivos

• Si p es la afirmación "Te voy a regalar dulces" y q es la afirmación "Te voy a regalar flores", podemos combinar estas dos proposiciones con diferentes conectivos:

• p y q: "Te voy a regalar dulces y flores"

• p o q: "Te voy a regalar dulces o flores"

• ¬p: "No te voy a regalar dulces"

Negación de una proposición

Resumen de la sección: En esta sección, se profundiza en el concepto de negación de una proposición. Se exploran diferentes formas de simbolizar la negación y cómo afecta al valor de verdad original.

Simbolización de la negación

• La negación se puede simbolizar utilizando diferentes formas como ¬p, ~p, !p.

• La negación cambia el valor de verdad original de una afirmación.

• Por ejemplo, si p es la afirmación "Te voy a regalar flores", entonces ¬p sería "No te voy a regalar flores".

Conectivos lógicos

Resumen de la sección: En esta sección se introducen los conectivos lógicos y sus símbolos correspondientes.

Disyunción

• La disyunción es representada por el símbolo "o".

• Se recomienda aprender el símbolo para expresar proposiciones compuestas.

• El símbolo de la disyunción puede ser escrito como "v" o "+".

Condicional

• El condicional es representado por una flecha que apunta hacia la derecha.

• Puede ser dibujada con una línea simple o doble, según preferencia.

• Se utiliza para unir dos proposiciones, indicando que una implica a la otra.

• En matemáticas, se lee como "si... entonces".

Bicondicional

• El bicondicional es representado por una flecha que apunta en ambos sentidos.

• Puede ser dibujada con una línea simple o doble.

• Indica que dos proposiciones son equivalentes y se cumplen mutuamente.

• Se lee como "si y solo si".

Invitación a profundizar

Resumen de la sección: Se invita al espectador a profundizar en el tema de lógica proposicional y a ver el curso completo para obtener más información sobre tablas de verdad y otros conceptos relacionados.

Curso completo de lógica proposicional

• Se recomienda ver el curso completo para profundizar en el tema.

• También se proporcionan enlaces a otros videos relacionados.

¡Espero que esto te sea útil!