Una verdad lógica es una proposición que adquiere el valor de verdad en todos los casos, más concretamente, para todos los valores de verdad de las premisas que la forman. Un ejemplo claro sería "p o no p", ya que al ser "p" y "no p" excluyentes u opuestas en relación a su valor de verdad, una de las dos debe ser verdad, por lo que "p o no p" es verdad por necesidad, una verdad lógica. Así, una verdad lógica es aquella proposición que válida o correcta en el sentido de que se deriva lógicamente de las leyes del cálculo proposicional. También se consideran verdades lógicas las tautologías, aquellas proposiciones que simplemente consisten en una definición.
Puede interesarte también