UNIVERSIDAD NACIONAL DANIEL ALCIDES CARRIN

FACULTAD DE INGENIERIA

ESCUELA DE FORMACIN PROFESIONAL DE SISTEMAS Y COMPUTACIN

PRCTICA N 1
EFP : SISTEMAS Y COMPUTACIN ASIGNATURA : MATEMTICA BSICA
Seccin : NICA Turno: MAANA Semestr : I
e
Docente: Ing. Diana J. CANTA HILARIO Fecha: 05/05/2017

LGICA PROPOSICIONAL

Indicaciones: Desarrollar cada uno de los siguientes ejercicios, se considerar el

procedimiento.
I. NIVEL I: Aplicacin de la teora de lgica proposicional

1. Escribir la definicin y dar una ejemplo de las siguientes palabras :

a. Proposicin:
b. Proposicin Simple:
c. Proposicin Compuesta:
d. Proposicin Abierta:
e. Esquema Molecular:
2. Determinar la clase de proposicin: (Simple, Compuesta)
a. Un tringulo tiene tres lados y dos ngulos.
b. Pablo Neruda es chileno.
c. Juan es pobre pero feliz.
d. Juan es ms alto que Ana.
e. Ciro Alegra fue poeta y escritor.
3. De los enunciados siguientes determinar: (Proposicin, No proposicin,
enunciado abierto)
a. Hola que tal!
b. Hacee mucho frio.
c. l est escribiendo un libro.
d. x+ 4> 16
e. Buen da
f. Si x es par entonces es divisible por 2.
g. Siete es un nmero impar.
h. 4 +5 10
i. Ella es actriz y cantante.
j. Cmo ests?
4. Sean las proposiciones:
P : Inflacin disminuye.
Q : Economa crece.
Escribir con un enunciado verbal las siguientes proposiciones compuestas:
a. p f. q p
b. p q g. pq
c. p q h. p q
d. q p i. q
e. p q j. ( p q ) p

1
 UNIVERSIDAD NACIONAL DANIEL ALCIDES CARRIN
FACULTAD DE CIENCIAS ECONMICAS Y CONTABLES
ESCUELA DE FORMACIN PROFESIONAL DE CONTABILIDAD

5. Simbolizar y determinar el valor de verdad de las siguientes proposiciones:

a. Si 17 5 = 3, entonces 4*( 5 + 3 ) = 32.
b. 12 es mltiplo de 4 pero 5 no es mayor que 7
c. Un tringulo tiene tres aristas a la vez la pirmide tiene cinco aristas
d. Si 3 . 5 = 15, entonces 5 = 5
e. Un pentgono tiene 6 lados aunque el tringulo tiene 3 lados
f. 4 6 o 13 6.
g. Si los tringulos son polgonos entonces 2 + 2 = 4
h. 8 4 = 12 o 12 es un nmero impar.
i. Si (3 * 5) es un nmero natural, entonces no es verdad que 1+1 =3.
j. Si 1 = 2, entonces 6 es un nmero primo.
6. Sean las proposiciones:
a. b. c. En Pasco es invierno.
P :
d. e. f. En Pasco est lloviendo.
Q :
g. Escribir los siguientes enunciados en forma simblica con p y q.

2
 UNIVERSIDAD NACIONAL DANIEL ALCIDES CARRIN
FACULTAD DE CIENCIAS ECONMICAS Y CONTABLES
ESCUELA DE FORMACIN PROFESIONAL DE CONTABILIDAD

h. Es Pasco es invierno y est lloviendo.

i. Es Pasco es invierno pero no est lloviendo.
j. Es falso que en Pasco sea invierno o este lloviendo.
k. En Pasco no es invierno ni est lloviendo.
l. Es Pasco es invierno, o no es Invierno y est lloviendo.
m. No es verdad que en Pasco no sea invierno o que no est lloviendo.
7. Escribir los siguientes enunciados en forma simblica:
a. No es el caso que p y q.
b. Si p, entonces q, adems si q entonces p.
c. p solamente si q y no r.
d. p o no q porque q a la vez r.
e. Si p entonces q.
f. Si p y q, entonces no r o s.
g. No p y q entonces no r o t
h. p o q, si y solo si, es falso que r y t.
i. Si p y q y r, entonces t.
j. p puesto que q.
8. Hallar la tabla de verdad de cada esquema molecular y determinar la clase
de esquema (Tautologa, Contradiccin y Contingencia):
a. ( p q)
b. p q
c. ( p q)
d. ( p q)
e. p( p q)
f. ( p q) ( p q)
g. ( p q) (p q)
h. ( p q ) ( p q )
i. p( q p)
j. p( p q)