Sesión 18 - Proposiciones y valores de verdad. Negación.

 13/junio/2023

Proposiciones y valores de verdad. Negación.

En lógica y matemáticas, una proposición es una afirmación o enunciado que puede ser verdadero o falso. Las proposiciones se utilizan para construir argumentos y razonamientos lógicos. Cada proposición tiene un valor de verdad, que es o bien verdadero (V) o falso (F).

La negación de una proposición se representa con el símbolo "~" (tilde) o mediante el uso de la palabra "no". La negación cambia el valor de verdad de una proposición original. Si la proposición original es verdadera, su negación será falsa, y viceversa.

Además de la negación, existen otros operadores lógicos que se pueden aplicar a las proposiciones, como la conjunción (y), la disyunción (o), la implicación y la equivalencia. Estos operadores permiten construir proposiciones más complejas a partir de proposiciones simples y analizar su valor de verdad en función de los valores de verdad de las proposiciones originales.

Es importante destacar que en lógica formal, los valores de verdad se asumen como absolutos, es decir, una proposición es considerada completamente verdadera o completamente falsa en un contexto determinado.

Personalmente me parece un tema un poco complicado pero considero que con práctica se vuelve más fácil, los ejercicios en clase y la tarea los pude realizar guiándome de mis apuntes de clase.