FACULTAD DE ENFERMERÍA

MODELO INTEGRADO PRESENCIAL VIRTUAL

UNIDAD Nº 1
TÍTULO: LOGICA PROPOSICIONAL

ESTIMADO(A) ALUMNO(A):
Hasta la fecha indicada deberá entregar los trabajos siguientes:
LECCIÓN Nº 1: LOGICA PROPOSICIONAL
LECCIÓN Nº 2: INFERENCIA LOGICA Y CUANTIFICADORES

LECCIÓN Nº 3: CIRCUITOS LOGICOS

LECTURA: El curioso incidente entre las matemáticas y la literatura

TEMA DE DISCUSIÓN: Análisis de la lectura

TUTOR (A): Lic. Rubén Alexis Arce Caysure
Semestre : 2012-2
Ciclo: i
Correo: Rarce.enfermería@gmail.com
ALUMNO(A): RAQUEL ESPIRITU MENDEZ
OPE.
Correo: RAQUEL6921@HOTMAIL.COM
INDICACIONES: 1. Utilice este formato para desarrollar y enviar su tarea
2. Tipo de trabajo : Individual
3. Fecha de entrega : 24 de Junio del 2012
4. Hora límite : 23:00pm
5. Forma de entrega : Vía Aula virtual
6. Criterios de evaluación
 Puntualidad.
 Nivel de análisis.
 Capacidad de síntesis.
 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

TAREAS FECHA: de del 2012

LECCIÓN Nº 1 : LOGICA PROPOSICIONAL
1.- EJERCICIOS PROPUESTOS Pág. 47 - 48
LECCIÓN Nº 2: INFERENCIA LOGICA Y CUANTIFICADORES
LECCION N° 3 : CIRCUITOS LOGICOS

1.- EJERCICIOS PROPUESTOS Pág. 71 - 72

NOTA: No se permitirá trabajos escaneados ni entregados de forma física, respetar el formato
entregado.

1
 FACULTAD DE ENFERMERÍA
MODELO INTEGRADO PRESENCIAL VIRTUAL

LECCIÓN Nº 1 : LOGICA PROPOSICIONAL

1.- EJERCICIOS PROPUESTOS Pág. 47 - 48

1). Establecer si las siguientes expresiones son o no formulas lógicas y signar su valor de verdad si es que
tuvieran.

a) 2+8=10 SI ( V )
b) 0 >1 SI ( F )
c) Esta oración es falsa SI
d) Simón Bolívar nació en caracas SI ( V )
e) ¿Qué hora es? NO
f) Él tiene 20 años SI

2). Escribir los siguientes enunciados en forma simbólica, considerando:

P: “Pablo es inteligente” y
q: “Jorge es tonto”
a) Pablo es inteligente y Jorge tonto. P^q
b) Jorge es inteligente y Pablo es tonto. ~p^~q
c) O Pablo es inteligente O Jorge es tonto. Pvq
d) Ni Jorge, ni Pablo son inteligentes. ~(~q ^ p)ç

3)- Si p: “Los precios de los artículos están altos.”

q:”Los artículos están subiendo.”
Obténgase la traducción verbal de cada una de las formulas lógicas simbólicas:

a) ~ (~pv~q) Los precios de los artículos están altos o están subiendo

Ni los precios de los artículos no están altos o no están subiendo.

b) ( p v q) Si los precios de los artículos están altos o están subiendo

Entonces los precios de los artículos no están subiendo.

c) (P→ q)^ ~ Si los precios de los artículos están altos entonces los artículos
Están subiendo y los precios no están subiendo.

2
 FACULTAD DE ENFERMERÍA
MODELO INTEGRADO PRESENCIAL VIRTUAL

4)-Demostrar cuales de las siguientes formulas lógicas son tautologías. Contradicciones y cuales
contingencia.

a) ~ (~ p) →~ (~p)) Rpta. Contradicción

P ~ (~p) →~ (~ (~p))

V V F F F V F
F F V F V F V

b) (~p v q)^ (~q →P) Rpta. Contradicción

Pq (~p v q) ^ (~q →P)

VV V V V
VF F F V
FV V V V
FF V F F

c) ( p v q ) ^ r→~ ( p ^ r )^ ~ ( q ^ r ) Rpta. Contradicción

P q r ( p v q ) ^ r → ~ ( p ^ r )^ ~ ( q ^ r )

VVV V V VF F V F F V
VVF V F F F V F V V F
VFV V V V F F V F V F
VFF V F F F V F V V F
FVV V V V F V F F F V
FVF V F F F V F V V F
FFV F F V F V F V V F
FFF F F F F V F V V F

3
 FACULTAD DE ENFERMERÍA
MODELO INTEGRADO PRESENCIAL VIRTUAL

d) [ ( p v ~ q ) ^ ( ~ p ) ] V ~ ( q → p) Rpta. Contradicción

Pq [ (pv~q)^( ~p)] V ~ ( q → p)

V V V F F F F F V V
V F V F F F F VV V
F V F F V F F F V F
F F V V V V V V F F

e) [ p v ( q→~r) ]^ [ ( ~ p v r ) → ~ q]

Pq r [ p v ( q → ~ r ) ]^ [ ( ~ p v r ) → ~ q ]

VVV VV V F F F F V V F F
VVF VV V V V V F F F V F
V FV V V F V F V F V V V V
V FF VV F V V F F F F F V
F VV F F V F F F V V V F F
F V F F V V V V F V V F F F
F F V F V F V F V V V V V V
F F F F V F V V V V V F V V

f) ~ ( p →q) ↔ ~ [(~q) → (~p) ]

P q ~ ( p →q)↔ ~ [(~q)→(~p) ]

V V F V V F F V F
V F V F V V V F F
F V F V V F F V V
F F F V V F V V V

4
 FACULTAD DE ENFERMERÍA
MODELO INTEGRADO PRESENCIAL VIRTUAL

5) Si ~ [ ( ~ p v q ) v ( r → q ) ] ^ [ ( ~ p v q ) → ( q ^ ~ p ) ] es verdadera :Hallar el valor de

verdad de las formulas lógicas

a) p → ( ~ q ^ r )
b) ( p v ~ q ) ^ ( ^ p )
c) ( p ^ ~ r ) ↔ [ q v (~p^ r) ]

r = V a) p→( ~q ^ r ) Rpta. Verdadero

q = F V V V V V
p = V

b) ( P V ~q)^(r ^ P)

( P V ~q)^[ (r V P)^ ~ (r^P) ] Rpta. Falso

V f v f f

C) ( p ^ ~ r ) ↔ [ q v ( ~ p ^ r ) ]
V F V F V
F F V F

6) Se sabe que v (p ^ q)=F y v (q→r)=Deducir el valor de verdad de

a) ( ~ p v r ) v ~ q

P = F Hallamos: a) ( ~ p v r ) v ~ q
q = V V F V F V F V Rpta. Verdadero
r = F

5
 FACULTAD DE ENFERMERÍA
MODELO INTEGRADO PRESENCIAL VIRTUAL

b) ~ [ p v ( ~ q v ~ p ) ] Rpta. Falso
F F V F V V

c) [ ( p → q)^ ~(q ^r)] ↔ [ ~p ^~r) ] Rpta. Verdadero

F V V F
V V V F V V V V

7) Datos los esquemas logicos:

A = ( p →q)^ ~ (~p ^q)

B =~(~p↔q)
C = ~(p v ~q)
¿Cuáles de las siguientes relaciones es correcta?

a) A = B b) B = C c) A = c d) Ninguna

A= p q p →q ^ ~ (~p ^ q ) B) p q ~ (~p ↔ q )

V V V V V F V V V F
V F F F V F V F F V
F V V F F V F V F V
F F V V V F F F V F

C) p q ~ (pv ~q) Rta: A =B

V V F V
V F F V
F V V F
F F F V

6
 FACULTAD DE ENFERMERÍA
MODELO INTEGRADO PRESENCIAL VIRTUAL

Rpta. A

8) sean las variables proposiciones p ,q ,r, s, t

Si el valor de verdad de las formulas lógicas (a) y (b) es Falso

a) [ ~ ( p →q) → r ] → ( s ^ r ) b) ~ p v q
V F V V F FFV FV F F

¿Cuál es el valor de verdad de las formulas lógicas (c) y (d) ?

b) [ ( t → p ) ^ ~ r ] → p Rpta. Verdadero
c) S → ( p ↔ t ) Rpta. Verdadero

p=V d) [ ( t → p ) ^ ~ r ] → p Rpta. Verdadero

q= F F V F F V V
s= F
r= V

c) S→ ( p ↔ t ) Rpta. Verdadero
F V V
Para cualquier valor

7
 FACULTAD DE ENFERMERÍA
MODELO INTEGRADO PRESENCIAL VIRTUAL

LECCIÓN Nº 2: INFERENCIA LOGICA Y CUANTIFICADORES

LECCION N° 3 : CIRCUITOS LOGICOS
1.- EJERCICIOS PROPUESTOS Pág. 71 – 72

a) P ^( p v q ) ^ [(p v q ) →r ] ^( r→s )

(pvq) (p v q ) → s

S por la propiedad
Es valido A ^ (A → S)→S

b) R → ~ q ~ s → q
P → q
~ r→= ~ →r q→s

Entonces más queda: p → q ^ → s es valido

2) p q [ ( p v q) ↔ q ] = ( p ↔q)

V V V V V V
V F V F F F
F V V V V V
F F F V F V Son equivalentes

3) p q [ ( p ^ q) ↔ p ] = ( p ↔ q )

V V V V V V
V F F F V F
F V F V F V
F F F V F V Son equivalentes

8
 FACULTAD DE ENFERMERÍA
MODELO INTEGRADO PRESENCIAL VIRTUAL

4) Simplificar ~ [~ ( p ^ q ) → ~ q ] v q

~ [ ( p ^ q) v ~ q ] v q

[~ ( p ^ q ) ^ q ] v q

(~ p v ~ q ) ^ q ] v q

(~ p v ~ q v q ) ^ ( q v q )

~p ^ q q

5) Simplificar [ (~ p^q ) →( r ^ ~ r)] ^ ~ q

F
~(~ p^q ) V F

~(~ p^q ) ^ ~ q

( p v~ q ) ^ ~ q = ~ q

6) p q r [ p→ ( r v ~ q) =( q → ~ p ) v ( ~r ↔ p )

V V V V V F V F V F
V V F F F F F V F F
V F V V V V V F V F
V F F V V V V V F F
F V V V V V V F V V
F V F V F V V V V V
F F V V V V V F V V
F F F V V V V V V V Son equivalentes

7) p q ( p v q ) ^ p = p

V V V V V
V F V V V
F V V F F
F F F F F Son equivalentes

9
 FACULTAD DE ENFERMERÍA
MODELO INTEGRADO PRESENCIAL VIRTUAL

8) p q [ ( p v~q) ^p ] → p

V V V V V V V
V F V V V V V
F V F F F V F
F F V F F V F Son equivalentes

9) Determinar cuál es verdadero

a) ∀ x ∈,z, y ∈: x. y =1. Es falso x = 3

y = 1/3
1/3 = z Es falso.

b) x ∈ z,∀ y ∈z xy =1 Es falso.

c) ∀ x ∈ z , (x ≠ 0) , y ∈ R : x .y = 1 Es verdadero
Pues y = x-1 ∈ R

X≠ 0

d) x∈ Z, ∀ y ∈ R :x y = 1 Es Falso

10
 FACULTAD DE ENFERMERÍA
MODELO INTEGRADO PRESENCIAL VIRTUAL

10) Negar

a) x ∈ R: x² + 3 = o → (x = 0 v x ≠ 0)

Entonces tenemos
∀ x ∈ R : ~ [ x² + 3 ≠ 0 v ( x = o v x ≠ 0 ) ]
: x² + 3 = 0 ^ x ≠ 0 ^ x = 0

b) ∀ x ∈ R: x = 0 ↔ x² =o
x ∈ R: (x 0 ^ x²≠ 0) V (X ≠ 0 ^ x² = 0)

c) ∀ x ∈ R, ∀ x y∈ R: x² y² = o ^ x +y = 0

x ∈ R, y ∈ R: x² + y²≠ 0 V x + y = 0

e) x∈ R,∀ Y ∈ R : x² -y² = 0 ↔ x= Y

∀x∈R, y ∈ R : (x² -y² = 0 ^ x ≠ y ) v (x² -y²≠ ^ x =

Falta en el libro

11) [ ~ ( p ^ r ) → q ] ^ [ ( p v q ∆ [(p v q ) ∆ s ] → [ ( s ∆ p ) →t ] es false

Como A → B es falso solo si A = V

B = F

Si ( s ∆ p ) → t Es falso
Entonces ( s ∆ p ) es V y t es F

0 S = v o P = v (pero no ambas)
De la primera parte como s es verdadero tenemos

[ (p ^ r ) →q]≡ Es falso

[ (p ^ r ) →q]≡ Es Verdadero

Entonces q ≡ Es falso

Si p ^ r ≡ Es verdadero

11
 FACULTAD DE ENFERMERÍA
MODELO INTEGRADO PRESENCIAL VIRTUAL

Entonces P ≡ Es verdadero

R ≡ Es verdadero

Como p ≡ verdadero
Y s ∆ p es verdadero
Entonces S = falso
P = V
q = F
r = V
s = F
t = F

a) ( p ∆ q ) → [ ( p ^ s ) ↔ ( q v r ) ]
V F F F V La preposición es falsa

b) [ ( r →t ) ^( q ∆ s ) ] → ~ [ ( r v ~p ) ∆(~q ^t ) ]
F F F ¿?

V La proposición es verdadera

(Cuando la premisa es Falsa, no interesa el otro)

c) [ ~ ( p →q ) ∆ [ ( t ^ p ) → ~ ( r v s ) ] ∆ ( t ∆ ~ s )

12