TEMA 4

Equivalentes lógicas
Una proposición es lógicamente equivalente a otra cuando cada una de las
asignaciones de valores de verdad a las proposiciones simples que las
componen genera el mismo valor de verdad en ambas proposiciones.
Si dos argumentos son lógicamente equivalentes, entonces también poseen los
mismos valores de verdad. Esto es lo que llamamos equivalencia lógica y
puede confundirse con el bicondicional.

Leyes del algebra de proposiciones

son tautologías que a partir de un conjunto de premisas (proposiciones simples
o compuestas) se pueden hacer deducciones lógicas. Si se tienen las
proposiciones p y p → q una de las leyes lógicas permite deducir q.

1. La lógica proposicional: La lógica proposicional o lógica

de orden cero es un sistema formal cuyos elementos más
simples representan proposiciones, y cuyas constantes
lógicas, llamadas conectivas, representan operaciones sobre
proposiciones, capaces de formar otras proposiciones de
mayor complejidad. La lógica proposicional estudia las
sentencias u oraciones del lenguaje corriente o formal, a las
que se les puede asignar un valor de verdad, esto es
verdadero (V) o falso (F).
Ejemplo: Carlos es un tipo inteligente (v)
2. Cálculo proposicional: Al formar proposiciones compuestas a
partir del uso de los conectores lógicos es necesario tener
reglas para saber el valor de verdad de dichas proposiciones.
Las siguientes reglas son las que permiten determinar el valor
de verdad de las proposiciones compuestas.
2.1 La negación: Si la proposición p es verdadera (V) se tiene
que ¬p es (F), se simboliza en la siguiente tabla.

Tabla 1: Negación
2.2 La conjunción: La conjunción relaciona dos proposiciones,
cada una de ellas tiene dos valores de verdad posibles (F o
V), por lo tanto, la tabla tiene 4 posibilidades de valores de
verdad. La conjunción de dos proposiciones es verdadera
cuando las dos son verdaderas.

Tabla 2: Conjunción
2.3 La disyunción: La disyunción relaciona dos proposiciones,
cada una de ellas tiene dos valores de verdad posibles (F o
V), por lo tanto, la tabla tiene 4 posibilidades de valores de
verdad. la disyunción de dos proposiciones es falsa cuando
las dos son falsas, en los demás casos es verdadera.

Tabla 3: Disyunción.
2.4 El condicional: El condicional relaciona dos proposiciones,
cada una de ellas tiene dos valores de verdad posibles (F o
V), por lo tanto, la tabla tiene 4 posibilidades de valores de
verdad. En el condiciona p → q a p se le llama en
antecedente y a q el consecuente. El condicional
únicamente es falso cuando el antecedente es verdadero y
 el consecuente falso, en todos los demás casos es
verdadero.

Tabla 4: Condicional.
2.5 El sí y solo sí: El sí y solo sí, relaciona dos proposiciones,
cada una de ellas tiene dos valores de verdad posibles (F o
V), por lo tanto, la tabla tiene 4 posibilidades de valores de
verdad. El sí y solo sí, es verdadero cuando las dos
proposiciones tienen el mismo valor de verdad.

Tabla 5: Sí y solo sí.

2.6 La disyunción excluyente: La conjunción relaciona dos
proposiciones, cada una de ellas tiene dos valores de
verdad posibles (FoV), por lo tanto, la tabla tiene 4
posibilidades de valores de verdad. La disyunción
excluyente de dos proposiciones es verdadera cuando las
dos proposiciones tienen valores de verdad contrarios.
 Tabla 6: Disyunción excluyente
2.7 Tautología, contradicción y ambivalencia: Las
proposiciones que surgen en las ciencias, la lógica
proposicional las clasifica como tautologías, contradicciones
o ambivalencias.
 Tautología: Es una proposición compuesta en la que para
cualquier combinación de valores de verdad de las
proposiciones simples siempre se obtiene como valor de
verdad: verdadero (V). Por ejemplo, la proposición
(p∧q)←→ ¬(¬p∨¬q) es una tautología (comprobarlo
construyendo la tabla de verdad).
 Contradicción: es una proposición compuesta en la que
para cualquier combinación de valores de verdad de las
proposiciones simples se obtiene como valor de verdad
falso (F). Por ejemplo, la proposición ¬[(¬p∨q) ←→ (p → q)]
es una contradicción (comprobarlo construyendo la tabla de
verdad).
 Ambivalencia: es una proposición compuesta en la que
dependiendo de la combinación de valores de verdad de las
proposiciones simples se obtienen valores de verdad que
pueden ser verdaderos (V) en unos casos y falsos (F) en
otros. Compruebe que la proposición (p → q) ←→ ((p∨q) →
q) es una ambivalencia.

2.8 LEYES DE LA LÓGICA PROPOSICIONAL: Las leyes de la lógica

proposicional son tautologías que a partir de un conjunto de premisas
(proposiciones simples o compuestas) se pueden hacer deducciones
 lógicas. Si se tienen las proposiciones p y p → q una de las leyes
lógicas permite deducir q.
Son un conjunto de identidades que permiten simplificar o transformar los
esquemas lógicos a otros equivalentes.
Algunas de estas leyes son:
 LEY CONMUTATIVA: El orden de los factores no varía el producto.
Ejemplo: El resultado de multiplicar 10 x 5 será igual que al multiplicar 5
x 10. Aunque cambiemos el orden de los factores el resultado seguirá
siendo 50.
pqqp pqqp
pqqp pqqp
pqqp pqqp
 CONTRAPOSICIÓN O CONTRARRECÍPROCA: Si tenemos que
demostrar que una proposición p implica una proposición q (es decir, si
se da p, se tiene que dar q), a veces es más sencillo demostrar que si no
se da q, entonces no puede cumplirse p. Esto se conoce como
demostración por contrarrecíproco o contraposición. Nótese que "p
implica q" y "no q implica no p" son proposiciones equivalentes.
Ejemplo: "Demuéstrese que todos los números primos mayores que 2
son impares". Aquí, la proposición p es "n es un número primo mayor
que 2" y la proposición q es "n es un número impar". Demostrar que todo
número primo mayor que 2 es impar (p -> q) es lo mismo que demostrar
que no existe un número par que sea número primo mayor que 2, o
equivalentemente, que el único número primo par es 2 (no q -> no p).
p  q  ~q  ~p
(transposición) p  q  ~q  ~p

 LEY ASOCIATIVA: El orden o forma en que se agrupan los sumandos

no afecta el resultado. Es decir, si tenemos tres o más números,
podemos agruparlos de diferentes maneras para realizar la cuenta, de
cualquier forma, que lo hagamos, el resultado será el mismo. La
propiedad asociativa de la suma dice que da igual como agrupemos los
números, dará el mismo resultado lo hagamos como lo hagamos. La
asociación de los números en una suma no afecta al resultado.
Ejemplos:
(3 + 6) + 8 = 9 + 8 = 17
3 + (6 + 8) = 3 + 14 = 17
(3 + 8) + 6 = 11 + 6 = 17
(p  q)  r  p  (q  r)
(p  q)  r  p  (q  r)
(pq)r  p(qr)
 PROPIEDAD DE LA IDENTIDAD: Si sumamos cero a cualquier número,
el resultado será ese mismo número. Es decir, cualquier número sumado
a cero, será el mismo número.
Ejemplos:
5+0=5
0 + 17 = 17
0+9=9
pFp pVV
pFF pVp
 LEY DISTRIBUTIVA: La propiedad distributiva de la multiplicación sobre
la suma puede ser usada cuando multiplicas un número por una suma.
Ejemplo:
3 x 6 = 3(6) = 18
p  (q  r)  (p  q)  (p  r)
p  (q  r)  (p  q)  (p  r)
p  (q  r)  (p  q)  (p  r)
p  (q  r)  (p  q)  (p  r
 IDEMPOTENCIA: Si un elemento al multiplicarse por sí mismo
sucesivas veces da él mismo, este elemento es idempotente.
Ejemplo:
0 es idempotente bajo suma, porque 0 + 0 = 0. Tanto el 0 como el 1 son
idempotentes en la multiplicación, porque 0 x 0 = 0 y 1 x 1 = 1.
ppp
ppp
 LEY DE DOBLE NEGACIÓN O INVOLUCIÓN: La doble negación se
produce cuando se combina el adverbio no con la presencia de otros
elementos que tienen también sentido negativo.
Ejemplo: “no vino nadie”, “no hice nada”, “no tengo ninguna”.
~~p  p
 LEY DE MORGAN: Las leyes de Morgan son dos reglas que se utilizan
dentro de la lógica digital, para poder simplificar una ecuación booleana,
o en el caso más popular. Sirven para poder intercambiar algunas
compuertas lógicas con otras.
 p  q  ~(~p  ~q)
p  q  ~(~p  ~q)
~(p  q)  ~p  ~q  p / q
~(p  q)  ~p  ~q  p  q
p  ~q  ~(~p  q)  ~(p  q)
 LEY DE ABSORCIÓN: El principio de absorción o consunción se
presenta en el concurso aparente de normas, aplicándose solo la figura
delictiva que contiene mayor amplitud valorativa.
Ejemplo: Una privación ilegal de la libertad con la finalidad de causar daños
y las lesiones por otra.
(p  q)  p  p
(p  q)  p  p
p  (p  q)  p
(~p  q)  p  p  q
(~p  q)  p  p  q
p  (~p  q)  p  q
 LEY DE EXPORTACIÒN: La regla permite sustituir sentencias
condicionales que tengan antecedentes conjuntivos por declaraciones
que tienen consecuentes condicionales y viceversa en pruebas lógicas.
(p  q)  r  p  (q  r)
 LEY DE IMPLICADOR: Se niega el antecedente la flechita (, ) se
transforma en "" y el consecuente se repite.
p  q  ~p  q
p  q  ~(p  ~q)
pqqp
 LEY DE COMPLEMENTO: Un conjunto unido a su complemento da el
universo.
Un conjunto interceptado con su complemento da vacío.
p  ~p  V ~V = F
p  ~p  F ~F = V
 DISYUNCIÓN FUERTE O EXCLUSIVA: Es un enunciado en el que hay
dos opciones, pero solo una de las opciones puede ser verdadera,
porque una excluye a la otra.
Ejemplo: Es de día o es de noche (Las dos proposiciones, es decir, las dos
opciones, están coordinadas con el conector disyuntivo “o”).
p  q  (p  q)  (~p  ~q)
p  q  (p  ~q)  (~p  q)
p  q = ~(p  q)
= ~p  q
= p  ~q

SIMPLIFICACIÓN DE ESQUEMAS
MOLECULARES

Un esquema molecular no es más que una representación simbólica de una

proposición por un conjunto de variables proposicionales, generalmente
representados por minúsculas ( p, q, r, … ) y unidos por conectivos lógicos
como la negación, conjunción, disyunción (inclusiva y exclusiva), condicional
y bicondicional de manera simbólica.
Ejemplo

El siguiente ejemplo sirve para formalizar una proposición a un esquema

molecular:

o Si Sergio trabaja por 3 días, logrará comprar un coche y

también podrá viajar a España.
Formalmente se puede escribir así:
p→(q∧r)

COMO DESARROLLAR UNA TABLA DE VERDAD DE UN

ESQUEMA MOLECULAR
Para resolver diferentes tablas de verdad paso a paso, deben tener en cuenta
los signos de agrupación en lógica para cualquier tipo de proposiciones
compuestas, ¿por qué?, porque es incorrecto escribir proposiciones de la
siguiente manera:

1. p↔q△s
2. p→s∨q
La manera correcta de escribirlas es así:

Estas proposiciones simbólicas se les llama esquemas moleculares y es la

típica «tabla de verdad pqr» (coloquialmente hablando). Para realizar una
tabla de verdad de estos esquemas primero debemos desarrollar lo que está
encerrado entre paréntesis. Veamos un ejemplo:

Luego calculamos los valores de verdad en color verde de la

bicondicional conectada por la disyunción exclusiva, omitimos las
columnas p y q para no entrar en confusiones visuales.

Circuitos lógicos
Es una serie de elementos que cumple las leyes de la lógica y que nos permite representar
proposiciones complejas, cumpliendo las leyes de los circuitos eléctricos. Así como en la lógica
vemos que las proposiciones pueden tener un valor de verdadero o falso, en un circuito un
interruptor puede estar cerrado o abierto, esto es igual que representar a verdadero como 1 y
a falso como 0.

A un ensamblaje de interruptores automáticos que permiten el paso de la corriente eléctrica o

la interrumpen de denomina circuitos eléctricos. A un interruptor se puede representar por
medio de una proposición p y viceversa, de tal manera que el valor de verdad de la proposición
p se identifique con el “paso de la corriente” en este caso se dice que el “circuito está cerrado”
y cuando el valor es “falso" con la interrupción de la corriente en este caso se dice que el
circuito está abierto.

Circuito Abierto

CIRCUITO EN SERIE
Consideremos dos interruptores p y q conectados en serie.

Se observa que este circuito admite paso de comente cuando estos dos interruptores p y q
están cerrados, en cualquier otro caso no hay paso de corriente, es decir ésta situación
corresponde a la tabla de verdad de la conjunción p y q.

En la tabla de verdad se observa que basta que uno de los interruptores esté abierto ‘O para
que no circule la corriente en todo el circuito

DISEÑO DE CIRCUITOS ELÉCTRICOS EN PARALELO.-

Consideremos dos interruptores p y q instalados en paralelo.

Se observa en el circuito para que circule corriente es suficiente que alguno de los
interruptores o ambos p o q esté cerrado “ 1” y no hay paso de comente si ambos interruptores
están abiertos (ambos con el valor "O”)- Este circuito corresponde a la tabla de verdad de la
disyunción p v q, es decir:

A la expresión p v q se denomina la función Booleana del circuito en paralelo

NOTACIÓN.- A un interruptor p representaremos simplemente como