Valores de la verdad de los Operadores Lógicos. (La negación)

La conectiva "no" o negación.

Es la única conectiva singular que estudiaremos; Se trata de una operación unitaria, pues a partir de una proposición se obtiene otra que es su negación.

Presentamos a continuación algunos signos utilizados para negar una proposición.

De una proposición p, se denomina la negación de p a otra proposición denotada por -p(se lee no p) que se le asigna un valor contrario.

p: Luis habla Ingles.

-p: Luis no habla Ingles

Por lo que nos resulta sencillo construir su tabla de verdad.

A partir de una proposición se obtiene la otra

Ejemplo: la negación de p : "Todos los peces viven en el océano"

-p : "No es cierto que todos los peces viven en el océano"

o bien

-p : "No todos los peces viven en el océano"

o bien

-p : "Los peces no todos viven en el océano"

La conjunción

Disyunción

El condicional.
El bicondicional