Tabla De Conectivos Logicos

DESARROLLO DE HABILIDADES DEL PENSAMIENTO LÓGICO
II. LÓGICA P ROPOSICIONAL

TABLAS DE VERDAD DE LOS CONECTIVOS LÓGICOS
Definimos una tabla de verdad como un arreglo que nos permite tener los posiblesvalores
de verdad de una proposición compuesta a partir de los valores de verdad de las
proposiciones simples. Recuerda que una proposición simple es una expresión que puede
ser verdadera o falsa.Ejemplo: “Hoy me gano el Kino”, nota que se trata de una oración que
puede ser verdadera o falsa.
Las tablas de verdad para los conectivos lógicos listados arriba son las siguientes:
1. Negación
Lanegación es un operador que se emplea sobre un único valor de verdad, devolviendo el
valor contradictorio de la proposición considerada (Not de Pascal, no usado en clase).

2. Conjunción
La conjunción esun operador que se aplica sobre dos valores de verdad, típicamente los
valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando
ambas proposiciones son verdaderas, yfalso en cualquier otro caso (es el AND en Pascal).
La tabla de verdad de la conjunción es la siguiente:

3. Disyunción

La disyunción es un operador que trabaja sobre dos valores de verdad, típicamentelos
valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando
una de las proposiciones es verdadera, o cuando ambas lo son, y falso cuando ambas son
falsas (equivalenteal OR de Pascal).

La tabla de verdad de la disyunción es la siguiente:

4. Implicación o Condicional
El condicional o Implicación es un operador que se aplica sobre dos valores de
verdad, típicamentelos 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, y
verdadero en cualquier otro caso (como el If dePascal).
La tabla de verdad del condicional es la siguiente:

5. Bicondicional
El bicondicional o doble implicación es un operador que trabaja sobre dos valores de
verdad, típicamente los valores de...