Lógica Simbólica

TABLAS DE VERDAD

Lógica simbólica

Tablas de verdad

Negación (~)

Conjunción (^)

Disyunción (V)

Es la disciplina encargada del estudio sistemático del razonamiento correcto a travésde la manipulación de símbolos.

Nos ayuda a encontrar la corrección de la estructura de los pensamientos y así establecer reglas en torno a esa estructura del pensamiento, no al pensamiento mismo.Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de verdad que se pueda asignar.

Sirven paraasociar proposiciones simples y construir proposiciones compuestas.

El símbolo de la negación (o del conectivo “no”) es “~” ; en nuestro idioma el “no” generalmente antecede al verbo principal.REGLA: La negación le cambia el valor a toda proposición.

P ~P
V F
F V

Este conectivo nos sirve para unir dos o más proposiciones, en elidioma español equivale a la conjunción “y”. Al unir dos proposiciones colocando este conectivo entre ellas, estamos afirmando las dos declaraciones que hacen cada una de las proposiciones.

REGLA: Laconjunción sólo es verdadera cuando ambas premisas son verdaderas.

El equivalente a la disyunción sería la letra “o”. En el español, el conectivo “o” tiene dos significados: 1) la disyunciónexclusiva, misma que se utiliza para unir dos proposiciones diciendo “es una o es otra, pero no las dos”, y 2) la disyunción inclusiva, la cual se utiliza para definir la unión de dos proposiciones.REGLA: La disyunción exclusiva sólo es verdadera cuando una y sólo una de las premisas es verdadera.



Condicional ()


Bicondicional ()

Este conectivo nos sirve para unir dos preposicionessimples a través de la forma: si (la primer proposición). Entonces (la segunda proposición).

REGLA: La condicional sólo es falsa cuando la premisa consecuente es la única falsa.

REGLA: La...