Está en la página 1de 12

Inteligencia Artificial

Equipo #7

Lgica Proposicional.
La lgica proposicional tambin llamada simblica o matemtica ,es la parte de la lgica que estudia las proposiciones y smbolos utilizados en la formacin de nuevas proposiciones que podrn ser verdaderas o falsas , sealadas por reglas formales .

PROPOSICIN
Es un enunciado cuya propiedad fundamental es la de ser verdadero ( V ) o falso ( F ) pero no ambas simultneamente y sin ambigedad. Las proposiciones lgicas se denotan con letras minsculas, tales como: p, q, r, s, t, u, ......,etc, (llamadas variables proposicionales) y cuando se trata de representar muchas proposiciones similares se usan subndices para indicar cada una de ellas, es decir:
Enunciado aseverativo Realidad objetiva verdadero falso

Proposicin p: q: r : s : t : 5+4= 8 Todo Hombre es mortal El Libertador Simn Bolvar naci en Lima 14 es un nmero primo Lima es la capital del Per

Valor de Verdad v (p) = v (q) = v ( r) = v ( s) = v (t ) = F V F F V

Nota.- A la Verdad o Falsedad de una proposicin, se le denomina Valor veritativo o valor de verdad

Expresiones que no son proposiciones lgicas

Valor de Verdad

Buenos das No faltes Quin llamo por telfono? Ingrese a la Universidad ! El hombre ms fuerte del Mundo T, te callas !

No posee/ No sta definido No posee/ No sta definido No posee/ No esta definido No posee/ No sta definido No posee/ No sta definido No posee/ No sta definido

Proposiciones simples o Atmicas.-

Son aquellas que se pueden representar con una sola variable o letra (No tiene Conectivos). Ejemplos: a) p : Pamela tiene 20 aos. b) q : 5 x 6 = 30 c) r : El mundial de futbol es en Sudfrica.

Proposiciones Compuestas o Moleculares


Son aquellas que estn constituidas por proposiciones simples enlazadas entre si por conectivos lgicos. El valor de la verdad de una proposicin compuesta depende de los valores de la verdad de las proposiciones que lo forman y de la manera como estn unidas.

Conectivas Lgicas
Los elementos que sirven para conectar las proposiciones atmicas entre s se llaman conectivas lgicas. En el lenguaje natural, la conjuncin y funciona como una conectiva lgica. As, cuando decimos: Las flores son plantas y los erizos aves La y nos est diciendo que la proposicin molecular Las flores son plantas y los erizos aves slo es verdadera si las dos proposiciones atmicas que la componen son ambas verdaderas, y ser falsa en caso de que, al menos una de ellas, sea falsa.

Si la conectiva que usramos fuera o con una proposicin atmica que sea cierta es aceptada como verdadera, por lo tanto, la proposicin molecular es verdadera.
El smbolo cambia el resultado, por ejemplo: 1+1=2 11=0 Una tercera forma de conectar dos proposiciones atmicas sera: Si las flores son plantas entonces los erizos son aves Antecedente y consecuente

. Una cuarta forma es la negacin: Los erizos son aves es falsa, entonces la proposicin molecular: Los erizos no son aves. Ser verdadera.
Cada conectiva lgica le corresponde un smbolo, como queda resumido en la siguiente tabla:

Ejercicios:
Llueve = p , Hace sol = q, Las brujas se peinan = r
1.- Llueve y hace sol ------ p q 2.-No es cierto que si llueve y hace sol las brujas se peinan------ [(pq) r] 3.-Las brujas se peinan nicamente si llueve y hace sol --------- r (pq) 4.-Cuando las brujas no se peinan, no llueve o no hace sol ------ r ( pq) 5.-Llueve y las brujas no se peinan o bien hace sol y las brujas no se peinan ---(pr) (qr)

Tablas de verdad
El mtodo de las tablas de verdad es un procedimiento que se emplea en lgica proposicional para exhibir todos los posibles valores de verdad que puede adoptar una forma proposicional.
Negacin: La negacin de un valor es su opuesto. p 0 1 not p 1 0

Conjuncin: La conjuncin de 2 valores slo es cierta si ambos son verdaderos. p 0 0 1 1 q 0 1 0 1 p and q 0 0 0 1

Disyuncin: La disyuncin de 2 valores slo es falsa si ambos son falsos. p 0 0 1 1 q 0 1 0 1 p or q 0 1 1 1

Condicional: La nica posibilidad de que una condicin o implicacin sea falsa es si verdadero implica falso (1 -> 0).
p 0 0 1 1 q 0 1 0 1 p -> q 1 1 0 1

Disyuncin exclusiva: La disyuncin exclusiva de 2 valores es verdadera si son diferentes, y falsa si los 2 valores son iguales.
p 0 0 1 1 q 0 1 0 1 p xor q 0 1 1 0