UNIVERSIDAD PERUANA LOS ANDES

FACULTAD DE CIENCIAS ADMINISTRATIVAS Y

CONTABLES

SEPARATA Nro 01

ASIGNATURA : MATEMÁTICA BÁSICA

TEMA : LÓGICA PROPOSICIONAL

DOCENTE : HINOSTROZA EULOGIO BENJAMÍN

LÓGICA PROPOSICIONAL
LÓGICA.- Definiremos a la lógica como una rama de la filosofía que se
Encarga del estudio de los principios formales del conocimiento
humano (estudio de las conclusiones que se pueden encontrar a partir de
premisas).

Algunos conceptos importantes que debemos considerar para el estudio de las

proposiciones:

ENUNCIADO.- Podemos conceptuar a un enunciado como “palabra o

conjunto de palabras que encierran un significado.
También como: frase u oración que se utiliza en el lenguaje común”

Ejemplos:
 Tienes mucho entusiasmo en el estudio
 1 es un número primo
 ¿Por qué elegiste estudiar esta carrera?
 43 = 12+52
 ¡Auxilio!
 Si quieres triunfar en la vida se perseverante.
 Huancayo es ciudad incontrastable.
 ¿Los medios de comunicación nos brindan buena información?
 BENJAMÍN HINOSTROZA EULOGIO - CIENCIAS ADMINISTRATIVAS Y CONTABLES

Como vemos los enunciados se nos presentan de diversas formas por ello lo
clasificaremos en tres grupos:

ENUNCIADO

ENUNCIADO NO ENUNCIADO PROPOSICIÓN

PROPOSICIONAL ABIERTO

I. ENUNCIADO NO PROPOSICIONAL.- Es aquel enunciado que tiene la

característica de ser exclamativa,
pregunta u orden (no se pueden clasificar como verdadera ni falsa).
Ejemplos:

 ¡Auxilio!
 Apresúrate, te queda poco tiempo.
 ¿Por qué elegiste esta carrera?
 ¿Quién es el rector de la universidad?

II. ENUNCIADO ABIERTO.- Enunciado en el que interviene una o más

variables; que admiten la posibilidad de
convertirse en verdaderas o falsas cuando la(s) variable(s) asumen un
determinado valor. También se le conoce como función proposicional.

En el siguiente enunciado: “5x-8=7”

La variable es “x”. Entonces el enunciado podemos denotar como P(x), para

ello daremos valores a “x”
Si x = 5: entonces la expresión es 5(5)-8 = 7… (F)
Si x = 3: entonces la expresión es 5(3)-8 = 7… (V)
Observamos que el enunciado abierto se convirtió en una proposición.

Ejemplos de enunciados abiertos:

 Aquella universidad te prepara para tu vida profesional.
 X+22=63-X
 Él estudia matemática pero no filosofía
 X2+4x>8

III. PROPOSICIÓN.- Es toda expresión coherente y aseverativa cuya

característica es de poseer un valor de verdad, verdad
(V) o falso (F); sin ambigüedad, en un determinado contexto.

2
 BENJAMÍN HINOSTROZA EULOGIO - CIENCIAS ADMINISTRATIVAS Y CONTABLES

OBS: A las proposiciones de denotan generalmente con las letras

minúsculas como: p, q, r, s…etc.

Ejemplos:
 Huancayo es ciudad incontrastable
 Mauro es ingeniero
 4+9=13
 X + 6 = 8, es un enunciado abierto
 Una proposición, es un enunciado verdadero o falso.
 La perseverancia es un valor que practican los estudiantes.

“Toda proposición es un enunciado, pero no todo

enunciado es una proposición”.

VALOR DE VERDAD.- Se llama valor de verdad de una proposición a uno

de los valores posibles que puede asumir; ya sea
verdadero ó falso.

CLASES DE PROPOSICIONES
Las proposiciones podemos clasificarlas en dos tipos:

 PROPOSICIONES SIMPLES
 PROPOSICIONES COMPUESTAS

A. PROPOSICION SIMPLE.- Llamada también ATÓMICA. Es aquella

proposición en la que presenta por lo general:
un sujeto y un predicado (estas proposiciones no llevan conectivos lógicos).

Ej.
p: La Matemática es una ciencia abstracta.
q: Los estudiantes de la Universidad son investigadores.
r: María estudia Obstetricia en la UPLA

CONECTIVOS LÓGICOS.- Signos y símbolos que se utilizan para unir dos

o más proposiciones simples, sin formar parte
de ellas.

3
 BENJAMÍN HINOSTROZA EULOGIO - CIENCIAS ADMINISTRATIVAS Y CONTABLES

OPERACIÓN SIGNIFICAD
TÉRMINOS MÁS UTILIZADOS
LÓGICA O
NEGACIÓN “No”, “no es cierto que”, “es falso que”, “no es verdad que”, etc.,
(p) No p
etc.
“Y”, “pero”, “también”, “sin embargo”, “además”, “tal como”,
CONJUNCIÓN
pyq “no obstante”, “aunque”, “a la vez”, “así como”, “asimismo” etc.,
(pq)
etc.
DISYUNCIÓN “o p, o q, o ambos”
(pq) poq
“entonces” “por lo tanto” “porque”, “puesto que”, “ya
que”, “dado que” “si”, “cuando”, “cada vez que”, “si p
CONDICIONAL Si p entonces q
entonces q ”, “p implica a q”, “p solo si q”, “q, si p”, “p es
(pq)
condición suficiente para que q”, “q es condición necesaria
para que p ” etc., etc.
“si y solo si” “cuando y solo cuando”, “entonces y solo
BICONDICION p si y solo si
entonces”, “p es condición necesaria y suficiente para q” etc., etc.
AL (pq) q
DISYUNCIÓN solo p o solo q pero no ambos, “salvo que”, “a no ser que”
p o q, pero no
EXCLUSIVA
(pq) ambos

Si tenemos proposiciones simples tales como “p” y “q”: entre los conectivos
más conocidos tenemos los siguientes:

B. PROPOSICIÓN COMPUESTA.- También llamada proposición

molecular. Es aquella proposición que resulta de la unión de dos o más
proposiciones simples, mediante conectivos lógicos.

Ej.
Mauro estudia y trabaja

p  q

En el ejemplo anterior, vemos que la proposición molecular consta de dos

proposiciones simples:

p: Mauro estudia
q: Mauro trabaja (aunque el sujeto no se menciona dos veces, pero
se sobreentiende)

4
 BENJAMÍN HINOSTROZA EULOGIO - CIENCIAS ADMINISTRATIVAS Y CONTABLES

&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&
PRÁCTICA Nº 01

1. Dados los siguientes enunciados indicar si es: proposición, enunciado

abierto o enunciado no proposicional.
a) La religión es y siempre fue un instrumento de opresión al pueblo.
b) 5 13  5 13
c) Huancayo no es ciudad incontrastable, asimismo Lima es Capital del Perú
d) La estadística es una ciencia que estudia el análisis de datos.
e) J. Bruner es un representante de la psicología conductista
f) ¿Dónde vives?
g) Los desastres naturales se producen por el calentamiento global.
h) 2x  3  x  7 .

2. Determine cuáles de las siguientes expresiones son proposiciones e

indique su valor de verdad.
a) Retírate de clase, porque haces desorden.
b) El Perú, para poder mejorar necesita un cambio de modelo económico.
c) Si estudias para el examen, tendrás buen calificativo.
d) (x + y)2 = x2+2xy+y2
e) Una proposición puede ser verdadera o falsa.
f) Los enunciados abiertos se caracterizan por tener variables.
g) Apresúrate que te hace tarde.
h) La lógica estudia las leyes del razonamiento inferencial.
i) ¡Auxilio!
j) x 2  4  2x  4
k) ¿La matemática es una ciencia abstracta?

3. Dadas las proposiciones :

p: Manuel es huancaíno.
q: Manuel tiene ojos claros.
Expresar en forma simbólica las proposiciones que a continuación se presentan en
el lenguaje verbal.
a. Manuel tiene ojos claros y es huancaíno.
b. Manuel no tiene ojos claros.
c. No es cierto que Manuel no es huancaíno.
d. Manuel es huancaíno pero tiene ojos claros.
e. Manuel no tiene ojos claros y no es huancaíno.
f. No es cierto que: Manuel es huancaíno y no tiene ojos claros.
g. No es cierto que: Manuel no es huancaíno y tiene ojos claros
h. Manuel es de ojos claros porque es huancaíno.
i. Si Manuel es huancaíno entonces es peruano; por tanto no tiene ojos claros

5
 BENJAMÍN HINOSTROZA EULOGIO - CIENCIAS ADMINISTRATIVAS Y CONTABLES
4. Dadas las proposiciones :
p: Mauro estudia derecho en la UPLA.
q: Mauro trabaja en el Poder Judicial.
Expresar en forma simbólica las proposiciones que a continuación se presentan en
el lenguaje verbal.
a. Mauro estudia derecho o trabaja en el poder judicial
b. Mauro estudia derecho si y sólo si trabaja en el poder judicial
c. Mauro trabaja en el poder judicial por que estudia derecho
d. Mauro no trabaja en el poder judicial sin embargo estudia derecho
e. Mauro no estudia derecho tampoco trabaja en el poder judicial
f. No es verdad que: Mauro trabaja en el poder judicial y estudia derecho
g. Mauro trabaja en el poder judicial, si estudia derecho
h. Si Mauro trabaja en el poder judicial, estudia derecho

5. Dadas las proposiciones:

p: Hoy es lunes.
q: Hoy tengo examen.
Expresar en lenguaje verbal, las proposiciones que a continuación se presentan en
lenguaje simbólico.
a) p b) pq c) pq
d) (pq) e) pq f)qp
6. Dadas las
proposiciones:
p: Juan es un político.
q: Juan tiene buena formación.
Expresar en lenguaje verbal, las proposiciones que a continuación se presentan en
lenguaje simbólico.
a) p b) pq c) pq d) (pq)
e) (pq) f)qp g) qp h) (qp)

7. Haz un listado de todas las proposiciones simples que encuentres en el texto:

“Perú clasificará al mundial, si ganamos a Argentina; aunque sabemos que
Gareca aplicará las tácticas del fútbol. Sin embargo para ganar a Argentina
se tiene que aplicar las tácticas del futbol, entonces así clasificaremos al
mundial. Por lo tanto no clasificaremos al mundial si no ganamos a
Argentina y Brasil”

8. “Si los ciudadanos sabemos elegir a nuestros gobernantes entonces no

existen políticos corruptos, aunque sabemos que para tener una
personalidad definida hay que tener una buena formación. Pero la gente no
elige a un buen gobernante a no ser que tenga una personalidad definida”.
Por lo tanto “existen políticos corruptos o las personas no tenemos una
buena formación”.

6
 BENJAMÍN HINOSTROZA EULOGIO - CIENCIAS ADMINISTRATIVAS Y CONTABLES

Los valores de verdad de una o más proposiciones simples unidas

mediante conectivos lógicos, se pueden esquematizar por medio de tabla
de verdad; como:
Para una proposición Para dos proposiciones Para tres
proposiciones

p p q p q r
V V V V V V
F V F V V F
F V V F V
F F V F F
F V V
F V F
F F V
F F F

Podemos observar que el número de filas de la tabla está dado por la siguiente
fórmula:
Número de filas = 2n; Donde: “n” es el número de proposiciones

PROPOSICIONES COMPUESTAS BÁSICAS

A) NEGACIÓN ().- Dado una proposición “p”, llamamos negación de “p”, a

otra proposición que denotamos como “p” (no p), cuyo valor de verdad es
el valor opuesto a “p”.
Su principio lógico de la negación es:
“Si una proposición es verdadera (V), su negación es falsa (F) y recíprocamente, si
dicha proposición es falsa (F), su negación es verdadera (V)”.

p P
V F
F V
Ejemplo:
 “La matemática es una ciencia” (V).
Su negación es: “La matemática no es una ciencia” (F)
 “La rana es un animal invertebrado” (F).
Su negación es: “La rana no es un animal invertebrado”; o mejor “La rana es en animal vertebrado”
(V).

7
 BENJAMÍN HINOSTROZA EULOGIO - CIENCIAS ADMINISTRATIVAS Y CONTABLES

B) CONJUNCIÓN.- La conjunción de dos proposiciones p y q es la proposición

compuesta que resulta de unir estas proposiciones
mediante el conectivo “y” () que se simboliza “pq”, donde
el principio lógico es: “La proposición “pq” es
verdadera, cuando p es verdadero y cuando q es verdadero;
en todos los demás casos es falso”.
Su tabla de verdad es:
p q pq
V V V
V F F
F V F
F F F
Veamos el siguiente ejemplo:
Supongamos que Juan se traza el objetivo de aprobar la asignatura de
Matemática Básica, para lo cual tendrá que rendir su examen parcial.

p: Juan estudia Matemática Básica (V)

q: Juan rinde su examen de Matemática Básica (V)
Es lógico que Juan APRUEBA cuando estudia y a la vez rinda su examen
(VERDADERA). En el caso de que estudie y no rinda examen o solo rinda
examen sin haber estudiado, o peor aún no estudia ni rinde examen; NO
APROBARÁ LA ASIGNATURA (FALSO).
C) DISYUNCIÓN.- La disyunción de dos proposiciones p y q, es la
proposición compuesta que resulta de unir p con q
mediante el conectivo “o” en el sentido inclusivo (y/o), se
simboliza “pq” el principio lógico es: "La proposición
“pq” es falsa únicamente cuando ambos son falsos; en
cualquier otro caso es verdadera”.
Su tabla de verdad es: p q pq
V V V
V F V
F V V
F F F
Veamos el siguiente ejemplo:
A Mauro estudiante de universidad su papá le ofrece una semana de
vacaciones en el Cuzco siempre y cuando apruebe Matemática o
Psicología, entonces:
p: Mauro aprueba matemática.
q: Mauro aprueba Psicología.

8
 BENJAMÍN HINOSTROZA EULOGIO - CIENCIAS ADMINISTRATIVAS Y CONTABLES

Es suficiente que Mauro apruebe una de las dos asignaturas o en el mejor de los
casos las dos para que pase sus vacaciones en el Cuzco (VERDADERA). Y solo en
el caso de que no apruebe ninguna no se llevará a cabo su viaje. (FALSO)

D) IMPLICACIÓN.- La implicación de dos proposiciones p y q, es la

proposición compuesta que resulta de unir p con q mediante
el conectivo “entonces”, se simboliza “pq” el principio
lógico es: "La proposición “pq” es falsa únicamente
cuando p es verdadera y q falsa; en cualquier otro caso es
verdadera”.
Su tabla de verdad es: p q pq
V V V
V F F
F V V
F F V
Veamos el siguiente ejemplo:
Si el televisor de Mauro está malogrado entonces lo tiene que reparar.
p: El televisor de Mauro está malogrado.
q: El televisor de Mauro se manda reparar.

Analicemos los cuatro casos

 Si está malogrado y se manda reparar funciona (V)
 Si está malogrado y no se manda reparar no funcionará (F)
 Si no esta malogrado y se manda reparar es obvio que funcionará (V).
 Si no está malogrado y no se manda reparar también funcionará (V)
E) DOBLE IMPLICACIÓN.- La doble implicación de dos proposiciones p y q,
es la proposición compuesta que resulta de unir p con q
mediante el conectivo “si y solo si”, se simboliza “pq” el
principio lógico es: "La proposición “pq” es verdadera cuando
ambos son verdaderos o ambos son falsos; en cualquier otro caso
es falsa”.
Su tabla de verdad es: p q pq
V V V
V F F
F V F
F F V
Veamos el siguiente ejemplo:
“8 es número divisible por dos, si y solo si 8 es un número par”.
p: 8 es número divisible por dos
q: 8 es número par
 8 es número divisible por dos si y solo si 8 es número par (V)
 8 es número divisible por dos si y solo si 8 no es número par (F)
9
 BENJAMÍN HINOSTROZA EULOGIO - CIENCIAS ADMINISTRATIVAS Y CONTABLES

 8 no es número divisible por dos si y solo si 8 es número par (F)

 8 no es número divisible por dos si y solo si 8 no es número par (V)

F) DISYUNCIÓN EXCLUSIVA.- La disyunción exclusiva de dos pro posiciones

p y q, es la proposición compuesta que resulta de unir p
con q mediante el conectivo “o p o q pero no ambos”, se
simboliza “pq” el principio lógico es: "La proposición
“pq” es verdadera cuando sus componentes tienen valores
diferentes; en caso contrario será falsa”.
Su tabla de verdad es:
p q pq
V V F
V F V
F V V
F F F
Por ejemplo si:
Mauro, deportista destacado tiene que participar en las olimpiadas que esta
organizando su facultad. Para lo cual hay dos equipos en donde él debe
jugar.
p: Mauro juega por el equipo “A”
p: Mauro juega por el equipo “B”
Es claro que cuando Mauro juega por un solo equipo será aceptada su
participación (V). En el caso de que participe por ambos equipos o no
participe por ninguno, no será lo correcto.

EVALUACIÓN DE ESQUEMAS MOLECULARES MEDIANTE TABLAS

DE VERDAD

Para evaluar un esquema se trabajará los conectivos de menor a mayor

jerarquía: “paréntesis, corchetes y luego llaves” (en ese orden).Es decir
trabajamos como si fuesen operaciones combinadas (multiplicación, división,
adición y sustracción) Luego analizamos la columna que finalmente obtenemos
ya que esta puede ser TAUTOLOGÍA, CONTINGENCIA o CONTRADICCIÓN

Se dice que un esquema es una TAUTOLOGÍA cuando todos los valores del
resultado son verdaderos
Se dice que un esquema es una CONTINGENCIA cuando en el resultado se
encuentra por lo menos un verdadero y por lo menos un falso

Se dice que un esquema representa una CONTRADICIÓN cuando todos los

valores del resultado son falsos

10
 BENJAMÍN HINOSTROZA EULOGIO - CIENCIAS ADMINISTRATIVAS Y CONTABLES

Ejercicio 1
Evaluar: [(pq)(qp)]  q

SOLUCIÓN:
Como tenemos dos proposiciones “p” y “q” entonces elaboramos una tabla con
22 = 4 combinaciones de sus valores.

p q [(p  q)   (q  p)]  q
V V V V V V VV FF V V
V F V F F V FF VF V F
F V F F V V FV VV V V
F F F F F V VF FV V F

Por lo tanto el esquema representa una tautología

Ejercicio 2
Evaluar mediante tabla de verdad el siguiente esquema:
p(qr)(pr)(pr)

SOLUCIÓN:
Para evaluar este esquema que cuenta con tres proposiciones elaboramos una
tabla con 23 = 8 combinaciones de sus valores.
p q r p  ( q  r )  ( p  r )   ( p  r )
V V V F F V V F V F F V F F V V V
V V F F F V V V V F F F F F V V F
V F V F F F F F V F F V F F V V V
V F F F F F V V V F F F F F V V F
F V V V V V V F V V V V V F F V V
F V F V V V V V V V F F V V F F F
F F V V F F F F F V V V V F F V V
F F F V V F V V V V F F V V F F F

Por lo tanto el esquema representa una contingencia

Como podemos observar en los dos ejemplos anteriores, los signos de

agrupación juegan un papel muy importante

11
 BENJAMÍN HINOSTROZA EULOGIO - CIENCIAS ADMINISTRATIVAS Y CONTABLES

Veamos un ejemplo más

Ejercicio 3
Evaluar mediante tabla de verdad el siguiente esquema:
p  (qp) (pr) (rq) (pr) 
Solución:

P Qr p  (q  p)   (p  r)  ( r  q)   (  r)

p
V V V V VV V V F F V F F V V V V V V V F V
V V F V VV V V F F V V V V F V V F F V V F
V F V V FF F V F V V F F F V F F F V V F V
V F F V FF F V F F V V V V F V F F F V V F
F V V F VV F F F F F V F V V V V F F F V V
F V F F VV F F F F F F V V F V V V V F F F
F F V F VF F F F F F V F V V F F F F F V V
F F F F VF F F F F F F V V F V F V V F F F

Por lo tanto el esquema representa una contradicción

12
 BENJAMÍN HINOSTROZA EULOGIO - CIENCIAS ADMINISTRATIVAS Y CONTABLES

PRÁCTICA 02
1. ¿Cuáles de las siguientes proposiciones son verdaderas y cuales son falsas? .
a) Si 5(7) = 35, entonces 10 – 3 = 13.
b) (5 – 3 = 8)  (1 – 7 = 6)
c) (12 + 2 = 14)  (7 – 3 1)
d) ( (4 + 6 = 9) (5 – 2 = 4)
e) Si 5 + (-7) = -35 entonces log12 – 3 = -1,3.

2. ¿Cuáles de las siguientes proposiciones son verdaderas y cuales son falsas?

a) Si: 3 -2 = 4, 12 = 10 - 2
b) Si log13 + 3 = 6,7 ; entonces 4 = 4.
c) Si 3(7)es un número natural, entonces 17 es un número primo
d) (3  5 =0,8)  (15 – 3,8 = 24,4)
e) (5 + 13 = - 18)  (Sen 30º = 1,7172)
f) (12 + 23 = 18)  (7 –13 <1)

3. Construir la tabla de verdad de las siguientes proposiciones:

a) (pq)(qp)
b) (pr)(pr)(qp)(qp)
c) p(qp)(pq)(qp)

4. Hallar las tablas de verdad de las siguientes proposiciones:

a) p(qp)(pq)
b) p(qr)(pr)q
c) [p( q  p)]  [(p   q)  (q  p)]

5. Evaluar mediante tablas de verdad Los esquemas moleculares y hallar el valor de

verdad de las afirmaciones.
a) [(p  q)(pq)][(qp)  (q  p)] es tautología
b) [(p  q)  ( r)]  [(p  r)  (p  q)] es contingencia

6. formalice la siguiente proposición y luego evalúe mediante tabla de verdad::

“Te levantas temprano o estudias en la noche si y solo si, no es cierto que, no te
levantes temprano y que no estudies en la noche”.

7. formalice la siguiente proposición:

“Si los gobernantes no gastarían el dinero del pueblo en corrupción, el Perú estaría
mejor en educación. Pero sabemos que estamos mal en educación porque el
estado no está bien administrado, sin embargo hay gran número de trabajadores
nombrados que tienen estas malas prácticas. Por todo esto es que no salimos de ser país
sub desarrollado.”

13
 BENJAMÍN HINOSTROZA EULOGIO - CIENCIAS ADMINISTRATIVAS Y CONTABLES

Ahora te presentamos algunos ejercicios en donde tendrás que hacer uso de los
signos de agrupación y de los conectivos lógicos con que puede contar un
esquema molecular.

Ejercicio 1

Si sabemos que el siguiente esquema (pq)(pr); es verdadero.

Hallar el valor de verdad de los siguientes esquemas moleculares.
a) (p  r)   (r  q)
b) [(q  p)  ~(p  r)]  (rp)
Solución
En este tipo de ejercicios primero tienes que identificar el conectivo de mayor jerarquía
(principal). Para nuestro caso, el de mayor jerarquía es la “”
(pq) = V
(pr) = V

EN EL PRIMER PARÉNTESIS
Podemos decir que: (pq) = F

De ello se deduce que: p=V y q=F

AHORA EN EL SEGUNDO PARÉNTESIS:

(pr) = V y como ya sabemos que “p” es verdadero, entonces: r=V

Ahora sí, se puede evaluar los esquemas:
a) (p  r)   (r  q)
( F  V)   (V  V )
F   ( V )
F  F
V

b) [(q  p)  ~(p  r)]  (r p)

[(F V)  (V V)]  (V F)
[V  (V)]  (F)
(V  F)  F
V  F
F

14
 BENJAMÍN HINOSTROZA EULOGIO - CIENCIAS ADMINISTRATIVAS Y CONTABLES

&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&
PRÁCTICA Nº 03

1. Se sabe que p  q y q  t son falsas. De los esquemas moleculares

siguientes, cuales son verdaderos? :
A =(~ p v t) v ~ q ; B = [(p  q)  ~(q  t)]  [~ p  (q  ~ t)]

2. La proposición (p  q) → (q → r) es falsa, y se tienen los esquemas

moleculares:
A = (p  ~ q) → (~ r  q) y
B = [(pq) (q ~ r)]↔(p  ~ r). ¿Cuales son falsas?

3. Si la proposición A = (p → ~ q) → (r → ~ s) es falsa, hallar el valor de

verdad de las proposiciones q, p, r, s. (en este orden).

4. Dado las proposiciones:

A=(p→r)→r; r = V,
B = (pq) ↔ (~ p  ~ q); q = V
C = (p  q) → (p  r); p=V y r = F.
D = p  (q → r); r = V.
En qué casos la información que se da es suficiente para determinar el
valor de verdad de cada proposición.

5. Si la proposición (~ p  q) → (~ s  r) es falsa, de las proposiciones

siguientes, cuales son verdaderas?:
A = ~ [( p → q ) → r] y B = ~ (~ p  q)  (~ r  r)  s

6. Si las proposiciones: A=(p ↔ s) ↔ ~s y B=[( p → s ) ∆ ~ p ] ∆ s,

son verdaderos, hallar los valores de verdad de p, s y p∆s, en ese orden.

7. Dada la siguiente información: V(r→q)=V; V(nr) =F ; V(m  n) = V y

V(p  m) = F. Determinar el valor de verdad del esquema molecular:
A=[(mn)(pr)](mq)

8. Si A = (p ↔ r)  ~ (~ p  ~ q), es verdadera, hallar el valor de verdad de la

proposición: B = (p → q) ↔ (p ↔ r).

9. Si V[(q → p) → (r  p)]=F, hallar el valor de verdad de cada una de las

siguientes proposiciones:
A = (p  x) → (m ↔ y) B = (q → n)  (x  y)
C = (r ↔ p) → (s  q) D = [(q → p)  (n → r)] ↔ (x  ~ x).

15
 BENJAMÍN HINOSTROZA EULOGIO - CIENCIAS ADMINISTRATIVAS Y CONTABLES

10. Si la proposición P = (~ p → q)  (s → ~ r) es falsa; Encuentre el valor de

verdad de los siguientes esquemas moleculares:
A = [(r → q)  q ] ↔ [(~ q  r)  s];
B = ~ [(p  q)  ~ q] → ~ (p → q).

11. Si V(m ↔ n)=F, V[~(s → r)]=F y V(~p  ~q)=F; hallar el valor de verdad
del esquema: A = [(p  q) → (s  ~ r)] → (n ↔ m).

12. Si: p, q, r, s, t, w son proposiciones cualesquiera tales que: V(~u→ ~ s)=F

y V[(p  ~ r) ↔ (s → u)]=V.
Hallar el valor de verdad de los siguientes esquemas:
A =(s ↔ ~ w) → (r  ~ p) y
B =[u → (w  ~ p)]  ~ (p → r).

13. Si la proposición P = (~ p → q)  (s → ~ r) es falsa; cuales de los

siguientes esquemas moleculares son falsos:
A =[(r → q)  q ] ↔ [(~ q  r)  s]; B = ~(pq)~q

16
 BENJAMÍN HINOSTROZA EULOGIO - CIENCIAS ADMINISTRATIVAS Y CONTABLES

LEYES DEL ALGEBRA DE PROPOSICIONES

Algunas expresiones lógicas necesitan ser representadas en su forma más

simple. Para ello debemos manejar algunas equivalencias lógicas
Dos expresiones lógicas con equivalentes cuando al ser evaluados mediante
tablas de verdad arrojan el mismo resultado; es decir pueden tener distinta
forma pero en cuanto a su contenido o mensaje es el mismo.

PRINCIPALES LEYES LÓGICAS O TAUTOLÓGICAS

En el álgebra proposicional se utilizan las siguientes leyes lógicas cuya

demostración se basan a la confección de las tablas de valores de verdad. Así:
si decimos que P  Q (P es equivalente a Q) Entonces al evaluar mediante
tabla de valores el esquema PQ el resultado será una TAUTOLOGÍA.

Entre las principales leyes lógicas mencionaremos las siguientes:

1. LEY DE IDENTIDAD:

Una proposición sólo es idéntica a si misma. Se expresa así:

pp y pp
De aquí se puede deducir que p  p = T

2. LEY DE NO CONTRADICCIÓN:

Una proposición no puede ser verdadera y falsa a la vez. Se expresa así:

(pp)
De aquí se puede deducir que p  p = C

3. LEY DE INVOLUCIÓN:

Dos negaciones en forma consecutiva equivalen a una afirmación

(p)  p

4. LEY DE IDEMPOTENCIA:
a) p  p  p
b) p  p  p

17
 BENJAMÍN HINOSTROZA EULOGIO - CIENCIAS ADMINISTRATIVAS Y CONTABLES

5. LEYES CONMUTATIVAS:

a) p  qq p
b) p  qq p
c) pqqp
d) p  qq p

6. LEYES ASOCIATIVAS:

a) p  (q  r)  (p  q)  r
b) p  (q  r)  (p  q)  r
c) p  (q  r)  (p  q)  r

7. LEYES DISTRIBUTIVAS:

a) p  (q  r)  (p  q)  (p  r)
b) p  (q  r)  (p  q)  (p  r)
c) p  (q  r)  (p  q)  (p  r)
d) p  (q  r)  (p  q)  (p  r)

8. LEYES DE MORGAN:

a) (p  q)  p  q
b) (p  q)  p  q

9. LEYES DEL CONDICIONAL:

a) p q  p  q
b) (pq)  p  q

10. LEYES DEL BICONDICIONAL:

a) p  q  (p  q)  (q  p)
b) p  q  (p  q)  (p  q)

11. LEYES DE ABSORCIÓN:

a) p  (pq)p
b) p  (pq)p
c) p  (p  q )  p  q
d) p  (p  q )  p  q

18
 BENJAMÍN HINOSTROZA EULOGIO - CIENCIAS ADMINISTRATIVAS Y CONTABLES

12. LEYES DE TRANSPOSICIÓN:

a) (pq)  q  p
b) (pq)  q  p

13. LEYES DE EXPORTACIÓN:

a) (pq)r  p(q  r)
b) (p1p2…pn)r(p1p2…pn-1) (pnr)

14. FORMAS NORMALES PARA LA CONJUNCIÓN Y DISYUNCIÓN:

CONJUNTIVA DISYUNTIVA
a) TCC a) CTT
b) TPP c) CPP
d) CPC e) TPT

(T=Tautología; C=contradicción; P=Esquema molecular cualquiera)

PRÁCTICA N° 04

1. Hallar el equivalente en cada una de las siguientes expresiones. (T - C)

a) p  p
b) p  p
c)  r r
d) t t
e) (pr)  (pr)
f)  (pr)  (pr)
2. Hallar el equivalente en cada una de las siguientes expresiones. (Doble
negación)
a) (p)

b) [(r)]
c) [(pq)]
d) [(pr)]
e) [r(pq)]

19
 BENJAMÍN HINOSTROZA EULOGIO - CIENCIAS ADMINISTRATIVAS Y CONTABLES

3. Utilice leyes lógicas para hallar el equivalente de: (Idempotencia)

a) pp
b) qq
c) (pq)(pq)
d) (pr)(pr)
e) [(pq)(qp)](pq)
f) (qr)[(qr)(rq)](qr)
g) [(pr)] [(pr)(pr)](pr)
h) (pq) {(qp)[(qp)]}

4. En cada uno de las siguientes esquemas, representar de una manera

diferente a las ya expresada: (Asociativa)

a) (pq)r
b) (pr)(qt)
c) (qr)(rp)
d) (pr)(pq)
e) {[(pr)(rq)](pr)}(mn)

5. Simplificar las siguientes expresiones lógicas utilizando las leyes del

álgebra de proposiciones. (Morgan)

a) (pq)p
b) (pq)(pq)
c) (pq)[(pq)(pq)]
d) [(rq) (pq)][r(qp)]
e) [(pq)(rp)][(qp)(rp)]

20
 BENJAMÍN HINOSTROZA EULOGIO - CIENCIAS ADMINISTRATIVAS Y CONTABLES

6. Encontrar el equivalente de las siguientes expresiones lógicas: (condicional)

a) pq
b) pq
c) (rp)
d) (pr) (pr)
e) [(pr)(pqr)]
f) (pq)[(pq)(qr)]

7. Utiliza la ley distributiva y halla el equivalente de las siguientes expresiones

lógicas: (Distributiva)
a) p(qr)
b) r(qp)
c) p(rq)
d) (pq)[q(pr)]
e) [(pr)(rq)](pq)
f) p(qr)
g) r(pq)
h) (pq)(rs)
i) (pq)[(rq)(pr)]

8. Utilice leyes lógicas para simplificar: (Absorción)

a) p(pq)
b) q(pq)
c) p(rq)(prts)
d) p(pr)
e) p(qp)
f) p[(rtq)(pr)]
g) p[(rt)p]
h) qr(pq)

21
 BENJAMÍN HINOSTROZA EULOGIO - CIENCIAS ADMINISTRATIVAS Y CONTABLES

i) (pq)[(pq)(rt)]
j) (rs)[(rs)(pq)]
k) (qr)[(qr)(qr)]
l) (pq)(qrtps)

9. Halla el equivalente de las siguientes expresiones lógicas: (Formas

normales para la Conjunción y Disyunción)
a) pq(rp)
b) (pq)(pq)
c) (pq)[(pq)(qp)]
d) [q(rs)(pr)(pq)]p
e) [(ts) (pr)(ts)]{(tr)[(pr)(rs)]}
f) (pq)q[(rp)(ps)](st)
g) [(pq)(pq)][p(pq)]

10. Utilizando las leyes del álgebra de proposiciones, determine el equivalente

más simple de las expresiones:
a) (pq)[(pq)p]
b) (pq)(pq)

11. Simplificar las siguientes expresiones lógicas:

a) [(pq)(qp)](pq)
b) [(pq)q]p
c) q[(pq)p]
d) (pq)(pp)
e) [(pq)q]

22
 BENJAMÍN HINOSTROZA EULOGIO - CIENCIAS ADMINISTRATIVAS Y CONTABLES

12. Determine el equivalente más simple de las siguientes expresiones:

a) [(pq)p]p
b) (pq)(qp)
c) [(pq)q][p(pq)]

13. Encuentre los esquemas más simples equivalentes a las proposiciones:

a) [(pq)q]p
b) [(pq)p](qp)

14. Simplificar las siguientes proposiciones:

a) {[qq][(p)(q)]}(pq)
b) [(pq)p](qp)
c) [(pq)q][(pq)]

15. Simplificar las siguientes proposiciones

a) [(pq)(rr)]q
b) [(qp)(pq)](pq)

16. Dada la proposición:

“No es cierto que, hace frío y no se congele“
¿A qué es equivalente esta proposición? Simplifique.

17. ¿Cuál es la conclusión de la siguiente premisa? Simbolice y simplifique.

Si estudio en la mañana entonces me levantare temprano. Sin embargo,
estudio en la mañana o no voy al cine en la tarde. Pero iré al cine en la
tarde.

18. “Juan es huancaíno o no es responsable, pero ocurre que Juan es

responsable. Por lo tanto Juan es huancaíno”. Es equivalente a: (Simbolice
y simplifique.)

23
 BENJAMÍN HINOSTROZA EULOGIO - CIENCIAS ADMINISTRATIVAS Y CONTABLES
19. “Si no apruebas o no resuelves este problema, entonces es falso que,
hayas estudiado o domines la Lógica proposicional. Pero no dominas la
Lógica proposicional aunque no has estudiado.
Por lo tanto: ¿A que conclusión se puede llegar? (Simplifique.)

20. Simbolice:
Alan y Rómulo León son inocentes, si los petroaudios no existen. Pero la
verdad es que Rómulo León es protegido por la justicia a no ser que los
petroaudios existan. Sin embargo que los petroaudios no existan es
condición suficiente para que Rómulo León no sea inocente. Por lo tanto
Alan no es inocente porque la justicia protege a Rómulo León

21. “Que Huancayo no sea ciudad incontrastable es condición suficiente para

no ser provincia de Junín; por lo tanto si Huancayo no es provincia de Junín
entonces tampoco es ciudad incontrastable. Sin embargo no el caso que,
Huancayo es ciudad incontrastable y también provincia de Junín”
Del párrafo anterior. ¿A que conclusión se puede llegar?
(Simbolice y simplifique)

24