4/25/12

2.4 Lgica de predicados: sintaxis, semntica, validez e inferencia

4/25/12

DEFINICION

Sintaxis: oraciones

explica

como

construir

Semntica:

especifica las restricciones sistemticas sobre como se relacionan las oraciones con aquello que esta sucediendo e inferencia: las tablas de verdad sirven para definir los conectores, sino tambin para probar la validez de las oraciones. Si todas ella son

Validez

4/25/12

Lgica Proposicional
Llamada

de lgica de enunciados o lgica de orden 0, no tiene, por s misma, mucha utilidad para la representacin del conocimiento. la lgica ms sencilla de la lgica simblica. de la verdad o falsedad de una o varias proposiciones. el punto de vista prctico es la base de los sistemas basados en reglas con triplas objeto-atributo-valor.

Es

Trata

Desde

4/25/12

Proposicin
Una

proposicin es una sentencia (oracin) correctamente formada que puede ser verdadera o falsa una sentencia declarativa. un hecho de la realidad.

Es

Representa Es

una oracin del lenguaje que consta de un sujeto y un predicado, tiene un valor afirmativo. oraciones interrogativas, exclamativas, imperativas, no afirman nada y no pueden ser considerados enunciados.

Las

4/25/12

Ejemplos
Oraciones

Luis y Marta van de pesca. Luis llam a Marta para salir. El autobs pasa a las seis Maana llover. sintate! cundo sale el autobs? fueron a pescar Luis y Marta finalmente?

4/25/12

Sintaxis y Semntica
Sintaxis
Conjuncin Disyuncin Implicacin Premisas Conclusin. Equivalencia Negacin. Sentencias Sentencias

(). (V)

Semntica Tabla de verdad. Validez e inferencia Modelos Reglas de inferencia

Atmicas Completas

4/25/12

SINTAXIS

4/25/12

Smbolos
Los

smbolos usados en la lgica propositiva son:

Las constantes lgicas Verdadero y Falso. Los smbolos de proposiciones tales como P y Q. Los conectivos lgicos , , , , y y parntesis (). Todas las oraciones se forman combinando los smbolos anteriores mediante ciertas reglas.

4/25/12

Las Un

constantes lgicas Verdadero y Falso constituyen oraciones en s mismas smbolo propositivo como P o Q es una oracin en s misma. entre parntesis una oracin produce tambin una oracin, por ejemplo (P Q).

Encerrar

4/25/12

Sintaxis
Conjuncin

() (y). A la oracin cuyo conector principal es (y) se le llama conjuncin, y a sus partes se les llama coyuntos. (V) (o). A la oracin cuyo conector principal es (o) se le llama disyuncin, y a sus partes se les llama disyuntos. (). Una oracin como P R se conoce como implicacin (o condicional), su premisa o antecedente es P y su conclusin o

Disyuncin

Implicacin

4/25/12

Sintaxis
Conclusin.

Premisa1: A B Premisa2: A Conclusin: B

Corresponden al

consecuente de una implicacin

Equivalencia.

Dos sentencias y son equivalentes lgicamente si es que son verdaderas con el mismo conjunto de hechos.

Negacin

(no).

A una oracin como P se le llama negacin de P. es el nico de los conectores que funcionan como una sola oracin.

Sentencias

Atmicas.

Verdadero, falso, P, Q, R, S

Ejercicios

1. 2. 3. 4. 5. 6.

4/25/12

Formaliza las siguientes proposiciones:

No es cierto que no me guste bailar Me gusta bailar y leer libros de ciencia-ficcin. Si los gatos de mi hermana no soltaran tanto pelo me gustara acariciarlos. Si y slo si viera un marciano con mis propios ojos, creera que hay vida extraterrestre. Una de dos: o salgo a dar un paseo, o me pongo a estudiar como un energmeno. Si los elefantes volaran o supieran tocar el acorden, pensara que estoy como una regadera y dejara que me internaran en un psiquitrico. Prefiero ir de vacaciones o estar sin hacer nada si tengo tiempo para ello y no tengo que ir a trabajar.

7.

Solucin
1. 1.

4/25/12

[B me gusta bailar]. (B) [B me gusta bailar. C me gusta leer libros de ciencia ficcin]. B C [G los gatos de mi hermana sueltan pelo. A me gusta acariciar los gatos ]. GA [M ver un marciano con mis propios ojos. E creer en los extraterrestres ]. M E [P salir a dar un paseo. E estudiar como un energmeno]. P V E [V los elefantes vuelan. T los elefantes tocan l acorden. L estar loco. P internar en un psiquitrico ]. ( V V T ) ( l P) [ V ir de vacaciones. N no hacer nada. T tener tiempo. I ir a trabajar]. (T I ) (V V N )

1.

1.

1.

1.

1.

Ejercicios

4/25/12

Formaliza la siguientes proposicin:

Si tuvieran que justificarse ciertos hechos por su enorme tradicin entonces, si estos hechos son inofensivos y respetan a todo ser viviente y al medio ambiente, no habra ningn problema. Pero si los hechos son brbaros o no respetuosos con los seres vivientes o el medio ambiente, entonces habra que dejar de justificarlos o no podramos considerarnos dignos de nuestro tiempo. J. Justificar hechos T. Enorme tradicin. I. hechos inofensivos y respetan a todo ser vivo y al medio ambiente N. no hay problema D. dignos de nuestro tiempo [(J T) (I N)] [(-I -J) V D]

4/25/12

SEMNTICA

Semntica
Tablas

de Verdad.
Q F V F V PQ F F F V PQ F V V V PQ V V F V PQ V F F V

P F F V V

P V V F F

Semntica

Validez e inferencia
Se puede obtener la validez de una oracin compleja de la siguiente manera:
P F F V V H F V F V PH F V V V (P H) P F F V F ((P H) P ) P V V V V

4/25/12

Reglas de Inferencia
La

inferencia lgica es un proceso mediante el que se implanta la relacin de implicacin que existe entre dos oraciones. ciertos patrones de inferencia que se presentan una y otra vez, lo que permite establecer de una vez por todas su confiabilidad. regla permite evitar pasar por las tablas de verdad.

Existen

La

4/25/12

Reglas de Inferencia
Modus ponendo ponens

Si A, entonces B A Por lo tanto, B

Si est soleado, entonces es de da. Est soleado. Por lo tanto, es de da.

4/25/12

Modus ponendo tollens

O bien A, o bien B A Por lo tanto, no B

O bien es de da, o bien es de noche. Es de da. Por lo tanto, no es de noche.

4/25/12

Modus tollendo ponens

es el caso que A, o es el caso que B No A Por lo tanto, B

O es de da o es de noche. No es de da. Por lo tanto, es de noche.

4/25/12

Modus tollendo tollens

si A entonces B No B Por lo tanto, no A

Si llovi, entonces el suelo est mojado. El suelo no est mojado. Por lo tanto, no llovi

4/25/12 Silogismo hipottico

P Q. Q R.

Si no me despierto, no puedo ir a la fiesta. Si no voy a la fiesta, no me divertir. Entonces, si no me despierto no me divertir

4/25/12

La lgica de predicados estudia las frases declarativas con mayor Grado de detalle , considerando la estructura interna de las proposiciones. Se tomaran como elemento bsico objetos y las relaciones entre dichos objetos. Es decir, se distingue: Que se afirma (predicado o relacin)

De quien se afirma (objeto)

4/25/12 Smbolos de conectivas sern:

= Negacin.

^= Conectiva y =conectiva o = implicacin = doble implicacin o equivalencia Cuantificadores: sern los smbolos = Cuantificador Universal = Cuantificador existencial

4/25/12

4/25/12
Lancelot ama a la reina Ginebra. Lancelot no ama a ninguno de sus amigos. El rey Arturo es amigo de Lancelot. Los amigos de Lancelot odian a aquellos a quienes Lancelot ama. Por tanto, el rey Arturo odia a la reina Ginebra. Expresiones predicativas e individuales: Amar a A_ ser amigo de = M odiar a O Lancelot a Ginebra b Arturo c Premisas: 1. Aab 2. x(Mxa Axa) = lancelot ama a ginebra = para todo x (amigos de lancelot lancelot no ama a amigos 3. Mca =Arturo es amigo de lancelot 4. xy(Mxa (Aay Oxy)) = para todo x y (amigos de lancelot (a quienes lancelot ama amigos de lancelot odian a quienes lancelot ama 5. Mca (Aab Ocb) 6. Aab Ocb 7. Ocb = arturo es amigo de lancelot (lancelot ama a ginebra arturo odia a ginebra = lancelot ama a ginebra arturo odia a ginebra = arturo odia a ginebra