UNIVERSIDAD NACIONAL DE MOQUEGUA

ESCUELA PROFESIONAL DE INGENIERÍA DE

SISTEMAS E INFORMÁTICA

TRABAJO ENTREGADO: PROPOSICIONES Y

TABLA DE VERDAD

CURSO:
MATEMÁTICAS DISCRETAS

ALUMNO:
FERNANDO JOSE TANCARA PILCOMAMANI

ILO – PERÚ

2021
Ejercicio 01.-
a) Si es proposición, (F) → Negación (V)
b) No es proposición
c) Si es proporción (F) → Negación (V)
d) Si es proposición (V) → Negación (F)
e) No es proposición
f) Si es proposición (F) → Negación (V)
g) No es proposición

Ejercicio 02.-
EJERCICIO 2 - 1
p q -q p ∧ -q
V V F F
V F V V
F V F F
F F V F
EJERCICIO 2 - 2
p q -p p∨ q (p ∨ q) ∧ -
p
V V F V F
V F F V F
F V V V V
F F V F F
EJERCICIO 2 - 3
p q -p p∧ q -p ∨ q (p ∧ q) ∨ (-p ∨ q)
V V F V V V
V F F F F F
F V V F V V
F F V F V V
EJERCICIO 2 - 4
p q -q -p -p ∨ -q (-p ∨ -q) ∨
p
V V F F F V
V F V F V V
F V F V V V
F F V V V V
EJERCICIO 2 - 5
p q p∧ q -p (p ∧ q) ∧ -
p
V V V F F
V F F F F
F V F V F
F F F V F
 EJERCICIO 2 - 6
p -p q r p∧ q r ∧ -p -(p ∧ q) -(p ∧ q) ∨ (r ∧ -p)
V F V V V F F F
V F V F V F F F
V F F V F F V V
V F F F F F V V
F V V V F V V V
F V V F F F V V
F V F V F V V V
F V F F F F V V

EJERCICIO 2 - 7
(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) ∧ (p ∨ ∧ (-
-q) p ∨ -q)
V F F V V V F V V F
V F F V V F V V F F F
F V V F V V F V V F F
F F V V F V V V F F F

EJERCICIO 2 - 8
p q r -q -(p ∧ q) (-q ∨ r) -(p ∧ q) ∨ (-q ∨ r)
V V V V F V V
V V F V F V V
V F V F V V V
V F F F V F V
F V V V V V V
F V F V V V V
F F V F V V V
F F F F V F V

Ejercicio 03.-
p: Juan estudia computación
q: Juan estudia matemáticas
~p : (Juan no estudia computación)

p ∨ ~q : (Juan estudia computación y no estudia

matemáticas) p ∧ q : (Juan estudia computación y
matemáticas)
p ∧ ~q : (Juan estudia computación y no estudia
matemáticas) p ∨ q : (Juan estudia computación o estudia
matemáticas)
~p ∧ ~q: (Juan no estudia computación ni matemáticas)
 p: Hoy es miércoles
q: Está lloviendo
r: Hace calor

p∨q : (Hoy es miércoles y está lloviendo)

~(p ∨ q) ∧ r : (Hoy no es miércoles y esta no lloviendo y haces calor)
~p ∧ (q ∨ r) : (Hoy no es miércoles y está lloviendo o hace calor)
(p ∧ q) ∧ ~(r ∨ p) : (Hoy es miércoles y está lloviendo y no llueve u no es miércoles)
p: La computación es fácil
q: Los ingenieros deben saber computación
p∧q : (La computación es fácil y los ingenieros deben saber computación)
~(p ∨ q) : (La computación no es fácil y no los ingenieros no debes saber
computación)
~(q ∨ ~p) : (Los ingenieros no deben saber computación y la computación es fácil)
~(p ∨ ~q) : (La computación no es fácil y los ingenieros debes saber computación)
p→ q : (Si la computación es fácil entonces los ingenieros deben saber
computación)

Ejercicio 04.-
Se presento un proyecto de ley que indica: “Será ilegal que una persona tenga más de
tres (3) perros y tres (3) gatos en su propiedad dentro de la ciudad”. El Ing. Rene
Luque tenía cinco perros y ningún gato, ¿estaba incumpliendo la ley?, explique.
No estaba incumpliendo con la ley, puesto que esta indica aquella persona que tenga
3 gatos y 3 perros.
p: 3 perros
q: 3 gatos
Mientras que el ingeniero Rene solo tiene 5 perros más no gatos.

Ejercicio 05.-
Suponiendo que p es verdadera, q es falsa y r es verdadera, encuentre el valor de
verdad de cada proposición
p: verdadera
q: falsa
r: verdadera

(p ∧ q) → r (p ∨ q) → ~r p ∧ (q → r) p → (q → r)
p ∧ q → r p ∨ q → ~r p ∧ (q → r) p → q → r
V F F V V V V F F F V V F V V V V F V V
Ejercicio 06.-
a) Si María estudia mucho entonces María será una buena estudiante.
b) Si Juan esta en 2do, 3ro o 4to grado de universidad entonces Juan tomará cálculo.
c) Si cantas entonces me duelen los oídos.
d) Si Los Cachorros contratan un pitcher suplente diestro entonces Los Cachorros
ganarán la Serie Mundial
e) Si María quiere ir a la Torre Eiffel entonces María deberá visitar Francia.
f) Si José estudia mucho entonces pasará el examen de matemáticas.
g) Si Fernando tiene 2000 soles entonces Fernando se puede comprar una
computadora.
h) Si Katia aprueba matemáticas discretas entonces Katia tomará el curso de algoritmos.

Ejercicio 07.-

~ (p → q) (p → q) ∧ (q → r) (p → q) → r
~ p → q p → q ∧ q → r p → q → r
F V V V V V V V V V V V V V V V
V V F F V V V F V F F V V V F F
F F V V V F F F F V V V F F V V
F F V F V F F F F V F V F F V F
F V V V V V V F V V V V
F V V F V F F F V V F F
F V F V F V V F V F V V
F V F V F V F F V F F F

(p ∨ r) ↔ r p → (q → r)
p ∨ r ↔ r p → q → r
V V V V V V V V V V
V V F F F V F V F F
V V V V V V V F V V
V V F V F V V F V F
F V V V V F V V V V
F F F V F F V V F F
F V V V V F V F V V
F F F V F F V F V F
 (s → (p ∧ ~r)) ∧ ((p → (r ∨ q)) ∧ s)
s → p ∧ ~r ∧ p → r ∨ q ∧ s
V F V F F F V V V V V V V
F V V F F F V V V V V F F
V V V V V V V V F V V V V
F V V V V F V V F V V F F
V F V F F F V V V V F V V
F V V F F F V V V V F F F
V V V V V F V F F F F F V
F V V V V F V F F F F F F
V F F F F F F V V V V V V
F V F F F F F V V V V F F
V F F F V F F V F V V V V
F V F F V F F V F V V F F
V F F F F F F V V V F V V
F V F F F F F V V V F F F
V F F F V F F V F F F V V
F V F F V F F V F F F F F

((p ∧ ~q) → (q ∧ r)) → (s∨ ~q)

p ∧ ~q → q ∧ r → s ∨ ~q
V F F V V V V V V V F
V F F V V V V F F F F
V F F V V F F V V V F
V F F V V F F F F F F
V V V F F F V V V V V
V V V F F F V V F V V
V V V F F F F V V V V
V V V F F F F V F V V
F F F V V V V V V V F
F F F V V V V F F F F
F F F V V F F V V V F
F F F V V F F F F F F
F F V V F F V V V V V
F F V V F F V V F V V
F F V V F F F V V V V
F F V V F F F V F V V

Ejercicio 08.-
p q r p∨r
Porque al usar 'o' solamente sale F si ambos son
V F - V falsos. En este caso uno es Verdadero por lo que el
resultado es V
p q r p→r
En este caso depende de r puesto que si expresion
V F - Desconocido entonces solo es F si cumple: V→F : F. En caso el
segundo sea V entonces el resultado es V

p q r r→p
Es V puesto que para la expresión entonces sea
V F - V falso necesita: V→F, pero en este caso el segundo
es V por lo que el resultado siempre sera V

p q r p∨r
Porque al usar 'o' solamente sale F si ambos son
V F - V falsos. En este caso uno es Verdadero por lo que el
resultado es V

p q r (p ∧ r) ↔ r
En la primera parte puede resultar V o F
dependiendo de r, si r es V entonces el resultado es
V, si lo comparamos con la logica proposicional
V F - V
resulta V, en caso r sea F entonces la primera parte
es F, si lo comparamos con la LP entonces el
resultado es V porque ambos serían iguales

p q r (q ∧ r) ↔ r
En este caso el resultado es F, puesto que en el
incio depende de r para que sea V o F, en caso r es
verdadero, el resultado es F, comporando con la
V F - Desconocido
logica proposicional son diferentes por lo que
resulta F, igual si r toma el valor de F el resultado es
verdadero.

p q r p∧r
Debido a que se requieren 2 valores V para que sea
V F - Desconocido
V, en este caso solo es p mientras que r es duduso

p q r q→r
El resultado es V puesri que el romero es F, necesia
V F - V
de V en la primera expresión

p q r r→q
El resultado depende de r, si r es verdadero, el
V F - Desconocido
resultado resulta F; si r es falso el resultado es V

p q r (p ∨ r) ↔ r
En la primera parte siempre va a resultar V porque p
es V y no importa el valor de r siempre será V, por lo
V F - Desconocido
que al comparar con logica proposicional
depdendera de r, si r es V: V, si r es F:F

p q r (q ∨ r) ↔ r
En la primera parte dependerá de r, si r es
verdadero entonces es: V, si r es falso entonces: F.
V F - V Comparando con logica proposicional este resultado
es igual a r por lo que el resultado final siempre es
V.
Ejercicio 09.-
[(𝑞 ↔ 𝑝) ∧ ¬𝑞] → (𝑝 ∧ ¬𝑞)
p q -q q <--> p [(q <--> p ) ∧ -q] p ∧ -q [(q <--> p ) ∧ -q] --> (p ∧ -q)
F F V V V F F
En el caso de la primera si existe solución para que lo propuesto sea Falso: p:F , q:F

[(¬𝑝 → 𝑞) → ¬𝑟] ∨ (¬𝑞 → 𝑟)

p q r -q -p --> q [(-p --> q) --> -r] (-q --> r) [(-p --> q) --> -r] ∨ (-q --> r)
V F F V V F F F
En esta segunda no existe solución para que sea Falso, puesto que en la tabla de
valor todas las combinaciones salen Verdadero.

[¬𝑝 ∧ (𝑝 ∨ 𝑞)] ∧ (𝑝 ↔ 𝑞)
p q -p p ∨ q -p ∧ (p ∨ q)] (p <--> q) -p ∧ (p ∨ q)] ∧ (p <--> q)
F F V F F V F
De la misma forma que el anterior esta proposición no tiene solución para que el
resultado sea Verdadero, porque en la tabla de valores todos tienen resultado falso.
Ejercicio 10.-
EJERCICIO 10 - ENUNCIADO
p q r -p -q (-p ∨ -q) (-p ∨ -q) ∧
r
V V V F V V V
V V F F V V F
V F V F F F F
V F F F F F F
F V V V V V V
F V F V V V F
F F V V F V V
F F F V F V F
EJERCICIO 10 - ALTERNATIVA A
p q r -q -q ∧ r p --> (-q ∧ r)
V V V F F F
V V F F F F
V F V V V V
V F F V F F
F V V F F V
F V F F F V
F F V V V V
F F F V F V
EJERCICIO 10 - ALTERNATIVA B
p q r (p --> q) (p --> q) ∧ r
V V V V V
V V F V F
V F V F F
V F F F F
F V V V V
F V F V F
F F V V V
F F F V F
EJERCICIO 10 - ALTERNATIVA C
p q r -q (p --> -q) (p --> -q) ∧ r
V V V F F F
V V F F F F
V F V V V V
V F F V V F
F V V F V V
F V F F V F
F F V V V V
F F F V V F