Logica Proposicional

UNIDAD 2 : LÓGICA PROPOSICIONAL INTRODUCCIÓN Uno de los procesos por los cuales adquirimos conocimiento es el proceso de razonamiento. A su vez, hay una variedad de modos o formas mediante las cuales razonamos o argumentamos a favor de una conclusión. Ciertas formas de razonamiento parecen mostrar que si se suponen ciertas premisas, entonces la conclusión se sigue necesariamente. A tales razonamientos se los ha denominado deductivos y forman el objetivo central de lo que clásicamente se ha denominado lógica. En un sentido amplio, el término lógico hace referencia al estudio de todos los razonamientos, y en un sentido estricto ha estado circunscrito al estudio del razonamiento deductivo. Cierto tipo de razonamiento deductivo se basa en la lógica proposicional. Lo que caracteriza a la lógica proposicional es que toma como unidades básicas a las proposiciones y que tiene en cuenta como se combinan entre ellas por medio de conectivos lógicos para formar argumentos válidos. 2.1. PROPOSICIONES Una proposición es una sentencia declarativa que puede ser verdadera o falsa, pero no ambas a la vez. También podríamos decir que una proposición es una sentencia que expresa una propiedad para un individuo o ente, o que expresa la validez de una relación entre individuos o entes. Por ejemplo: Hoy es sábado. Los triángulos tienen cuatro vértices. 25 + 24 = 49. Juan va al trabajo en bus . Las sentencias exclamativas, las interrogativas y las imperativas tales como: ¡Viva la familia!, ¿Está lloviendo? no son proposiciones puesto que no pueden ser declaradas como verdaderas o falsas. La veracidad (V) o falsedad (F) de una proposición se llama valor de verdad y viene dada por algún criterio independiente de la proposición. Algunas proposiciones parecieran tener distintos valores de verdad según el caso. Por ejemplo, si decimos: Hoy es sábado, es falsa de domingo a viernes y es verdadera los sábados. En nuestro lenguaje coloquial hay una gran parte de la información que está implícita. La palabra hoy está indicando una fecha particular, aunque no se esté diciendo explícitamente cual. 2.2. TIPOS DE PROPOSICIONES 18

Formalmente, se define una proposición como un enunciado declarativo que puede ser verdadero o falso, pero no ambos a la vez. Las proposiciones se representan mediante variables proposicionales simbolizadas mediante letras minúsculas p, q, r,......que se denomina letras proposicionales. Con la combinación de variables proposicionales y conjunciones se obtienen fórmulas sentenciales o sentencias. Una proposición que tenga como único valor (F) se le denomina proposición lógicamente falsa, y a la que tenga como único valor (V), se le denomina lógicamente verdadera Las proposiciones pueden constar de un solo enunciado o de varios, en el primer caso las denominamos proposiciones atómicas y en segundo moleculares. Las proposiciones moleculares se obtienen de las atómicas mediante determinadas leyes de composición denominadas conectivos y se estudiará más adelante En resumen las proposiciones se clasifican en: • • •

Tautología: es la sentencia que es verdadera ( I ) Contradicción: es la sentencia que es falsa. ( O ) Indeterminación: es la sentencia que ni es verdadera ni falsa.

2.3 CONECTIVOS Y OPERADORES LÓGICOS En el cálculo proposicional se suelen utilizar letras minúsculas como p, q, r,... para simbolizar las proposiciones. Estos símbolos pueden modificarse o combinarse mediante conectivos lógicos dando lugar a proposiciones compuestas, como las mostradas en la siguiente tabla.

¬ ∧ ∨ ⊕ → ↔

NO Y O

Negación Conjunción Disyunción inclusiva O..O Disyunción exclusiva SI..ENTONCES Condicional SI Y SOLO SI Bicondicional

2.3.1 Conjunción o Producto Lógico ( ∧ ) La conjunción es un conectivo que permite formar proposiciones compuestas a partir de dos o más proposiciones. Una conjunción de proposiciones es verdadera si y sólo si cada una de ellas es verdadera. Basta que un solo término de la conjunción sea falso para que 18

toda la conjunción sea falsa. En castellano, normalmente la conjunción se expresa por medio de la ’y’, de comas o de una combinación de estas, o palabras como ’pero’. Así, por ejemplo, la proposición compuesta Mérida tiene sierras y tiene ríos es verdadera porque cada parte de la conjunción es verdadera. No ocurre lo mismo con la proposición Mérida tiene sierras y tiene mar. Esta proposición es falsa porque Mérida no tiene mar. La siguiente tabla corresponde a la tabla de verdad de la conjunción: Es una conectiva definida por: p ∧q ≡ ¬ ( ¬p ∨ ¬q ) La sentencia será verdadera sólo cuando ambas variables proposicionales sean verdaderas. p q p ∧q ========== V V V V F F F V F F F F EJEMPLO . Si p es “algunas aves vuelan” y q es “el gato es un ave”, entonces p  q expresa “algunas aves vuelan y el gato es un ave”, que es obviamente falsa pues los gatos no son aves. Por otro lado la proposición p ∧ ¬q que dice “algunas aves vuelan y el gato no es un ave” es verdadera pues es la conjunción de dos proposiciones verdaderas. El producto lógico así definido tiene las siguientes propiedades a) Conmutativa p ∧q ≡ q ∧p , en efecto se cumple que: p V V F F

q V F V F

p ∧q V F F F

q ∧p V F F F

b) Asociativa ( p ∧q ) ∧r ≡ p ∧( q ∧r ) , en efecto su tabla de verdad p V V V V F F

q V V F F V V

r V F V F V F

pq V V F F F F

( p  q ) ∧r V F F F F F

q ∧r V F F F V F

p ∧( q  r ) V F F F F F

18

F F

F F

V F

F F

F F

F F

F F

c) Identidad p ∧I ≡ p p V F

p ∧I V F

I V V

d) Complemento p ∧¬ p ≡ 0 p V F

 F V

O F F

p∧ p F F

2.3.2 Disyunción Existen dos operadores de disyunción: La disyunción exclusiva o excluyente y la disyunción inclusiva o incluyente. La disyunción exclusiva de dos proposiciones es verdadera si solo una de las proposiciones es verdadera, y la indicamos con el símbolo ⊕ La disyunción inclusiva entre dos proposiciones es falsa solo si ambas proposiciones son falsas y se indica con el símbolo ∨ . En el lenguaje coloquial y en matemática es más frecuente el uso de la disyunción inclusiva, también llamada el “o inclusivo”. A veces el contexto de una frase indica si la disyunción es excluyente o incluyente. Un ejemplo de disyunción de tipo inclusivo es: “Los alumnos regularizan la materia si aprueban tres parciales o si aprueban dos parciales y tienen un 80% de asistencia.” En este caso, los alumnos pueden cumplir cualquiera de los dos requisitos, o también cumplir los dos. Pero por ejemplo, si en un restaurante con menú fijo se nos dice que tenemos como postre ’helado o flan’ normalmente no significa que podamos pedir ambos, siendo en este caso la disyunción exclusiva. Frecuentemente y cuando no es claro en el contexto de la oración se indica que una disyunción es incluyente (excluyente respectivamente) terminando la frase con o ambas (respectivamente pero no ambas). A continuación se presentan las tablas de verdad Disyunción exclusiva ( ⊕ , ∨ ) 18

Es una conectiva definida por: p ⊕ q ≡ ¬( p ↔q ) La sentencia será verdadera sólo cuando una de las dos variables proposicionales sea verdadera. p q p⊕q ============= V V F V F V F V V F F F Disyunción inclusiva o suma lógica ( ∨ ) La sentencia será verdadera cuando una o ambas variables proposicionales sean verdaderas. p q p ∨q ========== V V V V F V F V V F F F La suma lógica así definida tiene las siguientes propiedades: a)Conmutativa p ∨q ≡ q ∨p p V V F F

q V F V F

p ∨q V V V F

q p V V V F

b) Asociativa ( p ∨q ) ∨r ≡ p ∨( q ∨r )

p V V V V F F F

q V V F F V V F

r V F V F V F V

p ∨q V V V V V V F

( p  q ) ∨r V V V V V V V

q  r p ∨( q V V V F V V V

∨r ) V V V V V V V

18

F

F

F

F

F

F

F

c) Identidad p ∨O ≡ p p V F

O F F

p ¬p V F F V

I V V

p ∨O V F

d) Complemento p ∨¬ p ≡ I p ∨¬ p V V

2.3.3 Condicional ( → ) El conectivo condicional nos da, pues una proposición que es falsa cuando sea verdadera el antecedente y falso el consecuente, cuya tabla de verdad se muestra a continuación: p q p →q ================= V V V V F F F V V F F V Este conectivo lógico tiene la siguiente propiedad distributiva respecto a la suma lógica

p V V V V F F F F

q V V F F V V F F

r V F V F V F V F

q ∨r V V V F V V V F

p(pr) V V V F V V V V

p q V V F F V V V V

p r V F V F V V V V

(p  r )  (p → r ) V V V F V V V V

2.3.4 Bicondicional ( ↔ ) La sentencia será verdadera cuando ambas variables proposicionales sean iguales. 18

p q p ↔q ============== V V V V F F F V F F F V Esta conectiva tiene las siguientes propiedades:

a) Conmutativa p ↔ q ≡ q ↔ p p V V F F

q V F V F

p↔q q↔p V F F V

V F F V

b) Asociativa ( p ↔ q ) ↔ r ≡ p ↔ (q ↔ r )

p V V V V F F F F

q V V F F V V F F

p↔q V V F F F F V V

r V F V F V F V F

(p↔q)↔r V F F V F V V F

q

↔r p↔(q↔r ) V F F V V F F V

V F F V F V V F

c) Ser la conjunción de un par de condicionales en que se intercambian el antecedente y el consecuente

p↔q p V V F F

q V F V F

p →q V F V V

≡ (p → q ) ∧ ( q → p )

q  p (p  q )  ( q → p ) V V V F F F V V

p↔q V F F V

2.3.5 Negación ( ¬ , ∼ )

18

Si p es una proposición, simbolizamos con ¬p a su negación. La negación es una operación unitaria que se aplica a una proposición y tiene el efecto de revertir el valor de verdad. Esto es, si p es verdadera entonces ¬p es falsa, y si p es falsa entonces ¬p es verdadera. EJEMPLO 1. Si p simboliza la proposición estamos en la clase de “Razonamiento”, entonces ¬p es no estamos en la clase de “Razonamiento”. En la siguiente tabla mostramos la relación entre los valores de verdad de p y ¬p: p ¬p ===== V F F V Una tabla de este tipo, en la que se listan simultáneamente los valores de verdad de la proposición p y la que resulta de aplicar un conectivo se llama tabla de verdad. EJEMPLO 2. Consideremos la proposición

p: “10 es múltiplo de 5”. Entonces el valor de p es V . Su negación debe ser una proposición que es falsa siempre que p sea verdadera, por lo tanto ¬p debe expresar exactamente lo contrario a lo que expresa p: ¬p: “10 no es múltiplo de 5”. 2.3.3

Ejercicios

Determinar la tabla de verdad de las siguientes proposiciones aplicando los conectivos vistos en las clases anteriores 1

19

Problema 2 : Completar las siguientes tablas de verdad a) p V V F F

 q p ¬ q  ( p ∧¬ q )

q V F V F

b) p V V V V F F F F

q V V F F V V F F

r V F V F V F V F

q r

p ∧( q ∨r )

c) p V V V V F F F F

q V V F F V V F F

r V F V F V F V F

p ∧q

p ∧r

(p∧q) (p

∧r )

18