Lógica Proposicional

Es una rama de la lógica clásica que estudia las variables proposicionales o

sentencias lógicas, sus posibles implicaciones, evaluaciones de verdad y en
algunos casos su nivel absoluto de verdad. Algunos autores también la
identifican con la lógica matemática o la lógica simbolice, ya que utiliza una
serie de símbolos especiales que lo acercan al lenguaje matemático.

Proposiciones
Tautología: se define tautología o validez a aquella formula que siempre es
verdadera.

Contradicción: es una proposición que siempre es falsa para todos los

valores de verdad. Para cualquier valor de verdad de las proposiciones, sea
cual sea el resultado de la formula lógica estudiada siempre va a ser falso.

Conjunción: es aquella formula que es falsa o verdadera. Las expresiones

de las que depende la validez de los argumentos se definen constante
lógicas.

Conectores
Negación: no -> >, ~

En lógica y matemática, la negación, también llamada complemento lógico,

es una operación sobre proposiciones, valores de verdad, o en general,
valores semánticos. Intuitivamente, la negación de una proposición es
verdadera cuando dicha proposición es falsa, y viceversa. En lógica clásica
la negación está normalmente identificada con la función de verdad que
cambia su valor de verdadero a falso y viceversa.

Conjunción: Y ∧, Solamente si las componentes de la conjunción son

ciertas, la conjunción es cierta.

Disyunción: O ∨,

La disyunción solamente es falsa si lo son sus dos componentes.

Condicional: ⇒ entonces

Típicamente los valores de verdad de dos proposiciones, devolviendo el

valor de verdad falso sólo cuando la primera proposición es verdadera y la
segunda falsa.
Bicondicional: ⇔ si solo sí.

El Bicondicional o doble implicación es un operador que funciona sobre dos

valores de verdad, típicamente los valores de verdad de dos proposiciones,
devolviendo el valor de verdad verdadero cuando ambas proposiciones
tienen el mismo valor de verdad, y falso cuando sus valores de verdad
difieren.