Entradas populares de este blog
Tautología, contradicción y contingencia.
Lógica Proposicional Bivalente Definición 1.9 : Tautología Una tautología es una proposición cuyos valores lógicos finales son todos uno. Ejemplo : \( p \rightarrow (p \vee q) \) es una tautología, como ya vimos anteriormente, porque todos sus valores lógicos finales son uno, lo que implica que \( p \rightarrow (p \vee q) \) es siempre cierto. Para indicar que \( p \rightarrow (p \vee q) \) es una tautología, escribimos \( p \implies (p \vee q) \), donde \( \implies \) es la implicación lógica. Definición 1.10 : Contradicción Una contradicción es una proposición cuyo valor lógico final es cero en todos los casos. Ejemplo : La proposición \( p \underline{\vee} q \leftrightarrow (p \leftrightarrow q) \) es una contradicción, ya que su tabla de verdad es la siguiente: \( p \) \( \underline{\vee} \) \( q \) \( \leftrightarro...
Comentarios
Publicar un comentario