Los conectivos lógicos son símbolos usados para combinar proposiciones simples

dadas, produciendo así otras llamadas proposiciones compuestas.

Los conectivos lógicos que usaremos son

Tablas de Verdad
Definimos una tabla de verdad como un arreglo que nos permite tener los posibles valores
de verdad de una proposición compuesta a partir de los valores de verdad de las
proposiciones simples.

Las tablas de verdad para los conectivos lógicos listados arriba son las siguientes:

Negación

La negación de una proposición es una nueva proposición que tiene un valor de verdad
opuesto a la proposición original. Es decir, si el valor de verdad de una proposición p es
verdadero, entonces el valor de verdad de ~p es falso.

La tabla de verdad para el conectivo ~ está dada por

p ~p

V F

F V
Disyunción
La disyunción es la proposición compuesta que resulta de conectar dos

proposiciones, p y q, mediante el conectivo .

Esta proposición compuesta de denota por pVq y se lee p o q.
La tabla de verdad para el conectivo pVq está dada por

p q pVq

V V V

V F V

F V V

F F F

Conjunción
La conjunción es la proposición compuesta que resulta de conectar dos

proposiciones, p y q, mediante el conectivo .

Esta proposición compuesta de denota por y se lee p y q.

La tabla de verdad para el conectivo está dada por
Condicionante
La condicional es la proposición compuesta que resulta de conectar dos

proposiciones, p y q, mediante el conectivo .

Esta proposición compuesta de denota por y se lee p implica q.

En esta proposición compuesta, la proposición simple p se llama antecedente, mientras
que la proposición simple q se llama consecuente.
La tabla de verdad para el conectivo está dada por

p q

V V V

V F F

F V V

F F V

Bicondicionante
La bicondicional es la proposición compuesta que resulta de conectar dos

proposiciones, p y q, mediante el conectivo .

Esta proposición compuesta se denota por y se lee p si y solo si q.

La tabla de verdad para el conectivo está dada por

p q

V V V

V F F

F V F

F F V