TAUTOLOGIA

es una función lógica que es verdadera para
todas las combinaciones posibles de los valores de verdad de sus premisas  por ejemplo: 
la proposición( p˄q)→p es una tautología, para demostrarlo,debemos construir la tabla de verdad y verificar que efectivamente la función lógica es

verdadera para todos los casos:

p	q	(p ˄q)	→p
V	v	V	v
V	f	F	v
f	v	f	v
f	F	f	v

TAUTOLOGIA TRIVIAL: Esta tautología establece que cualquier proposición es equivalente a sí misma, esto es p ↔ p . Veamos la tabla de verdad correspondiente.

p	P↔p
V	V
F	V

DOBLE NEGACIÓN: Demostraremos que las proposiciones p y la proposición ¬(¬p) son lógicamente

equivalentes. Para lograrlo construiremos la tabla de verdad de la proposición P↔¬(¬p)

p	¬P	¬(¬P)	p«¬(¬p)
V	F	V	V
F	V	F	V