jueves, 23 de agosto de 2012

TAUTOLOGÍA



Una tautología (del griego ταυτολογία, "decir lo mismo") es una fórmula bien formada de un sistema de lógica proposicional que resulta verdadera para cualquier interpretación; es decir, para cualquier asignación de valores de verdad que se haga a sus fórmulas atómicas.
 
La construcción de una tabla de verdad es un método efectivo para determinar si una fórmula cualquiera es una tautología o no.
 
 
 

No hay comentarios:

Publicar un comentario