En lógica, un valor de verdad es un valor que indica en qué medida una declaración es verdad.