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, un ode las dos debe ser verdad, por lo que "p o no p" es verdad por necesidad, una verdad lógica. También se consideran verdades lógicas las tautologías, aquellas proposiciones que simplemente consisten en una definición.
Puede interesarte también
- Verdad epistemológica y verdad ontológica