Universidad Nacional San Cristóbal de Huamanga

Escuela Profesional de Ingenieria civil

Practica No 1 - Semestre 2018-I

1. En el libro Hijos en libertad de A. S Neill están escritas las siguientes pro-

posiciones
p: Mis maestros hacen que todas las lecciones sean aburridas.
q: No aceptan las respuestas que no guran en los libros.
r: Imponen un cúmulos de normas estúpidas.
Construir las proposiciones
a) p ∧ q b) ∼ q ∨ r c) (p ∧ q) → r
2. Escribir en forma simbólica la siguiente proposición compuesta que gura en
el mismo texto.
"La chatura y el tedio de ciertas disciplinas escolares se transmiten a los
maestros y las se llenan de hombresy mujeres de mentalidad estrecha, vani-
dosos cuyo horizonte está limitado por el pizarrón y el libro de texto "
3. Confeccionar las tablas de valores de verdad de las proposiciones.
a ) (p ∧ q) → r
b ) ∼ (p ∨ q) ↔∼ p∧ ∼ q

4. Negar las proposiciones construidas en el ejercicio 1.

5. Proponer las siguientes proposiciones en forma simbólica, negarlas y retra-
ducirlas.
a ) no es justa, pero mantiene el orden.
b ) Los alumnos conocen a los simuladores y los desprecian.
c ) Si los alumnos conocen a los simuladores entonces los desprecian.

6. Determinar si las siguientes proposiciones son leyes lógicas.

a) p ∧ q → q
b ) [(p → q) ∧ (q → r)] → (p → r)
c ) p → (p ∧ q)
d ) p → (p ∨ q)

7. Simplicar las siguientes proposiciones

1
 a ) ∼ (∼ p∨ ∼ q)
b ) ∼ (p ∨ q) ∨ (∼ p ∧ q)

8. Sabiendo que p ∨ q es V y que ∼ q es V determinar el valor de verdad de

[(p ∨ q)∧ ∼ q] → q

9. Determinar en cada caso, si la información que se da es suciente para co-

nocer el valor de verdad de las siguientes proposiciones. En caso armativo,
justicarlo.
a ) (p → q) → r ; r es V
b ) (p ∨ q) ↔ (∼ p∧ ∼ q) ; q es V
c ) (p ∧ q) → (p ∨ r) ; p es V y r es V
d ) p ∧ (q → r) ; p → r es V

10. los valores de verdad de las proposiciones p, q, r y s son respectivamente

V, F, F, V Obtener los valores de verdad de.

a ) [(p ∨ q) ∨ r] ∧ S
b ) r → (s ∧ p)
c ) p ∨ r ↔ r∧ ∼ s

11. Negar las proposiciones

a ) ∃x/ P (x) ∨ Q(x).
b ) ∀x : P (x) → Q(x)
c ) ∀x, ∃y / xy = 0

12. Dadas las proposiciones

a ) El cuadrado de todo número real es mayor que 2.
b ) Existen enteros cuyo cubo aumentado en 1 es igual al cubo del siguiente.
c ) Todo el que estudia triunfa.

Expresarlas simbólicamente, negar las expresiones obtenidas y retraducirlas

al lenguaje ordinario.
13. Construir un circuito correspondiente a la proposición
(p∧ ∼ q) ∨ (∼ p ∧ q) ∨ (∼ q∧ ∼ q)