Sie sind auf Seite 1von 6

Carrera: Ingeniera en sistemas computacionales.

Catedrtico: Fabiola Tejeda Dvalos.


Asignatura: Clculo proposicional.
Mdulo: 4. Mtodos de razonamiento.
Tarea: 7. Ejercicios de la prueba formal de la
consistencia o de la inconsistencia e invalidez.
Alumno: Rodolfo Prieto Santiago
Matrcula: A13000461

Instruccin: Formaliza cada una de las deducciones contenidas en este documento
demostrando su consistencia o inconsistencia, validez o invalidez, segn sea el caso,
utilizando las reglas de inferencia.

Ejercicio 1

El inspector Logicus ha encontrado a una persona ahogada en un charco de agua de tres
centmetros de profundidad. El inspector Logicus realiza la siguiente deduccin:
i) Si una persona se ahoga en un charco de agua de tres centmetros 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 habra quedado inconsciente solo si hubiese estado drogada.
iii) La persona no tiene sntomas 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 = quera 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?
Solucin
Si q se desprende lgicamente del conjunto de hiptesis, entonces, hay consistencia y el
argumento es vlido, lo cual quiere decir que tanto las hiptesis y conclusin son
verdaderas, por lo que si aceptamos que q es verdadera, podemos asignar valores de
verdad a las proposiciones atmicas de manera que las hiptesis sean verdaderas, de no ser
as, entonces abra inconsistencia, y por consiguiente, invalidez en el argumento. As, por la
prueba de invalidez, se tiene que:
b d i l p q p [(i b) (q l)] i d q
v f f v f v v v v v
v f f v v v v v v v
Ahora bien, de la tabla se observa que existen, al menos, dos filas de asignaciones de
valores de verdad que hacen, tanto a las hiptesis como a la conclusin, verdadera y, esto
basta para afirmar que las hiptesis son consistentes y el argumento es vlido, por
consiguiente, si se puede concluir q



Ejercicio 2

i) Si un nmero es menor o igual que un segundo nmero y ese segundo nmero es menor o
igual que un tercer nmero, entonces el primer nmero no es mayor que el tercero.
ii) Un nmero 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 nmero x, se puede encontrar otro nmero y tal que x es menor o
igual quey.
iv) Por tanto: Todo nmero es menor o igual que si mismo Sean x e y cualesquier nmeros,
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 2

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

ii) Un nmero 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 nmero x, se puede encontrar otro nmero y tal que x es menor o igual
quey.

iv) Por tanto: Todo nmero es menor o igual que si mismo Sean x e y cualesquier nmeros,
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 nmero es menor o igual que un segundo nmero y ese segundo nmero es menor o igual
que un tercer nmero, entonces el primer nmero no es mayor que el tercero.

ii) Un nmero 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 nmero x, se puede encontrar otro nmero y tal que x es menor o igual
quey.

iv) Por tanto: Todo nmero es menor o igual que si mismo Sean x e y cualesquiera nmeros,
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 crdito.

ii) Adems, Juan tiene trabajo o hace deporte solo si estudia.

iii) Por tanto, si Juan no estudia, entonces no le dan un crdito.

Sea p = Juan tiene trabajo, q = Juan obtiene un crdito, 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 nmero es menor o igual que un segundo nmero y ese segundo nmero es menor o igual
que un tercer nmero, entonces el primer nmero no es mayor que el tercero.

ii) Un nmero 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 nmero x, se puede encontrar otro nmero y tal que x es menor o igual
que y.


iv) Por tanto: Todo nmero es menor o igual que s mismo
Sean x e y cualesquiera nmeros, 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?