Ejercicios-Logica Proposicional

CARRERA DE INGENIERÍA INFORMÁTICA Y DE SISTEMAS
ASIGNATURA : Estructuras Discretas de Computación.

PERIODO ACADÉMICO : 2021-2
GUIA DE EJERCICIOS N01

LÓGICA PROPOSICIONAL (PARTE I)
SECCION I
1. ¿Cuáles de las siguientes expresiones corresponden a proposiciones o a funciones

proposicionales o a ninguna de las dos?
a) En Perú solamente han ganado 6 personas el Premio Nobel de Física.

b) 2 ≠ 4−1.
c) x 2+ 6 x+5< 0
d) Cesar Vallejos nació en Paris.
e) 2+3< 10-3
f) Prohibido fumar
g) Que edad tienes?
h) El esta jugando tenis
i) 2x + 3y = 8
2. Dadas las proposiciones p, q y r tales que v(p) = v(q) = F y v(r) = V, hallar el valor de
verdad de las siguientes proposiciones:
a) p → (q ∨r ) b) ∼ q →( p ∨r )
c) ∼( p ∧ q)→( r ∧ p) d) ∼ ( q → r ) →( p → r)
3. En cuales de los siguientes casos es suficiente la información para conocer el valor de

verdad de las proposiciones correspondientes.
a) A=( p ∨ q ) ↔ ( p ∧ q ) ; v ( q )=V
b) B=( p ∧q ) → ( p ∨r ) ; v ( p )=V y v ( r )=F
c) C= [ p ∧ ( q → r ) ] ; v ( p → r )=V
d) D= ( p → q ) → r ; v ( r )=V
4. Definamos p # q como una operación verdadera si p es falsa y q verdadera, y como falsa

en todos los casos restantes. Según esto, si r: “Juan es médico” y s: “Juan es deportista”;
hallar la traducción de r # s.
5. Simbolizar en cada una de las siguientes proposiciones en los espacios en blanco,

utilizando variables proposicionales y conectivos lógicos. Luego determinar el valor de verdad
de cada una de ellas.
p :5+3>7 q :5+3=7 r :5=4
a) 5+3 ≥ 7 _______________________________
b) 5+3>7 , pero 5+3=7 _______________________________
c) 5+3=7 , si y solo si 5=4 _______________________________
d) Si5+3=7 y 5=4 , entonces5+ 3>7 ________________________
6. De la falsedad de ( p →∼q ) ∨ ¿, se deduce que el valor de verdad de los esquemas:

A=∼ ( ∼q ∨∼r ) →∼ p B=∼ ( ∼r ∧ s ) ↔ ( ∼ p →∼ q )
pág. 1
C= p →∼ {q → ∼( s → r ) }
Son respectivamente:
a) FFV b) FFF c) FVF d) FVV e) N.A
7. Si la siguiente expresión ∼ [ ( ∼ p ∧ q ) ∨ ( r → q ) ] ∧[(∼ p ∨ q)→(q ∧∼ p)] , es

verdadera. Hallar los valores de verdad de p, q y r.
8. Las variables proposicionales p , q y r denotan a las proposiciones.

p: Juan aprueba la asignatura Lenguaje II.
q : Juan estudia en la Biblioteca de la Universidad.
r : Juan se especializa en Derecho Comercial.
Escriba cada una de las proposiciones compuestas en lenguaje proposicional.
a) Si Juan estudia en la Biblioteca de la Universidad entonces aprueba la asignatura Lenguaje II.
b) Si Juan no aprueba la asignatura Lenguaje II entonces no estudió en la Biblioteca de la
Universidad.
c) Juan no aprueba la asignatura Lenguaje II sí y sólo no se especializa en Derecho Comercial.
d) Juan estudia en la Biblioteca de la Universidad y, aprueba la asignatura Lenguaje II o se
especializa en Derecho Comercial.
e) No es cierto que Juan no estudia en la Biblioteca de la Universidad y no aprueba la asignatura
Lenguaje II.
f) Juan se especializará en Derecho Comercial y aprueba la asignatura Lenguaje II, o estudia en
la Biblioteca de la Universidad.
g) Juan se especializará en Derecho Comercial, y aprueba la asignatura Lenguaje II o estudia en
la Biblioteca de la Universidad.
9. Si
p : Carlos vendrá ,
q : Carlos a recibido la carta y
r :Carlos está interesado todavia en el asunto
Simbolizar los siguientes enunciados:
a) “Carlos vendrá, si ha recibido la carta, siempre que esté interesado todavía en el asunto”.
b) “Carlos vendrá por que ha recibido la carta o no está interesado todavía en el asunto”.
c) “Carlos vendrá si y solo si ha recibido la carta o vendrá porque está interesado todavía en
el asunto”.
10. Determinar los valores de verdad de las siguientes proposiciones:

a) p : ( 3+5=8 ) ∨ ( 5−3=4 )
b) q : ( 5−3=8 ) → ( 1−7=6 )
c) r : ( 3+8=11 ) ∧ ( 7−4 >1 )
d) s : ( 4 +6=9 ) ↔ ( 5−2=4 )
11. Obtenga la tabla de verdad que le corresponde a las fórmulas lógicas, calificándolas de
tautología, contradicción (falsedad) o contingencia, según sea el caso.
a) ( p ⟶ q ) ⟷ [ ( q ∨ p ) ⟶ r ]
b) ( m ⟷ n ) ⟶[(m∨ n)∧( m∨ n)]
c) ( m∧ m ) ⟶ [ ( m∨ n ) ∧ r ]
d) ( p ⟷ p)⟶ [ ( p∨ p ) ∧ ( p⟶ p ) ]
12. En cada uno de los siguientes ejercicios determine si se cumple la equivalencia lógica.
a) q ( q p )( p q ) q
b) p qq p
c) ( p q) [ ( p q ) r ] p q
pág. 2
d) p ( q r ) ( p q) r
13. Para las siguientes tablas:
a)
∧ r↔ p q∧m m↔ m q ∨ ∼r
∼ p →q F
∼ m∨ r
p↔ r
∼ m∨ m V
b)
→ m∧(r ∨∼r ) q→∼ p p ∼( p ∧∼ m) ∼( r → r )
∼ p →∼ q V
m∨ p F
q ∧(q ∨ s)
∼ m∨ ∼ q
i) Determine los valores que les corresponden a sus variables lógicas.

ii) Escriba en cada recuadro en blanco V ó F según corresponda a verdadero o falso.
SECCION II
En cada uno de los ejercicios del 1-4 representar la forma común de cada argumento
utilizando las letras para representar las oraciones componentes, y rellenar los espacios en
blanco para que el argumento en la parte (b) tenga la misma forma lógica que el argumento
en la parte (a).
1. Por ejemplo:
a) Si todos los números enteros son racionales, entonces el número 1 es racional.
Todos los números enteros son racionales.
Por lo tanto, el número 1 es racional.
p :todoslos números enteros son racionales

q : elnúmero 1 es racional
Representación delargumento :( MP )
p →q
p
∴q
b) Si todas las expresiones algebraicas se pueden escribir en la notación de prefijo,
entonces ________________________________________________
____________________________________________________________.
Por lo tanto, (a + 2b) (a2 - b) puede escribirse en prefijo notación
2.
a) Si todos los programas informáticos contienen errores, entonces este programa contiene
un error.
Este programa no contiene un error.
Por lo tanto, no es el caso que todos los programas informáticos contienen errores.
b) Si ______________________, entonces __________________

2 no es impar.
pág. 3
Por lo tanto, no es el caso que todos los números primos son impares
3.
a) Este número es par o este número es impar.
Este número no es par.
Por lo tanto, este número es impar.
b) ______________________ o la lógica es confusa.

Mi mente no está muerta.
Por lo tanto, ______________________
4.
a) Si n es divisible por 6, entonces n es divisible por 3.
Si n es divisible por 3, entonces la suma de los dígitos de n es divisible por 3.
Por lo tanto, si n es divisible por 6, entonces la suma de los dígitos de n es divisible por
3.
(Supongamos que n es un entero fijo particular.)
b) Si esta función es ______________ entonces, esta función es diferenciable.

Si esta función es ______________ entonces, esta función es continua.
Por lo tanto, si esta función es un polinomio, entonces esta función _______________.
5. Indique cuáles de las siguientes oraciones son proposiciones:

a) 1,024 es el número de cuatro dígitos más pequeño que es un cuadrado perfecto.
b) Ella es una maestra de matemáticas.
c) 128 = 26
d) X = 26
Escribe las proposiciones en forma simbólica usando los símbolos , ∨, ∧ y las letras indicadas
para representar las declaraciones de los componentes.
6. Sea p = "las acciones están aumentando" y q = "las tasas de interés son constantes".
a) Las acciones están aumentando, pero las tasas de interés son estables.
b) Ni las acciones están aumentando ni las tasas de interés están estables.
7. Sea p = "Juan es saludable", q = "Juan es rico", y r = "Juan es sabio".

a) Juan es sano y rico, pero no sabio.
b) Juan no es rico, pero es sano y sabio.
c) Juan no es sano, ni rico ni sabio.
d) Juan no es rico ni sabio, pero está sano.
e) Juan es rico, pero no es saludable y sabio.
8. Sean
p: "DATAENDFLAG está desactivada"
q: "ERROR es igual a 0"
r: "SUM es menor de 1.000".
Exprese las siguientes oraciones en notación simbólica.
a) DATAENDFLAG está desactivado, ERROR equivale a 0 y SUM es inferior a 1.000.

b) DATAENDFLAG está desactivado, pero ERROR no es igual a 0.
c) DATAENDFLAG está desactivado; Sin embargo, ERROR no es 0 o SUM es mayor o
igual a 1.000.
d) DATAENDFLAG está activado y ERROR es igual a 0 pero SUM es mayor o igual a 1.000.
e) DATAENDFLAG está activado o es el caso de que tanto ERROR es igual a 0 como SUM
es menor que 1,000.
Escribe las tablas de verdad para las siguientes expresiones:
pág. 4
9. p ∧q
10. p ∧(q ∧r )
Determine si las siguientes expresiones son lógicamente equivalentes.

En cada caso, construya una tabla de verdad e incluya una oración que justifique su respuesta. Su
oración debe mostrar que usted entiende el significado de la equivalencia lógica
11. p ∨ ( p ∧q ) y p
12. p ∨T y T
13. ( p ∧q ) ∧ r y p∧( q ∧r )
SECCION III
Construya las tablas de verdad para las siguientes expresiones

1. p ∨q → q
2. ( p ∨q ) ∨(∼ p∧ q)→q
3. p ∧∼q → r
4. p ∨q → r
5. p ∧∼r ↔q ∨ r
6. ( p →r )↔(q → r)
7. ( p → ( q →r ) )↔(( p ∧q) →r )
pág. 5

Ejercicios-Logica Proposicional

Cargado por

Copyright:

Formatos disponibles

Ejercicios-Logica Proposicional

Cargado por

Información del documento

Descripción original:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Ejercicios-Logica Proposicional

Cargado por

Copyright:

Formatos disponibles

CARRERA DE INGENIERÍA INFORMÁTICA Y DE SISTEMAS

ASIGNATURA : Estructuras Discretas de Computación.

GUIA DE EJERCICIOS N01

1. ¿Cuáles de las siguientes expresiones corresponden a proposiciones o a funciones

a) En Perú solamente han ganado 6 personas el Premio Nobel de Física.

3. En cuales de los siguientes casos es suficiente la información para conocer el valor de

4. Definamos p # q como una operación verdadera si p es falsa y q verdadera, y como falsa

5. Simbolizar en cada una de las siguientes proposiciones en los espacios en blanco,

b) 5+3>7 , pero 5+3=7 _______________________________

c) 5+3=7 , si y solo si 5=4 _______________________________

d) Si5+3=7 y 5=4 , entonces5+ 3>7 ________________________

6. De la falsedad de ( p →∼q ) ∨ ¿, se deduce que el valor de verdad de los esquemas:

a) FFV b) FFF c) FVF d) FVV e) N.A

7. Si la siguiente expresión ∼ [ ( ∼ p ∧ q ) ∨ ( r → q ) ] ∧[(∼ p ∨ q)→(q ∧∼ p)] , es

8. Las variables proposicionales p , q y r denotan a las proposiciones.

10. Determinar los valores de verdad de las siguientes proposiciones:

i) Determine los valores que les corresponden a sus variables lógicas.

p :todoslos números enteros son racionales

b) Si ______________________, entonces __________________

b) ______________________ o la lógica es confusa.

b) Si esta función es ______________ entonces, esta función es diferenciable.

5. Indique cuáles de las siguientes oraciones son proposiciones:

7. Sea p = "Juan es saludable", q = "Juan es rico", y r = "Juan es sabio".

a) DATAENDFLAG está desactivado, ERROR equivale a 0 y SUM es inferior a 1.000.

Escribe las tablas de verdad para las siguientes expresiones:

Determine si las siguientes expresiones son lógicamente equivalentes.

Construya las tablas de verdad para las siguientes expresiones

También podría gustarte

b) Si ____, entonces