Carrera:

Ciclo: Caá lculo Proposicional

Nombre del moá dulo: Lenguaje loá gico
4.2 Reglas de inferencia
Tema: 4.4 El meá todo de resolucioá n.

Nombre:
tarea7

Instrucción: Formaliza cada una de las deducciones contenidas en este documento demostrando su
consistencia o inconsistencia, validez o invalidez, seguá n sea el caso, utilizando las reglas de inferencia.
Guarda tu archivo CP7TuprimernombreTuprimerapellido.doc y aneá xalo como tarea.

Ejercicio 1

El inspector Logicus ha encontrado a una persona ahogada en un charco de agua de

tres centíámetros de profundidad. El inspector Logicus realiza la siguiente
deduccioá n:

i) Si una persona se ahoga en un charco de agua de tres centíámetros de

profundidad, entonces: o estaba inconsciente y boca abajo en el charco o se le
estaba quemando el bigote y estaba intentando apagar la llama.

ii) La persona habríáa quedado inconsciente solo si hubiese estado drogada.

iii) La persona no tiene síántomas de haber estado drogada.

iv) ¿Puede concluirse que se le quemaba el bigote?

Podemos formalizar el problema de la siguiente manera:

Sean p = Hay una persona ahogada en un charco de agua de 3 cm. de profundidad, i

= estaba inconsciente, b = estaba boca abajo, q = se le quemaba el bigote, l = queríáa
apagar la llama, y d = estaba drogada. ¿Puede concluirse que se le quemaba el
bigote?
i) p → ((i ∧ b) ∨ (q ∧ l))
ii) i → d
iii) ~d
iv) q

¿Puede concluirse iv ?
Ejercicio 2

i) Si un nuá mero es menor o igual que un segundo nuá mero y ese segundo nuá mero es
menor o igual que un tercer numero, entonces el primer nuá mero no es mayor que
el tercero.

ii) Un nuá mero “x” es menor o igual que otro “y”, si y solo si, “y” es mayor que “x” o
“x” es igual a “y”.

iii) Para cualquier nuá mero “x”, se puede encontrar otro nuá mero “y” tal que “x” es
menor o igual que ”y”.

iv) Por tanto: Todo nuá mero es menor o igual que si mismo” Sean x e y cualesquier
nuá meros, A(x,y)=”x es menor o igual que y”, B(x,y)=”x es mayor que y”, y C(x,y) = ”x
es igual a y”.

i) ∀x ∀y ∀z: ( A(x, y) ∧ A(y, z) → ~B(x, z) )

ii) ∀x ∀y: ( A(x, y) ↔ ( B(y, x) ∨ C(x,y) ) )
iii) ∀x ∃y: A(x,y)
iv) ∀x: A(x, x)

¿Es posible concluir iv?

Ejercicio 3

i) Si un nuá mero es menor o igual que un segundo nuá mero y ese segundo nuá mero es
menor o igual que un tercer numero, entonces el primer nuá mero no es mayor que
el tercero.

ii) Un numero “x” es menor o igual que otro “y”, si y solo si, “y” es mayor que “x” o
“x” es igual a “y”.

iii) Para cualquier nuá mero “x”, se puede encontrar otro nuá mero “y” tal que “x” es
menor o igual que ”y”.

iv) Por tanto: Todo nuá mero es menor o igual que si mismo” Sean x e y cualesquiera
nuá meros, A(x,y) = ”x es menor o igual que y”, B(x,y) = ”x es mayor que y”, y C(x,y) =
”x es igual a y”

i) ∀x ∀y ∀z: ( A(x, y) ∧ A(y, z) → ~B(x, z) )

ii) ∀x ∀y: ( A(x, y) ↔ ( B(y, x) ∨ C(x,y) ) )
iii) ∀x ∃y: A(x,y)
iv) ∀x: A(x, x)

¿Es posible concluir iv?

Ejercicio 4

i) Es necesario que Juan tenga trabajo para que le den un creá dito.

ii) Ademaá s, Juan tiene trabajo o hace deporte solo si estudia.

iii) Por tanto, si Juan no estudia, entonces no le dan un creá dito.

Sea p = Juan tiene trabajo, q = Juan obtiene un creá dito, r = Juan hace deporte, s =
Juan estudia.

i) q → p
ii) p ∨ r → s
iii) ~s → ~q

¿Es posible concluir iii?

Ejercicio 5

i) Si un nuá mero es menor o igual que un segundo nuá mero y ese segundo nuá mero es
menor o igual que un tercer numero, entonces el primer nuá mero no es mayor que
el tercero.

ii) Un nuá mero “x” es menor o igual que otro “y”, si y solo si, “y” es mayor que “x” o
“x” es igual a “y”.

iii) Para cualquier nuá mero “x”, se puede encontrar otro nuá mero “y” tal que “x” es
menor o igual que ”y”.

iv) Por tanto: Todo nuá mero es menor o igual que síá mismo”
Sean x e y cualesquiera nuá meros, A(x,y) = ”x es menor o igual que y”, B(x,y) = ”x es
mayor que y”, y C(x,y) = ”x es igual a y”

i) ∀x ∀y ∀z: ( A(x, y) ∧ A(y, z) → ~B(x, z) )

ii) ∀x ∀y: ( A(x, y) ↔ ( B(y, x) ∨ C(x,y) ) )
iii) ∀x ∃y: A(x,y)
iv) ∀x: A(x, x)

¿Es posible concluir iv?