lgebra Fundamental

Lgica
Conectivos Lgicos y Tablas de Verdad
Definiremos los conectivos lgicos que permiten relacionar proposiciones simples para
convertirlas en proposiciones compuestas.
Analizaremos las tablas de verdad asociadas a cada conectivo, para desarrollar ejemplos
usando sus propiedades.
Objetivos

Conocer y entender los conectivos lgicos

Conocer y entender las tablas de verdad

Aplicar las propiedades y resultados de los conectivos lgicos para resolver problemas

Proposiciones simples y compuestas

Recordamos que una proposicin es una oracin declarativa a la cual se le puede asociar un
valor de verdad.
Para representar proposiciones usaremos las letras p, q, r,...
Por ejemplo
p = el sol brilla todo el da
q = hace fro
son proposiciones simples.
As como en lgebra las variables que representan cantidades pueden formar expresiones
ms complejas mediante el uso de las operaciones bsicas de aritmtica y algunas funciones,
en lgica podemos relacionar proposiciones mediante los conectivos lgicos.
Los conectivos lgicos son smbolos usados para combinar proposiciones simples dadas,
produciendo as otras llamadas proposiciones compuestas.
Los conectivos lgicos que usaremos son

~ negacin

disyuncin

conjuncin

condicionante

bicondicionante

Tablas de Verdad

Definimos una tabla de verdad como un arreglo que nos permite tener los posibles valores de
verdad de una proposicin compuesta a partir de los valores de verdad de las proposiciones
simples.
Las tablas de verdad para los conectivos lgicos listados arriba son las siguientes:

Negacin
La negacin de una proposicin es una nueva proposicin que tiene un valor de verdad
opuesto a la proposicin original. Es decir, si el valor de verdad de una proposicin p es
verdadero, entonces el valor de verdad de ~p es falso.
La tabla de verdad para el conectivo ~ est dada por
p

~p

Disyuncin
La disyuncin es la proposicin compuesta que resulta de conectar dos proposiciones, p y q,
mediante el conectivo .
Esta proposicin compuesta de denota por
La tabla de verdad para el conectivo

y se lee p o q.

est dada por

p

Se puede ver que para que una proposicin compuesta

tenga valor de verdad
verdadero, basta con una de las proposiciones simples tenga valor de verdad verdadero.
Conjuncin
La conjuncin es la proposicin compuesta que resulta de conectar dos proposiciones, p y q,
mediante el conectivo .
Esta proposicin compuesta de denota por
La tabla de verdad para el conectivo
p

y se lee p y q.

est dada por

Se puede ver que para que una proposicin compuesta

tenga valor de verdad
verdadero, ambas proposiciones simples deben tener valor de verdad verdadero.
Condicionante
La condicional es la proposicin compuesta que resulta de conectar dos proposiciones, p y q,
mediante el conectivo
.
Esta proposicin compuesta de denota por

y se lee p implica q.

En esta proposicin compuesta, la proposicin simple p se llama antecedente, mientras que

la proposicin simple q se llama consecuente.
La tabla de verdad para el conectivo
p

est dada por

Se puede ver que una proposicin compuesta

tiene valor de verdad falso solamente
cuando el antecedente es verdadero y el consecuente es falso. En cualquier otro caso, el valor
de verdad de la proposicin compuesta es verdadero.

Bicondicionante
La bicondicional es la proposicin compuesta que resulta de conectar dos
proposiciones, p y q, mediante el conectivo
.
Esta proposicin compuesta se denota por
La tabla de verdad para el conectivo
p

y se lee p si y solo si q.
est dada por

Se puede ver que la proposicin compuesta

tiene valor de verdad verdadero siempre
que las proposiciones simples tienen el mismo valor de verdad. Es cualquier otro caso, la
proposicin compuesta tiene valor de verdad falso.
Las proposiciones compuestas pueden combinarse o conectarse para formar proposiciones
an ms complejas. Es claro que el valor de verdad de una proposicin, por compleja que
sea, depende de los valores de verdad de las proposiciones que las componen en sus formas
ms simples.
Para hacer la tabla de verdad de una proposicin le asignamos una columna a cada
proposicin que interviene, sea sta simple o compuesta, normalmente comenzando con las
ms simples y progresando en el orden de complejidad de las proposiciones componentes.
El nmero de filas de la tabla viene dado por la potencia
, donde es el nmero de
proposiciones en la forma ms simple que forman la proposicin compuesta dada.

Para asignar los valores de verdad a dichas proposiciones simples, se procede de la forma
siguiente:

la primera columna se llena asignando valores V a la mitas de las filas y valores F a la

mitad siguiente.

la segunda columna se llena asignando valores V a un cuarto de las filas, valores F al

segundo cuarto, valores V al tercer cuarto y valores F al ltimo cuarto de filas de esa
columna.

la tercera columna se llena asignando valores V a un octavo de las filas, valores F al

segundo octavo, valores V al tercer octavo, etc.

As, se contina hasta que terminen las columnas de las proposiciones simples. Las columnas
de las otras proposiciones se llenan a partir de las columnas de las proposiciones simples,
usando las tablas de verdad definidas antes.