Tenemos una frmula en Lgica Proposicional.

. a) De las siguientes afirmaciones indicar cul es el nmero de la afirmacin que define una F.N.C.: 1. = i Ki Ki = clusulas conjuntivas 2. = i Ki Ki = clusulas disyuntivas 3. = i Ki Ki = clusulas disyuntivas 4. = i Ki Ki = clusulas conjuntivas Respuesta: 2. = i Ki Ki = j ij j ( es una conjuncin de clusulas disyuntivas o -clusulas; Ki es una -clusula) 2. Es el siguiente razonamiento correcto? Traducir a frmulas bien formadas y aplicar reglas de inferencia para verificar si es correcto. Si la temperatura y la presin del aire permanecen constantes no llueve. La temperatura permaneci constante. Por lo tanto, si llovi entonces la presin del aire no permaneci constante T = Temperatura Constante P = Presin de aire constante Y = Llueve T T P P Y Y Y j ij ( es o -clusulas; Ki es j ij j ( es o -clusulas; Ki es j ij ( es o -clusulas; Ki es j ij ( es o -clusulas; Ki es una una una una una una una una disyuncin -clusula) conjuncin -clusula) disyuncin -clusula) conjuncin -clusula) de de de de

Demostrar: T P P Y Solucin: P P Paso 1: y (MODUS PONEN) Y P Y Y

Paso 1: T

(MODUS PONEN)

Resultado: NO ES CORRECTO 3. Considerar las siguientes observaciones: Slo hay dos formatos de foto: rectangular y cuadrada. Las fotos son en color o en blanco y negro. Si la foto es cuadrada, entonces es una foto en blanco y negro. Si es rectangular, es una foto digital en color. En caso de que la foto sea en blanco y negro o digital, entonces es un retrato. Si es un retrato, es la foto de mi amigo.

Pista: Para escribir las frmulas, utilizar los tomos A, B, C, D, E, F, G tomo A B C D E F G 1. 2. 3. 4. 5. Interpretacin La foto es en color La foto es en blanco y negro La foto es cuadrada La foto es rectangular La foto es digital La foto es un retrato La foto es de mi amigo

Slo hay dos formatos de foto: rectangular y cuadrada. Las fotos son en color o en blanco y negro. Si la foto es cuadrada, entonces es una foto en blanco y negro. Si es rectangular, es una foto digital en color. En caso de que la foto sea en blanco y negro o digital, entonces es un retrato. 6. Si es un retrato, es la foto de mi amigo.

a) Construir la base de conocimiento escribiendo frmulas bien formadas de lgica proposicional que representen lo expresado en el prrafo anterior. 1) 2) 3) 4) 5) 6) (C (A (C [D [(B (F D) B) B) ( E A )] E) F] G)

b) Utilizando inferencia es posible decir si se trata de la foto de mi amigo? (C (A (C [D [(B (F C:G Paso 1: (C ( C (D B) D) B) ELIMINACIN DE LA IMPLICACIN LEY DE RESOLUSIN D) B) B) (E E) G) A )] F]

Paso 2: Paso 1 : ( D [ D [B (E (E A )] B) A)] ELIMINACIN DE LA IMPLICACIN LEY DE RESOLUSIN

Paso 3: Paso 2: (B Paso 2: ( B (B F E) E) E) F (B A) Paso 2 Paso 2 LEY DISTRIBUTIVA ELIMINACIN

ELIMINACIN DE LA IMPLICACIN LEY DE RESOLUSIN

Paso 4: Paso 4: F (F G Respuesta: Si se trata de la foto del amigo. 4. Tenemos las siguientes frmulas de partida: W1= [(p q) (t s)] W2= [(r u) w] W3= [(w s) v] W4= p W5= q W6= u W7= r Frmula objetivo: W8= v a) Utilizando inferencia Es posible inferir con las formulas W1 W7 la frmula W8? Usando el mtodo abreviado de la inferencia lgica que consiste en analizar la nica posibilidad que tiene de ser falsa la implicacin, la cual solo es falsa cuando el antecedente es verdadero y el consecuente es falso, se puede inferir que la frmula es SATISFACTIBLE. [(P Q) (T S)] [(R U) W] [(W S) V] Q W R
V V V V V F

G) MODUS PONENS

b) Utilizando reduccin al absurdo o con Tablero Semntico Es posible deducir W8 a partir de las frmulas W1 W7? Usando el mtodo tableros semnticos se puede inferir que la frmula es SATISFACTIBLE.

6. Convertir a FNC

( (

) )

( (

) )

(ELIMINACIN DEL BICONDICIONAL) (ELIMINACIN DE LA IMPLICACIN)

( (

) )

( (

) )

(LEY DE MORGAN) (LEY DISTRIBUTIVA)

7. Simplificar: (C D) ((C D) E)

(C (C

D)

((C

D)

E)

D) (LEY DE ABSORCIN)

8. Qu es una Inferencia lgica? Se debe entender por inferencia lgica a un razonamiento el que a partir de un conjunto de proposiciones llamados premisas se obtiene un resultado llamado conclusin. Un razonamiento es vlido si, y solamente si, la conjuncin de las premisas implica la conclusin, o la conclusin es consecuencia de las premisas, es decir, si las premisas todas son verdaderas, entonces las conclusiones que se derivan de ellas logartmicamente han de ser verdaderas. Sin embargo, si una o ms de las premisas es falsa, la conjuncin de todas las premisas es falsa; por tanto, la conclusin puede ser verdadera o falsa.