FACULTAD DE ENFERMERA

MODELO INTEGRADO PRESENCIAL VIRTUAL

1
UNIDAD N 1
TTULO: LOGICA PROPOSICIONAL


ESTIMADO(A) ALUMNO(A):
Hasta la fecha indicada deber entregar los trabajos siguientes:
LECCIN N 1: LOGICA PROPOSICIONAL
LECCIN N 2: INFERENCIA LOGICA Y CUANTIFICADORES
LECCIN N 3: CIRCUITOS LOGICOS
LECTURA: El curioso incidente entre las matemticas y la literatura
TEMA DE DISCUSIN: Anlisis de la lectura
TUTOR (A): Lic. Rubn Alexis Arce Caysure
Semestre : 2013-3
Ciclo: I
Correo: Rarce.enfermera@gmail.com
ALUMNO(A):
OPE.
Correo:
INDICACIONES:









1. Utilice este formato para desarrollar y enviar su tarea
2. Tipo de trabajo : Individual
3. Fecha de entrega : 20 de Octubre del 2013
4. Hora lmite : 23:00pm
5. Forma de entrega : Va Aula virtual
6. Criterios de evaluacin
Puntualidad.
Nivel de anlisis.
Capacidad de sntesis.
Originalidad.
7. Formato de entrega; Word
8. Grabe el documento completo de la manera siguiente,
Apellido_nombre_U#
RECURSOS (*opcional) - PPT. LOGICA PROPOSICIONAL I II
- SEPARATA LOGICA PROPOSICIONAL
1. TAREAS FECHA: 20 de Octubre del 2013





FACULTAD DE ENFERMERA
MODELO INTEGRADO PRESENCIAL VIRTUAL


2
1.- Establecer si las si las siguientes expresiones son o no proposiciones y asignar su valor de verdad si es que la
tuvieran.
a. 2 + 8 = 10 Esta en una proposicin.
b. 0 > 1 Esta en una proposicin.
c. Esta oracin es falsa.
d. Simn Bolvar naci en Caracas. Esta en una proposicin.
e. Qu hora es?
f. El tiene 20 aos. Esta en una proposicin.
2.- Escribir los siguientes enunciados en forma simblica, considerando las proposiciones:
p: Pablo es inteligente
q: Jorge es tonto
a. Pablo es inteligente y Jorge tonto. p^q
b. Jorge es inteligente y Pablo es tonto. q^p
c. O Pablo es inteligente o Jorge es tonto. V(pq)
d. Ni Jorge, ni Pablo son inteligentes. qp
3.- Sean las proposiciones:
p: Los precios de los artculos estn altos
q: Los artculos estn subiendo
Obtenga la traduccin verbal de cada una de las formulas lgicas simblicas:
a. ~(~p v~q)
b. (p v q )~p
c. (p q) .~q
4.- Demostrar e indicar si las siguientes formulas son tautologa, contradiccin o contingencia:
a. ~(~p) ~(~(~p))
b. (~p v q) . (~q p)
c. ~(p q) ~|(~p) (~p)|
a)
p q ~(~p) ~ (~(~p))
V
V
F
F
V
F
V
F
V
V
F
F
F
F
V
V
F
F
F
F
F
F
V
V
V
V
F
F
F
F
V
V
Es contradiccin.



FACULTAD DE ENFERMERA
MODELO INTEGRADO PRESENCIAL VIRTUAL


3
b)
p q (~pvq)^(~qp)
V
V
F
F
V
F
V
F
V
F
V
V
V
F
V
F
V
V
V
F
Es contingencia.
c)
p q ~(pq)~[(~p)(~p)]
V
V
F
F
V
F
V
F
F
V
F
F
V
F
V
V
V
F
F
V
F
F
V
F
F
F
V
V
V
V
F
V
F
V
F
V

Es contingencia.

5.- Si la siguiente formula lgica:~|(~p v q)v (r q)|. [(~p v q) (q .~p)] es verdadera. Hallar el valor de
verdad de las siguientes formulas lgicas:
a. p (~q v r)
b. (p v ~q) . (r A p)
c. (p . ~r) [q v (~p . r)]
6.- Demostrar que: [(p v q) q] (p q)

7.- Simplificar: ~[(~p . q) (r . ~r)] . ~q

8.- Negar los siguientes cuantificadores:
a. -x e R: x
2
+ 3 = 0 (x = 0 v x = 0)
b. x e R: x = 0 x
2
= 0
c. x e R ; y e R: x
2
+ y
2
= 0 . x + y = 0



FACULTAD DE ENFERMERA
MODELO INTEGRADO PRESENCIAL VIRTUAL


4
9.- Indicar cuales de los siguientes esquemas lgicos son equivalentes:
A = (p q) . ~(~p . q)
B = ~(~p q)
C = ~(p v ~q)
10.- Traducir en forma simblica y verificar la validez de las siguientes inferencias:
a. Juan aprueba el curso de matemtica, si y solo si estudia. Juan trabaja o estudia matemtica. Juan
no trabaja. Por lo tanto, aprueba el curso de matemtica.
b. Pedro es director de una empresa si tiene el mayor nmero de acciones; si tiene el mayor nmero de
acciones, o es profesional o tiene mucho dinero. Ocurre que Pedro tiene el mayor nmero de
acciones. Por lo tanto, es un profesional o tiene mucho dinero.
c. Si en la Luna no hay oxgeno, entonces no hay agua ni aire. Si no hay oxigeno ni hay agua, entonces
no hay planta. No es el caso que en la Luna haya oxigeno o no haya plantas; por lo tanto en la Luna
no hay vida


NOTA: No se permitir trabajos escaneados ni entregados de forma fsica, respetar el formato
entregado. Asimismo no olvidar colocar bien sus datos.