SEMANA 5 DEL 14 AL 20 JUNIO TEMA: PROPOCISIONES Y VALORES DE VERDAD. NEGACION

La negación es un operador que se ejecuta, sobre un único valor de verdad, devolviendo el valor contradictorio de la proposición considerada.

${\displaystyle {\begin{array}{|c|c|}\hline A&\neg A\\\hline V&F\\F&V\\\hline \end{array}}}$

Toda proposición puede ser verdadera (V) o falsa (F).

Las tablas de verdad son un método para saber si una fórmula molecular (es decir,

formada por varias proposiciones) es siempre V, a veces V o nunca V (es decir, siempre

F).

Si los valores son siempre V tenemos una Tautología, si siempre son F estamos ante

una contradicción.

Como hemos dicho, cualquier proposición puede tener valor V (verdadero) o F (falso).

Cuando hacemos una tabla de verdad asignamos todas las combinaciones posibles de

valores para esas variables proposicionales. 

La construcción de la tabla de verdad que previamente hemos realizado nos indica todas

las posibilidades que hay para combinar proposiciones dependiendo de si estas son

verdaderas o falsas. Pero para tener la tabla de verdad completa debemos incluir las

relaciones lógicas existentes entre esas proposiciones.