# Verdad lógica

- Sitio: Ikusmira — enciclopedia en castellano de ciencias sociales y humanidades
- URL canónica: https://ikusmira.org/p/verdad-logica/
- Categoría: Filosofía
- Publicado: 2023-06-13
- Autoría: Josemari Sarasola Ledesma — Editor coordinador; Profesor titular de escuela universitaria, Universidad del País Vasco/Euskal Herriko Unibertsitatea
- Perfiles del autor: https://ekoizpen-zientifikoa.ehu.eus/investigadores/127490/detalle, https://dialnet.unirioja.es/servlet/autor?codigo=333202
- Política editorial (autoría, revisión, correcciones, financiación): https://ikusmira.org/politica-editorial/

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.

-   **[Verdad epistemológica y verdad ontológica](https://ikusmira.org/p/verdad-epistemologica-y-verdad-ontologica)**

---

Cómo citar: Sarasola, Josemari (2023). «Verdad lógica». Ikusmira. https://ikusmira.org/p/verdad-logica/
Índice del sitio para modelos: https://ikusmira.org/llms.txt