Scribd
Cargar
15 vistas2 páginas

Carrera: Ciclo: Cálculo Proposicional Nombre Del Módulo: Lenguaje Lógico Tema: 4.1 Reglas de Inferencia 4.2 El Método de Resolución

El documento presenta una serie de ejercicios sobre deducciones lógicas utilizando reglas de inferencia en el contexto del cálculo proposicional. Cada ejercicio plantea un escenario y formula las premisas y conclusiones a evaluar, buscando determinar la validez de las deducciones realizadas. Se requiere formalizar las deducciones y demostrar su consistencia o inconsistencia.

Cargado por

casandrahrra
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOC, PDF, TXT o lee en línea desde Scribd
15 vistas2 páginas

Carrera: Ciclo: Cálculo Proposicional Nombre Del Módulo: Lenguaje Lógico Tema: 4.1 Reglas de Inferencia 4.2 El Método de Resolución

El documento presenta una serie de ejercicios sobre deducciones lógicas utilizando reglas de inferencia en el contexto del cálculo proposicional. Cada ejercicio plantea un escenario y formula las premisas y conclusiones a evaluar, buscando determinar la validez de las deducciones realizadas. Se requiere formalizar las deducciones y demostrar su consistencia o inconsistencia.

Cargado por

casandrahrra
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOC, PDF, TXT o lee en línea desde Scribd

Carrera:

Ciclo: Cálculo Proposicional


Nombre del módulo: Lenguaje lógico
4.1 Reglas de inferencia
Tema: 4.2 El método de resolución.

Nombre:
tarea7

Instrucción: Formaliza cada una de las deducciones contenidas en este documento demostrando su
consistencia o inconsistencia, validez o invalidez, según sea el caso, utilizando las reglas de inferencia.
Guarda tu archivo CP7TuprimernombreTuprimerapellido.doc y ané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
deducció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 número es menor o igual que un segundo número y ese segundo número es


menor o igual que un tercer numero, entonces el primer número no es mayor que
el tercero.

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

iv) Por tanto: Todo número es menor o igual que si mismo” Sean x e y cualesquier
nú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) Es necesario que Juan tenga trabajo para que le den un crédito.

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

iii) Por tanto, si Juan no estudia, entonces no le dan un crédito.

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

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

¿Es posible concluir iii?

También podría gustarte