LIC.

ALEX ROBERTO CHU IGNACIO

EQUIVALENCIAS LÓGICAS

Una forma proposicional es una ley lógica si y solo si cualquiera que sea la interpretación
formalmente correcta que se haga de la misma, se obtiene como resultado una verdad lógica.
En lógica, las tautologías son conocidas con el nombre de leyes de principios lógicos y son los
siguientes:

 LEY DE IDENTIDAD (REFLEXIVIDAD):

Se enuncia como: “Una proposición solo es idéntica a si misma” y “Una proposición se implica a si
misma” y se simboliza como:

UNIVERSIDAD SAN PEDRO

FACULTAD DE INGENIERÍA
 LEY DE NO CONTRADICCIÓN: ESCUELA DE MECÁNICA - ELECTRICA 
Se enuncia como: “Una proposición no puede
ser verdadera y falsa a la vez” y se
simboliza como:

 LEY DEL TERCIO EXCLUIDO:

Se enuncia como: “Una proposición o es verdadera o es falsa, no hay una tercera posibilidad” y se
simboliza como:

Debido a que seria

muy tedioso utilizar las tablas de verdad para determinar si una expresión es o no equivalente a
otra, o para determinar la equivalencia de una expresión; se utilizan estructuras ya demostradas
llamadas Equivalencias Notables.

MATEMATICA BÁSICA
 LIC. ALEX ROBERTO CHU IGNACIO

 EQUIVALENCIAS NOTABLES:

 LEY DE INVOLUCIÓN (DOBLE NEGACIÓN):

Consiste en agregar o quitar simultáneamente pares de negaciones, las cuales deben afectar a la
misma variable o a la misma fórmula.

Ej.:
 ¬(¬p) ≡ p
 ¬ p ≡ ¬¬¬p
 ¬¬¬p ≡ ¬p
 p ∧ q ≡ ¬¬ (p ∧ q )
UNIVERSIDAD SAN PEDRO
 LEYES CONMUTATIVAS: FACULTAD DE INGENIERÍA
Consiste en intercambiar la posición de las ESCUELA DE MECÁNICA - ELECTRICA 
componentes de una fórmula que tenga como
operador principal a: ∧ , v, , /

Ej.:
 ¬p ∧ ¬q ≡ ¬q ∧ ¬p
 pvq≡qvp

 LEYES DE TRANSPOSICIÓN ( CONTRAPOSICIÓN) :

El equivalente se obtiene cambiando los signos de las componentes e intercambiando la posición de
las mismas en una formula con operador principal:
 ,  ,  , v.

Ej.:
 p q ≡ ¬q  ¬p
 p v q ≡ ¬q v ¬p
 ¬p  q ≡ ¬q p
 LEYES DE MORGAN:
La negación de las proposiciones conjuntivas o disyuntivas se obtiene cambiando la conjunción por
la disyunción, o la disyunción por la conjunción, y negando cada una de los componentes.

MATEMATICA BÁSICA
 LIC. ALEX ROBERTO CHU IGNACIO

Ej.:
 p ∧ q = ¬(¬p v ¬q)
 ¬(p ∧ ¬ q) = ¬p v q

 LEY DEL CONDICIONAL:

Una implicación se transforma en una UNIVERSIDAD SAN PEDRO
disyunción negándose al antecedente. FACULTAD DE INGENIERÍA
ESCUELA DE MECÁNICA - ELECTRICA 

Ej.:
 ¬p  ¬q = p v ¬q
 p  q = p v ¬q

 LEYES ASOCIATIVAS:
Se utiliza solo para cambiar los signos de agrupación más no la posición ni las negaciones de los
componentes. Se cumple con: ∧, v, , v.
Ej.:
 (A ∧ B) ∧ C ≡ A ∧(B∧ C)
 (A B) C ≡ A (BC)

 LEYES DISTRIBUTIVAS:

MATEMATICA BÁSICA
 LIC. ALEX ROBERTO CHU IGNACIO

Ej.:
 A ∧(BV C)= (A ∧B) V ( A ∧ C)
 A V (B∧ C) = (A VB) ∧ (A VC)
 A (B ∧ C) = (AB) ∧ (AC)
 A (B V C) = (AB)V (AC)

 LEY DE EXPORTACION:

Ej.:

(A ∧ B) C ≡ A (B C) UNIVERSIDAD SAN PEDRO
FACULTAD DE INGENIERÍA
ESCUELA DE MECÁNICA - ELECTRICA 
 LEY DE IDEMPOTENCIA:
Una cadena de conjunciones o disyunciones de
variables redundantes se eliminan.

 p∧p≡p
 pvp≡p

 LEYES DE IDENTIDAD :
 p∧1≡p pV1≡1
 P ∧0 ≡ 0 pV0≡p

 LEYES POR COMPLEMENTO:

 P V¬P ≡ 1
 P ∧ ¬P ≡ 0

 LEYES DEL BICONDICIONAL:

Conjunción de la implicación y replicación.

Ej.:
 p  q ≡ (p  q) v (p  q)
 pq ≡ (¬p v q) ∧ ( ¬q v p )

 LEYES DEL DISYUNTOR EXCLUYENTE:

MATEMATICA BÁSICA
 LIC. ALEX ROBERTO CHU IGNACIO

 ¬(p q ) ≡ p v q
 ¬( pq) ≡ (p∧ ¬q ) v (q ∧¬p)
 ¬(p q) ≡ ¬p q

 LEY DE EXPANSION:
 p ≡( ¬q v q) ∧p
 p ≡ (¬q ∧ q) v p

 LEYES DE ABSORCION:
Cuando la variable se repite con el mismo
signo se absorbe (se anula) todo el segundo UNIVERSIDAD SAN PEDRO
miembro. FACULTAD DE INGENIERÍA
ESCUELA DE MECÁNICA - ELECTRICA 

Ej.:
 (¬p ∧ q ) ∧ ( ¬r v ¬p v s) ≡ ¬p ∧ q
 (¬p v ¬q) v (q ∧ ¬r ∧ s) ≡ ¬p v ¬q v ¬r v s

CUADRO DE RESUMEN DE LAS LEYES DE EQUIVALENCIAS NOTABLES

MATEMATICA BÁSICA
 LIC. ALEX ROBERTO CHU IGNACIO

UNIVERSIDAD SAN PEDRO

FACULTAD DE INGENIERÍA
ESCUELA DE MECÁNICA - ELECTRICA 

EJEMPLOS DE EQUIVALENCIAS LOGICAS:

1.-La formula: (¬A v ¬ B) equivale a :

a) Es mentira que, no solo hay desarrollo sino también alta tecnología en el Peru.

b) Salvo que no haya pobreza, no habrá riqueza económica.

c) Es inadmisible que haya habido descubrimiento asi como a la vez imposición pacifica en
América.

d) Todas.

e) Ninguna.

SOLUCIÓN:
La respuesta es la alternativa: D.
a) ¬(p ∧ q) ≡ (¬p v ¬q) b) ¬p v ¬q c) ¬(p ∧ q) ≡ (¬p v ¬q)
d) Todas.

MATEMATICA BÁSICA
 LIC. ALEX ROBERTO CHU IGNACIO

2.- [(p ∧ q) v (p / q)] ∧ (q v p)

[(p ∧ q) v (¬p v ¬ q)] ∧ (q v p) -------------------(Negación. Del incompatibilizador).

[(p ∧ q) v ¬ (p ∧ q)] ∧ (q v p) ----------------------(Morgan).

A v ¬A

[1] ∧ (q v p) ------------------------------------- (Complemento).

(q v p) ≡ (p v q) ---------------------------- (Conmutación).

UNIVERSIDAD SAN PEDRO

FACULTAD DE INGENIERÍA
ESCUELA DE MECÁNICA - ELECTRICA 

3.- [(¬p v ¬q) ∧ ¬q]

≡ ¬q-----------------------------------(Absorción).

LÓGICA DE PREDICADOS

La lógica de predicados, llamada también lógica cuantificacional, comienza distinguiendo dos

clases de términos:
Los que representan individuos (gramaticalmente “sujetos”) y los que representan propiedades
(gramaticalmente “predicados”). Lógicamente los llamaremos argumentos y predicados
respectivamente, de acuerdo a este esquema:

Luis canta.

Argumento Predicado.

Las proposiciones que intervienen en este nuevo tipo de inferencia son atomico – predicativas.
Consecuentemente, de acuerdo a la cantidad del sujeto, pueden clasificarse en:

 SINGULARES:
El sujeto es un individuo. Ej.:
*Manuel Kant es un filósofo.

 UNIVERSALES:
El sujeto es una totalidad de individuos. Ej.:
Todos los odontólogos son médicos.

 PARTICULARES:

MATEMATICA BÁSICA
 LIC. ALEX ROBERTO CHU IGNACIO

El sujeto es una parcialidad de individuos. Ej.:

Algunos musulmanes son talibanes.

La cantidad del sujeto en estas proposiciones introduce nuevos elementos, los cuantificadores,
representados por los términos “todos” y “algunos”. Estos nuevos elementos determinan
cuantitativamente a sus argumentos.

 LOS CUANTIFICADORES :
Son los operandos que la lógica de predicados añade a las conectivas de la lógica de
enunciados. Los cuantificadores, hacen referencia a la totalidad o a una parte de sus
miembros de un conjunto. Pudiendo ser
la generalización universal o particular, UNIVERSIDAD SAN PEDRO
los cuantificadores son de dos tipos: FACULTAD DE INGENIERÍA
ESCUELA DE MECÁNICA - ELECTRICA 
 Cuantificador Universal (∀…):
 Cuantificador Existencial (∃…):

 ELEMENTOS DE UNA PROPOSICION CATEGORICA:

NEXO O COPULA

Todo pez es acuático.

T. SUJETO T. PREDICADO

CUANTIFICADOR

MATEMATICA BÁSICA
 LIC. ALEX ROBERTO CHU IGNACIO

UNIVERSIDAD SAN PEDRO

FACULTAD DE INGENIERÍA
ESCUELA DE MECÁNICA - ELECTRICA 

EJEMPLOS DE CUANTIFICADORES:

1.- Sea A = {1, 2, 3, 4, 5}.Determine el valor de verdad de cada uno de los enunciados
Siguientes

a) (∃x∈ A) (x+3 =10)

Sol: Es falso porque ningún número de A es una solución de x + 3 = 10

b) (∀x∈ A) (x+3< 10)

Sol: Es Verdadero. Cualquier número de A cumple que x + 3< 10

2.-La proposición: “Todos son celulares”

Se formaliza:

Sol: ∀x (Cx).

3.- La proposición: “Existen chimbotanos”.

Se formaliza:

Sol: ∃x (Ax).

4.-La proposición: “Todos los libros educan”

Se formaliza:

Sol: ∀ x (LxEx)

MATEMATICA BÁSICA
 LIC. ALEX ROBERTO CHU IGNACIO

5.- La proposición: “Ningún pato es silbador”

Se formaliza:

Sol: ∀ x (Px¬Sx)

UNIVERSIDAD SAN PEDRO

FACULTAD DE INGENIERÍA
ESCUELA DE MECÁNICA - ELECTRICA 

 www.google.com.pe.
 http://es.scribd.com/doc/101595/clase-5-CUANTIFICADORESII
 http://www.monografias.com/trabajos58/operaciones-logicas/operaciones- logicas2.shtml
 Manual de aprendizaje, Nueva Generación, Académica Preuniversitaria 2011.
 http://em-unefa.blogspot.com/2008/04/cuantificadores.html

MATEMATICA BÁSICA