Tablas de verdad

Lógica Proposicional

Lógica proposicional

Tablas de verdad

Conectores lógicos

En lógica, hay nexos que se llaman conectores lógicos. Son la negación, el condicional, la conjunción, la disyunción y el bicondicional. Cada uno de ellos se representa por símbolos.

+INFO

Estructura

Formalización

Uso de paréntesis

Nuestra tabla de verdad se estructura de tal manera que podamos encontrar nuestro conector principal e identidicar qué tipo de tabla de verdad estamos realizando.

Orden de las proposiciones

Cálculo de los valores

+INFO

¿Cómo hacer la tabla de verdad?

+INFO

+INFO

Cuando terminamos de hacer el cálculo, tenemos que ordenar los valores de verdad para que podamos hacer la tabla correctamente. Si tenemos una proposición, sólo serán dos valores, donde representaremos a verdadero como V y falso como F.

+INFO

+INFO

Info

tIPOS DE tABLAS

PLAY

PLAY

PLAY

Contradicción / Falsedad o Falsa

Tautología / Verdadera

Contingencia

tablas de verdad

¡GRACIAS!

Tabla de la Disyunción

La disyunción inclusiva es en la que existe la posibilidad de tener ambas proposiciones: "o lo uno o lo otro, o ambos". En esta disyunción, el único caso en el cual la conclusión será falsa es en el que los dos disyuntos o proposiciones son falsas. En los demás, casos, resultará verdadero.

Tabla de la Conjunción

Para que una conclusión sea verdadera, los dos conjuntos o proposiciones, tienen que ser ambos verdaderos, es decir, sólo es verdadero si los dos conjuntos lo son, y si alguno de los dos o ambos son falsos, la conclusión será falsa.

Tabla del Bicondicional

Sólo es verdadera la conclusión en los casos en los cuales las dos proposiciones sean o verdaderas o falsas. Si alguna de las dos es distinta, resultará falso.

Tabla del Condicional

El único caso en el cual la conclusión será falsa es cuando se va de lo verdadero a lo falso. Sin embargo, cuando tengamos de verdadero a verdadero, de falso a verdadero y de falso a falso, resultará en verdadero.

Formalización

• La negación corresponde a este símbolo: ¬A. Esto significa “no-A”. También - ~
• La conjunción corresponde a este símbolo: ʌ. Esto significa “y”, “pero”, “sin embargo”.
• La disyunción corresponde a este símbolo: v. Esto significa “o”.
• El condicional corresponde a este símbolo: →. Esto significa “Si,…entonces”.
• El bicondicional corresponde a este símbolo: ↔. Esto significa “Si y sólo si”.