Glosario (Lógica)

LÓGICA

1. Glosario:

Contenido: Es, en un enunciado, su correspondencia con la realidad.

Forma: Tiene que ver con la validez del argumento.

Lógica: Ciencia formal que estudia los principios de inferencia formalmente válidos.

Variable: Letra que utilizamos para representar un enunciado del lenguaje natural (desde la "p" hasta la "z").

Tabla de Verdad: Consiste en representar los posibles valores de verdad que tenemos para uno o más enunciados en una tabla.

Negación: La forma de simbolizar o representar la negación "no" del lenguaje natural es mediante el símbolo "¬".

Conjunción: La forma de simbolizar o representar la conjunción "y" del lenguaje natural es mediante el símbolo "^".

Disyunción: La forma de simbolizar o representar la disyunción "o" del lenguaje natural es mediante el símbolo "v".

Condicional: La forma de simbolizar o representar la estructura "si ... entonces ..." es mediante "-->".

Bicondicional: La forma de simbolizar o representar la estructura "si y sólo si ... entonces ..." es mediante el símbolo "<-->".

Contradicción, Consistencia y Tautología: Cuando una fórmula da en su tabla de verdad todos los valores F lo denominamos Contradicción, cuando da un valor indeterminado de V y F lo llamamos Consistencia y cuando el resultado es V lo denominamos Tautología.