Proposiciones y valores de verdad. Negación

 Proposiciones

¿Qué es una proposición?

Una proposición es una afirmación con sentido completo, y constituye la forma más elemental de la lógica Las proposiciones brindan información sobre un acontecimiento falsable, es decir, que puede ser verdadero o falso.

Existen 2 tipos de proposiciones:

-Simples y compuestas

Proposiciones simples

Las proposiciones simples son aquellas que expresan un estado de situación en su forma más sencilla, es decir, uniendo un sujeto con un verbo y un predicador.

Por ejemplo: El perro ladra.

Proposiciones compuestas

Las proposiciones compuestas son aquellas que están formadas por más de una proposición simple, las cuales se relacionan a través de algún tipo de conectiva lógica, que puede ser de oposición, de adición o de condición. 

Por ejemplo: Si tienes ganas, ven a mi casa.

Conectivas lógicas

Valores de verdad

El valor de verdad de la proposición «llueve y no llueve» es una contradicción y siempre será falsa, con independencia del valor que consideremos V o F de “llueve” (p) y de “no llueve” (¬p). La función de verdad “no” se define mediante una tabla de verdad.

Negación

La negación de una proposición hace cambiar el valor de verdad de la proposición original. Dos enunciados simples pueden combinarse mediante la letra y para formar una proposición compuesta, que es la conjunción de los primeros enunciados.

Ejemplo de negación en una proposición simple:

p= Está lloviendo.

¬p= No está lloviendo.

Ejemplo de negación en una proposición compuesta:

p=Si Lassie corre entonces Filips salta.

¬p=Lassie no corre entonces Filips no salta.