100%(3)100% au considerat acest document util (3 voturi)
1K vizualizări6 pagini
Este documento presenta 5 ejercicios de deducción formal en lógica proposicional. Cada ejercicio contiene un conjunto de premisas y una conclusión propuesta. Se pide determinar si la conclusión se sigue lógicamente de las premisas a través de la construcción de tablas de verdad o mediante otras técnicas formales.
Este documento presenta 5 ejercicios de deducción formal en lógica proposicional. Cada ejercicio contiene un conjunto de premisas y una conclusión propuesta. Se pide determinar si la conclusión se sigue lógicamente de las premisas a través de la construcción de tablas de verdad o mediante otras técnicas formales.
Este documento presenta 5 ejercicios de deducción formal en lógica proposicional. Cada ejercicio contiene un conjunto de premisas y una conclusión propuesta. Se pide determinar si la conclusión se sigue lógicamente de las premisas a través de la construcción de tablas de verdad o mediante otras técnicas formales.
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)