Apuntes de Lógica Proposicional

M.C. Miriam Sánchez Santamaria

2.1.

LÓGICA PROPOSICIONAL

La lógica proposicional también llamada lógica de enunciados, lógica de orden 0 o lógica 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 proposición es el elemento principal de esta lógica. Una proposición es: Una oración, 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 autobús pasa a las seis Mañana 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: ¡Siéntate! ¿cuándo sale el autobús? ¡Qué bonito carro! ¿Dónde está Juan?

Sintaxis
El elemento base de la lógica proposicional, es la proposición. La proposición es un enunciado que afirma un hecho. Una proposición es una sentencia atómica1 representada por un símbolo llamado variable proposicional. A continuación se describe los elementos sintácticos de esta lógica:  Variables proposicionales: son símbolos que ocupan el lugar de un enunciado en una inferencia. Los símbolos 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 lógicas: son elementos que sirven para enlazar oraciones simples y formar sentencias compuestas. Las conectivas lógicas son: 1. ¬ (negación). Sirve para negar una proposición, por ejemplo ¬p (el cielo no está nublado) 2. ∧ (y, conjunción). Indica una conjunción entre dos proposiciones, ejemplo p∧ q

1

Elementos sintáctico indivisibles

Apuntes de Lógica Proposicional

M.C. Miriam Sánchez Santamaria

3. V (o, disyunción). Indica una disyunción entre dos proposiciones, ejemplo p v q 4. => (implica, condicional). Indica la implicación, esto es, la conclusión a partir de premisas o antecedentes. Las implicaciones también se conocen como reglas o afirmaciones si-entonces. Otro símbolos para la implicación es →, Ejemplo r=>q 5. <=> (bicondicional, si y solo si)   Los paréntesis ( ), son símbolos auxiliares que son útiles para mejorar la legibilidad o evitar la ambigüedad en una sentencia compuesta. Fórmulas proposicionales:    Las variables proposicionales son fórmulas (fórmulas atómicas). Las sentencias compuestas son fórmulas. Ejemplos: p, (p v q), ¬q, (p v ¬q), ((p=>q) v (q=>p)) Las letras mayúsculas representan fórmulas. Aunque también se utilizan los símbolos del alfabeto griego (φ, ψ, β, α) F: (p v ¬q) G: ((p=>q) v (q=>p)) S: (p v q) Si F y G son fórmulas entonces también lo son: ¬ F, (F ∧ G), (F v G), (F => G) y (F <=> G).

 Semántica

En la lógica proposicional, la semántica especifica cómo obtener el valor de verdad de cualquier sentencia, dado un modelo. En lógica proposicional un modelo son las asignaciones de valores de verdad (falso o verdadero) para cada símbolo proposicional. Por ejemplo, en un problema donde se cuenta con 5 símbolos 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 atómicas y las cinco conectivas lógicas, por tanto es necesario establecer cómo definir el valor de verdad de las sentencias atómicas, así como el de las sentencias compuestas. Para las sentencias atómicas, el valor de verdad de cada símbolo proposicional se debe especificar directamente para cada modelo. Para calcular el valor de cada sentencia compleja según la posible asignación 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

p∧q
verdadero falso falso falso

pvq
verdadero verdadero verdadero falso

p => q verdadero falso verdadero verdadero

p<=>p verdadero falso falso verdadero

Apuntes de Lógica Proposicional

M.C. Miriam Sánchez Santamaria

Inferencia
La inferencia lógica es el proceso de razonamiento que permite obtener una consecuencia o conclusión a partir de expresiones acerca de una situación (llamadas premisas), es decir, formalmente, se establece una relación de implicación entre dos fórmulas. En forma general, la inferencia se representa como sigue: F1,….,Fn C O bien F1,….,Fn |= C Una inferencia es válida si y sólo si la conclusión C es verdadera en todas las situaciones en las cuales todas las premisas F1,….,Fn son verdaderas. Si la inferencia es válida, se dice que C es consecuencia lógica de F1,….,Fn Existen tres tipos de inferencia: Deducción. La deducción es la aplicación de una regla (premisa 1) a un caso (premisa 2) para establecer un resultado (conclusión). 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 básica de inferencia deductiva es el silogismo, que consta de dos premisas y una conclusión, siendo la conclusión la inferencia de las otras dos. La deducción 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 aseveración proceda de la anterior. Cada argumento debe tener por lo menos tres aseveraciones, dos denominadas premisas, si se trata de argumentos lógicos, o aseveraciones de soporte si se trata de argumentos convincentes y una tercera que en el caso de los argumentos lógicos constituye la conclusión y en el de los argumentos convincentes, la aseveración clave. Inducción. La inducción 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 también se conoce como hipótesis 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 Lógica Proposicional

M.C. Miriam Sánchez 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 implicación y la premisa de la implicación, se puede inferir la conclusión. 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) Conclusión : Este libro es terriblemente aburrido (q)

Premisa 1: Si tomas el medicamento te mejorarás (p=>q) Premisa 2: Estás tomando el medicamento (p) Conclusión: Por lo tanto te mejorarás (q) Modus tollens. A partir de una implicación y la negación de premisa de la implicación, se puede inferir la negación de conclusión. 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) Conclusión : Este libro no es de computadoras (¬p) Premisa 1: Si tomas el medicamento te mejorarás (p=> q) Premisa 2: No estás mejorando (¬q) Conclusión: No estás tomando el medicamente (¬p) Doble negación eliminación. A partir de una oración doblemente negada se puede inferir una oración positiva. Se representa de la siguiente forma: ¬¬p p Ejemplo p: me gusta bailar Premisa: No es cierto que no me gusta bailar (¬¬p) Conclusión: Me gusta bailar (p)

Apuntes de Lógica Proposicional

M.C. Miriam Sánchez Santamaria

Resolución unitaria. A partir de una disyunción, 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) Conclusión : Iré al cine (p)