TABLAS DE VERDAD

Las tablas de verdad se utilizan en lgica simblica para establecer la validez de las
proposiciones. La construccin de tablas de verdad simplifica la tarea de determinar la
verdad o falsedad de una proposicin.
Tabla de verdad de la conjuncin
La conjuncin de dos proposiciones simples p^q (se lee p y q),slo es verdadera si ambas
proposiciones son verdaderas. La conjuncin (^), es una conectiva lgica que se denomina
el operador lgica AND y representa el producto lgico.

Tabla de verdad de la disyuncin

La disyuncin de la proposiciones simples pvq (se lee: p o q) es falsa si ambas son falsas.
El operados lgico disyuncin tambin se denomina OR y representa la suma lgica.

Tabla de verdad del condicional (implicacin)

En la implicacin el primer trmino se denomina antecedente o hiptesis y el segundo
consecuente o tesis. La implicacin es falsa si el antecedente es verdadero y el consecuente
es falso. La implicacin no tiene denominacin especial como los casos anteriores pero
puede expresarse en funcin de estos.
La implicacin es una conectiva lgica que se denotara con una flecha >.

p > q, se lee: p implica q, si p, entonces q, p es suficiente para q, o tambin, q es

necesario para p.

Tabla de verdad del bicondicional (equivalencia)

La equivalencia es una conectiva lgica.
p q

se lee: p equivalente con q; p si y solo si q; p es necesario y suficiente para q.

La equivalencia es verdadera si ambas proposiciones son verdaderas o si ambas son falsas.