Cálculo Proposicional o Lógica Simbólica

Proposición es una oración que se puede clasificar como verdadera o falsa.

“Dame la tijera” no es una proposición.

“12 es múltiplo de 3” es una proposición.

Las proposiciones lógicas se clasifican en simples y compuestas.

Las proposiciones simples se denotan con las letras minúsculas p, q, r, s, etc.

Las proposiciones compuestas se obtienen de conectar proposiciones simples,

mediante conectores que se denominan operadores lógicos.

Los operadores lógicos son:

Nombre símbolo Significado

del operador del operador del operador
Conjuntor  Y
Disyuntor  O
Condicional  Implica
Bicondicional  implica doblemente
Disyuntor exclusivo  o excluyente
Negador  No

Sean las siguientes proposiciones simples:

p: Llueve
q: Hace frío

Usando los conectores se pueden escribir oraciones compuestas:

“Llueve y hace frío” se simboliza: p  q

Quiere decir que suceden ambas cosas.

“Llueve o hace frío” se simboliza: p  q

Quiere decir que llueve o hace frío o ambas cosas juntas.

“Si llueve entonces hace frío” se simboliza: p  q

“Si llueve hace frío y si hace frío llueve” se simboliza: p  q

“O llueve o hace frío” se simboliza: p  q

“No es cierto que llueve” se simboliza:  p

1
Valores de verdad

Simbolizamos el valor verdadero con un 1 y el falso con un 0.

Tablas de verdad de los conectores

p  q
Conjunción 1 1 1
1 0 0
Se lee p y q 0 0 1
0 0 0
Solo es verdadera si ambas variables lo son.

p  q
Disyunción inclusiva 1 1 1
1 1 0
Se lee p o q. 0 1 1
0 0 0
Solo es falsa si ambas variables lo son.

Disyunción exclusiva p  q
1 0 1
Se lee p excluye a q 1 1 0
0 1 1
Solo es verdadera cuando una variable es 0 0 0
verdadera y la otra falsa.

p  q
Condicional 1 1 1
1 0 0
Se lee p implica q 0 1 1
0 1 0
Solo es falso cuando p es verdadero y q es falso.

Bicondicional 
p q
1 1 1
Se lee p implica q y q implica p
1 0 0
0 0 1
Solo es verdadero cuando ambas variables
0 1 0
tienen el mismo valor.

Negación
p 
p
Se lee no p
1 0
0 1
La negación cambia el valor de la variable.

2
Tablas de verdad

Para confeccionar la tabla de verdad de una proposición se halla primero el valor

de verdad de los conectores menores, y por último el del conector principal.

Tabla de verdad de (p  q)  [(p  q)  (q  p)]

1º 5º 2º 4º 3º
(p  q)  [(p  q)  (q  p)]
1 1 1 1 1 1 1 1 1 1 1
1 0 0 1 1 0 0 0 0 1 1
0 0 1 1 0 1 1 0 1 0 0
0 1 0 1 0 1 0 1 0 1 0

Tabla de verdad de (p  q)   [(p  q)  (q  p)]

1º 6º 5º 2º 4º 3º
[(p  q)  [(p  q)  (q  p)]
1 1 1 0 0 1 1 1 1 1 1 1
1 0 0 0 1 1 0 0 0 0 1 1
0 0 1 0 1 0 1 1 0 1 0 0
0 1 0 0 0 0 1 0 1 0 1 0

Tabla de verdad de (p  q)  [(p  q)  (q  p)]

1º 5º 2º 4º 3º
[(p  q)  [(p  q)  (q  p)]
1 1 1 1 1 1 1 1 1 1 1
1 0 0 0 1 0 0 1 0 1 1
0 0 1 0 0 1 1 1 1 0 0
0 1 0 1 0 1 0 1 0 1 0

En la columna del conector principal de una tabla pueden aparecer:

 Todos 1 => la proposición es una tautología

 Todos 0 => la proposición es una contradicción
 Ceros y unos => la proposición es una contingencia

Las Tautologías (T) siempre son verdaderas, independientemente del valor de

verdad de las proposiciones simples que las componen.

Las Contradicciones (C) siempre son falsas, independientemente del valor de

verdad de las proposiciones simples que las componen.

Las Contingencias a veces son verdaderas y a veces son falsas, dependiendo del
valor de verdad de las proposiciones simples que las componen.

3
Proposiciones equivalentes

Dos proposiciones son equivalentes si tienen la misma tabla de verdad.

Si son equivalentes se implican mutuamente.

“El condicional doble de proposiciones equivalentes es una tautología.”

Las proposiciones (p  q) y (p  q) son equivalentes.

Entonces el condicional doble (p  q)  (p  q) es una tautología.

(p  q)  (  q)

p
1 1 1 1 0 1 1
1 0 0 1 0 0 0
0 1 1 1 1 1 1
0 1 0 1 1 1 0

Las proposiciones (p  q) y (q  p) son equivalentes.

Entonces el condicional doble (p  q)  (q  p) es una tautología.

(p  q)  (  
 p)
q
1 1 1 1 1 1 1
1 0 0 1 0 0 1
0 1 1 1 1 1 0
0 1 0 1 0 1 0

Las proposiciones [(p  q)  (q  p)] y (p  q) son equivalentes.

Entonces el condicional doble [(p  q)  (q  p)]  (p  q) es una tautología.

[(p  q)  (q  p)]  (p  q)
1 1 1 1 1 1 1 1 1 1 1
1 0 0 0 0 1 1 1 1 0 0
0 1 1 0 1 0 0 1 0 0 1
0 1 0 1 0 1 0 1 0 1 0

Una proposición se puede sustituir por cualquier otra equivalente.

Para desarrollar la lógica no es necesario utilizar todos los conectores.
Alcanza con la conjunción, la disyunción y el negador.
Los otros conectores se pueden reducir a ellos.
Esto se puede demostrar partiendo de las siguientes definiciones:

1) (p  q)  (p  q)

4
2) (p  q)  [(p  q)  (q  p)]
3) (p  q)  (p  q)
Leyes de la lógica

Construir las tablas de verdad y verificar que son tautologías.

T = tautología C = Contradicción

1) Leyes de Idempotencia (p  p)  p
(p  p)  p

2) Leyes Conmutativas (p  q)  (q  p)
(p  q)  (q  p)

3) Leyes Asociativas (p  q)  r  p  (q  r)
(p  q)  r  p  (q  r)

4) Leyes Distributivas p  (q  r)  (p  q)  (p  r)
p  (q  r)  (p  q)  (p  r)

5) Leyes de De Morgan (p  q)  p  q

(p  q)  p  q

6) Leyes de Simplificación p  (p  q)  p
p  (p  q)  p

7) Leyes de Involución (p)  p

C  T
T  C

8) Leyes de Identidad (p  T)  T
(p  T)  p
(p  C)  p
(p  C)  C

9) Leyes de Sustitución (p  q)  (p  q)

(p  q)  [(p  q)  (q  p)]

5
 (p  q)  (p  q)

Ejemplos de las leyes

T=tautología C=Contradicción

(p  p)  p Llueve y llueve = llueve

(p  p)  p Llueve o llueve = llueve

(p  q)  (q  p)
(p  q)  (q  p)
Prefiero el invierno o el otoño = Prefiero el otoño o el invierno
Me gusta el invierno y el otoño = Me gusta el otoño y el invierno

(p  q)  r  p  (q  r)
(p  q)  r  p  (q  r)
Llueve y hace frío, y es de noche = Llueve y, hace frío y es de noche
Fue en enero o febrero, o en marzo = Fue en enero o, en febrero o marzo

p  (q  r)  (p  q)  (p  r)
p  (q  r)  (p  q)  (p  r)

(p  q)  p  q
(p  q)  p  q
No es cierto que llueva y haga frío = No llueve o no hace frío
No es cierto que fue en enero o febrero = No fue en enero y no fue en febrero

p  (p  q)  p
p  (p  q)  p

(p)  p Niego que no llueve = Llueve

C  T
T  C

(p  T)  T
(p  T)  p
(p  C)  p
(p  C)  C

(p  q)  (p  q)
(p  q)  [(p  q)  (q  p)]

6
(p  q)  (p  q)

Equivalencias de los operadores

Es posible expresar cualquier operador usando sólo la conjunción, la disyunción y

la negación. Esto es esencial en los circuitos digitales, base de toda la tecnología.

1) El condicional: (p  q)  (p  q)

Esta equivalencia no se demuestra porque es la definición del condicional.

Se define así puesto que la tabla de (p  q) y (p  q) coinciden.

2) El bicondicional: (p  q)  [(p  q)  (p  q)]

Esta equivalencia se obtiene de la definición del bicondicional, que es la

conjunción de dos implicaciones recíprocas.

(p  q)  [(p  q)  (q  p)]

(p  q)  [(p  q)  (q  p)]

(p  q)  {[(p  q)  q]  [(p  q)  p)]}

(p  q)  {[q  (p  q)]  [p  (p  q)]}

(p  q)  {[(q  p)  (q  q)]  [(p  p)  (p  q)]}

(p  q)  [(q  p)  (p  q)]

(p  q)  [(p  q)  (p  q)]

3) La disyunción excluyente: p  q  (p  q)  (p  q)

Esta equivalencia se obtiene de la definición de la disyunción excluyente, que es

la negación del bicondicional dado que la tabla de (p  q) y (p  q) coinciden.

p  q  (p  q)

(p  q)  [(p  q)  (q  p)]

(p  q)  [(p  q)  (q  p)]

(p  q)  [(p  q)  (q  p)]

(p  q)  [(p  q)  (q  p)]

(p  q)  [(p  q)  (p  q)]

7
Circuitos y conectores
 
A cada proposición se le puede asignar un interruptor en un circuito eléctrico.
Si la corriente pasa el resultado es verdadero y si no es falso.

Explicación de la disyunción excluyente: p  q  (p  q)  (q  p)

La operación principal es la disyunción, por lo tanto el circuito será en paralelo.

Y las operaciones menores son conjunciones, por lo tanto en cada una de las
líneas paralelas tendrá un circuito en serie.