Apuntes de Lgica Proposicional

M.C. Miriam Snchez Santamaria

2.1.

LGICA PROPOSICIONAL

La lgica proposicional tambin llamada lgica de enunciados, lgica de orden 0 o lgica booleana, proporciona un lenguaje formal para representar en forma sencilla diferentes hechos del mundo (que suceden o no suceden). Los hechos se expresan en forma de enunciados afirmativos, llamados proposiciones. La proposicin es el elemento principal de esta lgica. Una proposicin es: Una oracin, sentencia o enunciado, que puede ser falsa o verdadera, esto es, su valor de verdad. Es una sentencia declarativa Representa un hecho de la realidad Tiene un valor afirmativo Ejemplos de proposiciones: Luis y Marta van de pesca El autobs pasa a las seis Maana llover Est lloviendo A Juan le gusta bailar El carro es bonito Las oraciones de tipo interrogativas, exclamativas o imperativas no son consideradas proposiciones. Por ejemplo: Sintate! cundo sale el autobs? Qu bonito carro! Dnde est Juan?

Sintaxis
El elemento base de la lgica proposicional, es la proposicin. La proposicin es un enunciado que afirma un hecho. Una proposicin es una sentencia atmica1 representada por un smbolo llamado variable proposicional. A continuacin se describe los elementos sintcticos de esta lgica: Variables proposicionales: son smbolos que ocupan el lugar de un enunciado en una inferencia. Los smbolos generalmente son las ltimas letras del abecedario a partir de la p, p0, p1,q,r. Por ejemplo: p: el cielo est nublado q: hace calor r: el cielo est soleado

Conectivas lgicas: son elementos que sirven para enlazar oraciones simples y formar sentencias compuestas. Las conectivas lgicas son: 1. (negacin). Sirve para negar una proposicin, por ejemplo p (el cielo no est nublado) 2. (y, conjuncin). Indica una conjuncin entre dos proposiciones, ejemplo p q

Elementos sintctico indivisibles

Apuntes de Lgica Proposicional

M.C. Miriam Snchez Santamaria

3. V (o, disyuncin). Indica una disyuncin entre dos proposiciones, ejemplo p v q 4. => (implica, condicional). Indica la implicacin, esto es, la conclusin a partir de premisas o antecedentes. Las implicaciones tambin se conocen como reglas o afirmaciones si-entonces. Otro smbolos para la implicacin es , Ejemplo r=>q 5. <=> (bicondicional, si y solo si) Los parntesis ( ), son smbolos auxiliares que son tiles para mejorar la legibilidad o evitar la ambigedad en una sentencia compuesta. Frmulas proposicionales: Las variables proposicionales son frmulas (frmulas atmicas). Las sentencias compuestas son frmulas. Ejemplos: p, (p v q), q, (p v q), ((p=>q) v (q=>p)) Las letras maysculas representan frmulas. Aunque tambin se utilizan los smbolos del alfabeto griego (, , , ) F: (p v q) G: ((p=>q) v (q=>p)) S: (p v q) Si F y G son frmulas entonces tambin lo son: F, (F G), (F v G), (F => G) y (F <=> G).

Semntica

En la lgica proposicional, la semntica especifica cmo obtener el valor de verdad de cualquier sentencia, dado un modelo. En lgica proposicional un modelo son las asignaciones de valores de verdad (falso o verdadero) para cada smbolo proposicional. Por ejemplo, en un problema donde se cuenta con 5 smbolos proposicionales relevantes, es posible tener hasta 25 modelos posibles. m1= {p=falso, q=falso, r=verdadero, s=verdadero, t=falso} m2= {p=verdader, q=falso, r=falso, s=verdadero, t=falso} m3= {p=verdadero, q=verdadero, r=verdadero, s=verdadero, t=falso} Todas las sentencias se construyen a partir de sentencias atmicas y las cinco conectivas lgicas, por tanto es necesario establecer cmo definir el valor de verdad de las sentencias atmicas, as como el de las sentencias compuestas. Para las sentencias atmicas, el valor de verdad de cada smbolo proposicional se debe especificar directamente para cada modelo. Para calcular el valor de cada sentencia compleja segn la posible asignacin de valores de verdad a sus componentes se siguen las reglas para las conectivas. Estas reglas se muestran en la Tabla 1.
Tabla 1. Tabla de verdad

p verdadero verdadero falso falso

q verdadero falso verdadero falso

p falso falso verdad verdad

pq
verdadero falso falso falso

pvq
verdadero verdadero verdadero falso

p => q verdadero falso verdadero verdadero

p<=>p verdadero falso falso verdadero

Apuntes de Lgica Proposicional

M.C. Miriam Snchez Santamaria

Inferencia
La inferencia lgica es el proceso de razonamiento que permite obtener una consecuencia o conclusin a partir de expresiones acerca de una situacin (llamadas premisas), es decir, formalmente, se establece una relacin de implicacin entre dos frmulas. En forma general, la inferencia se representa como sigue: F1,.,Fn C O bien F1,.,Fn |= C Una inferencia es vlida si y slo si la conclusin C es verdadera en todas las situaciones en las cuales todas las premisas F1,.,Fn son verdaderas. Si la inferencia es vlida, se dice que C es consecuencia lgica de F1,.,Fn Existen tres tipos de inferencia: Deduccin. La deduccin es la aplicacin de una regla (premisa 1) a un caso (premisa 2) para establecer un resultado (conclusin). Por ejemplo: o o o Regla: Todas las piezas de esta bolsa son blancas Caso: Estas piezas estaban en esta bolsa Resultado: Estas piezas son blancas

Una forma bsica de inferencia deductiva es el silogismo, que consta de dos premisas y una conclusin, siendo la conclusin la inferencia de las otras dos. La deduccin es un proceso de razonamiento que consiste en elaborar secuencias de aseveraciones acerca de supuestos, creencias, hechos comprobados, entre otros, cuidadosamente formuladas y encadenadas de modo tal que cada aseveracin proceda de la anterior. Cada argumento debe tener por lo menos tres aseveraciones, dos denominadas premisas, si se trata de argumentos lgicos, o aseveraciones de soporte si se trata de argumentos convincentes y una tercera que en el caso de los argumentos lgicos constituye la conclusin y en el de los argumentos convincentes, la aseveracin clave. Induccin. La induccin es la inferencia de una regla general a partir de un caso y un resultado. Ejemplo o o o Caso: Estas piezas estaban en esta bolsa Resultado: Estas piezas son blancas Regla: Todas las piezas de esta bolsa son blancas

Abductivo. Es la inferencia de un caso a partir de una regla general y un resultado. Este tipo de inferencia tambin se conoce como hiptesis o conjetura. Por ejemplo: o o o Regla: Todas las piezas de esta bolsa son blancas Resultado: Estas piezas son blancas Caso: Estas piezas provienen de esta bolsa

Apuntes de Lgica Proposicional

M.C. Miriam Snchez Santamaria

Patrones de inferencia
Existen ciertos patrones de inferencia que se presentan una y otra vez, lo que permite establecer de su confiabilidad, estos patrones se denominan reglas de inferencia. Una regla de inferencia permite evitar pasar por las tablas de verdad, para comprobar la validez de la inferencia. Algunas reglas de inferencia son: Modus ponens. A partir de una implicacin y la premisa de la implicacin, se puede inferir la conclusin. Se representa de la siguiente forma: p=>q, p q Ejemplos: Premisa 1: Todos los libros sobre computadoras son terriblemente aburridos (p=>q) Premisa 2: ste es un libro sobre computadoras (p) Conclusin : Este libro es terriblemente aburrido (q)

Premisa 1: Si tomas el medicamento te mejorars (p=>q) Premisa 2: Ests tomando el medicamento (p) Conclusin: Por lo tanto te mejorars (q) Modus tollens. A partir de una implicacin y la negacin de premisa de la implicacin, se puede inferir la negacin de conclusin. Se representa de la siguiente forma: p=>q, q p Ejemplos: Premisa 1: Todos los libros sobre computadoras son terriblemente aburridos (p=>q) Premisa 2: ste libro no es terriblemente aburrido (q) Conclusin : Este libro no es de computadoras (p) Premisa 1: Si tomas el medicamento te mejorars (p=> q) Premisa 2: No ests mejorando (q) Conclusin: No ests tomando el medicamente (p) Doble negacin eliminacin. A partir de una oracin doblemente negada se puede inferir una oracin positiva. Se representa de la siguiente forma: p p Ejemplo p: me gusta bailar Premisa: No es cierto que no me gusta bailar (p) Conclusin: Me gusta bailar (p)

Apuntes de Lgica Proposicional

M.C. Miriam Snchez Santamaria

Resolucin unitaria. A partir de una disyuncin, si uno de los disyuntos es falso, se puede inferir que el otro es verdadero. Se representa de la siguiente forma: p q, q p Ejemplo: p: ir al cine q: ir al teatro Premisa 1: Ir al cine o ir al teatro p q Premisa 2: No ir al teatro (q) Conclusin : Ir al cine (p)