Está en la página 1de 51

LGICA

Ponticia Universidad Catlica de Valparaso Instituto de Matemtica

Claudio Arancibia Ibarra (clanarib@gmail.com)

CAI ()

LGICA

1 / 51

Proposiciones

Una proposicin es el signicado de cualquier frase declarativa (o enunciativa) que pueda ser o verdadera (V) o falsa (F). Nos referimos a V o a F como los valores de verdad del enunciado.

CAI ()

LGICA

2 / 51

Ejemplo

Las proposiciones: La frase "1=1" es una proposicin, puesto que puede ser verdadero o falso. Como resulta que es un enunciado verdadero, su valor de verdad es V. La frase "1=0" tambin es una proposicin, pero su valor de verdad es F. "Llover maana" no es una proposicin. Para conocer su valor de verdad habr que esperar hasta maana.

CAI ()

LGICA

3 / 51

Lenguaje de la lgica proposicional

El lenguaje de la lgica proposicoinal consta de tres tipos de signos en su tarea de reconstruir la estrucutura lgica del lenguaje natural:

CAI ()

LGICA

4 / 51

1) Unos signos para representar las proposiciones simples o atmicas: se trata de las letras proposicionales, que por convencin suelen designarse con las letras minsculas p , q , r , etc.

CAI ()

LGICA

5 / 51

2) Unos signos para formar proposiciones complejas o moleculares conectndolas entre s: se trata de las conectivas (tambin llamados conectores, o juntores). En la siguiente tabla presentamos el nombre, el signo y la equivalencia con el lenguaje natural de las cinco conectivas que utilizaremos: . ". . . no. . . " Negador Conjuntor ^ ". . . y. . . " Disyuntor _ ". . . o. . . " Condicional ) "si. . . entonces. . . " Bicondicional , ". . . si y slo si. . . " Disyuntor fuerte Y "exclusivamente. . . o exclusivamente. . . "

CAI ()

LGICA

6 / 51

3) Unos signos auxiliares, que son los parntesis, que pueden ayudar a delimitar dnde comienza una parte de la frmula y dnde acaba para empezar la siguiente. Su equivalencia en el lenguaje natural seran los signos de puntuacin en la lengua escrita.

CAI ()

LGICA

7 / 51

Conectores

Podemos formar nuevas proposiciones a partir de otras de muchas maneras diferentes. Por ejemplo, a partir de p : "Yo soy un ingeniero", podemos formar la negacin de p : "No es el caso de que yo sea ingeniero", o ms sencillamente "No soy ingeniero". Denotamos la negacin de p mediante p , que se lee "no p ". Hay otras formas de sealar la negacin de un enunciado, por ejemplo, mediante el smbolo :.

CAI ()

LGICA

8 / 51

Lo importante de la negacin es que si p es verdadero, entonces p es falso, y viceversa. Esto se puede resumir en la siguiente tabla de verdad de la negacin: p V F p F V

CAI ()

LGICA

9 / 51

Ley de la doble negacin

Qu es lo que sucedera se nos propusiramos negar una negacin? En forma simblica, qu sucede si nos proponemos negar la expresin p ?

p , p p , p p , p

CAI ()

LGICA

10 / 51

Conjuncin

La conjuncin de de p y q es el enunciado p ^ q , que se lee "p y q". p ^ q es verdadera cuando p es verdadera y q es verdadera. Su valor de verdad queda denido por la siguiente tabla de verdad. p V V F F q V F V F p^q V F F F

CAI ()

LGICA

11 / 51

Disyuncin

La disyuncin de p y q es el enunciado p _ q , que se lee "p o q ". p _ q es verdadera cuando p es verdad, o q es verdad, o ambos lo son. Su valor de verdad viene dado por la siguiente tabla de verdad: p V V F F q V F V F p_q V V V F

CAI ()

LGICA

12 / 51

Disyuncin fuerte
La disyuncin fuerte de p y q es el enunciado p Y q , que se lee "p o q , pero no p y q ". Viene a decir que al menos una de las opciones es verdadera, pero slo una. En este sentido exclusivo, p Y q es verdadera cuando solo p es verdadera o solo q lo es. Su valor de verdad viene dado por la siguiente tabla de verdad: p V V F F q V F V F pYq F V V F

CAI ()

LGICA

13 / 51

Condicional

El condicional p ) q se lee "p implica q " o bien "si p , entonces q ". Un condicional siempre es verdadero, excepto cuando el antecedente es verdadero y el consecuente falso. Su valor de verdad viene dado por la siguiente tabla de verdad: p V V F F q V F V F p)q V F V V

CAI ()

LGICA

14 / 51

Bicondicional

El bicondicional o doble implicador p , q , que se lee "p si y slo si q " o "p es equivalente a q ". p , q sea verdadera, tanto p como q han de tener los mismos valores de verdad. Su valor de verdad viene dado por la siguiente tabla de verdad: p V V F F q V F V F p,q V F F V

CAI ()

LGICA

15 / 51

Tablas de verdad

Llamamos atribuciones veritativas a todas la combinaciones de verdad y falsedad de las proposiciones atmicas de una frmula. El nmero de estas atribuciones veritativas aumenta rpidamente a medida que se incrementa el nmero de proposiciones de la frmula. Para n proposiciones, la frmula 2n nos da el nmero de estas atribuciones veritativas. As: Para dos proposiciones: 2n = 22 = 2 2 = 4 Para tres proposicones: 2n = 23 = 2 2 2 = 8 Para cuatro proposiciones: 2n = 24 = 2 2 2 2 = 16

CAI ()

LGICA

16 / 51

Ejemplo

1) Construir la tabla de verdad para (p _ q ) p V V F F q V F V F p _ q (p _ q ) V F V F V F F V

CAI ()

LGICA

17 / 51

2) Construir la tabla de verdad para (p _ q ) ^ p p V V F F q V F V F p _ q (p _ q ) ^ p V V V V V F F F

CAI ()

LGICA

18 / 51

Ejercicio

Determinar la tabla de verdad, para (p _ r ) ^ q .

CAI ()

LGICA

19 / 51

Tautologa

Llamadas tautologas, que tienen la peculiaridad de que todas sus posibles interpretaciones son siempre verdaderas.

CAI ()

LGICA

20 / 51

Ejemplo

Veamos si el siguiente enunciado es tautologa: (p ^ q ) _ [(p ) _ (q )]

CAI ()

LGICA

21 / 51

Contradicciones

La forma ms sencilla para averiguar si un enunciado es contradictorio consiste en elaborar su tabla de verdad. Si en la columna de la conectiva principal nos encontramos con que todas sus posibles interpretaciones son falsas, entonces estamos ante una contradiccin.

CAI ()

LGICA

22 / 51

Ejemplo

Veamos si el siguiente enunciado es contradiccin: [(p ) ^ q ] ^ [p ^ (q )]

CAI ()

LGICA

23 / 51

Contingencia

Es todo enunciado molecular que no sea ni Tautologa ni Contradiccin.

CAI ()

LGICA

24 / 51

Equivalencias lgicas

Ya hemos conocido algunas equivalencias lgicas: Doble negacin p Propiedad conmutativa de la conjuncin p^q Propiedad conmutativa de la disyuncin p_q Propiedad conmutativa del bicondicional (p , q ) Ley asociativa de la conjuncin p ^ (q ^ r ) Ley asociativa de la disyuncin p _ (q _ r )

,p , q^p , q_p , (q , p ) , (p ^ q ) ^ r , (p _ q ) _ r

CAI ()

LGICA

25 / 51

Equivalencia lgica en la ley asociativa de la conjuncin

Demostraremos, a continuacin, que, en virtud de la ley asociativa de la conjuncin, la frmula p ^ (q ^ r ) es lgicamente equivalente a (p ^ q ) ^ r .

CAI ()

LGICA

26 / 51

Las leyes de DeMorgan

Una primera ley de DeMorgan se puede expresar del siguiente modo:

(p ^ q ) , (p ) _ (q ) [ [ (p _ q ) , (p ) ^ (q )

CAI ()

LGICA

27 / 51

La ley de idempotencia

Se puede representar de la siguiente manera:

p^p , p p_p , p

CAI ()

LGICA

28 / 51

Distributividad

p _ (q ^ r ) , (p _ q ) ^ (p _ r )

p ^ (q _ r ) , (p ^ q ) _ (p ^ r )

CAI ()

LGICA

29 / 51

La ley de identidad

Se puede representar de la siguiente manera:

p^V p_V

p^F

p_F

, , , ,

F p V p

CAI ()

LGICA

30 / 51

Absorcin

p _ (p ^ q ) , p

p ^ (p _ q ) , p

CAI ()

LGICA

31 / 51

La ley del complemento

Se puede representar de la siguiente manera:

(p _ p ) (p ^ p ) F V

, , , ,

V F V F

CAI ()

LGICA

32 / 51

Otras

Ademas tenemos:

(p ) q ) , (p _ q ) (p , q ) , (p ) q ) ^ (q ) p )

CAI ()

LGICA

33 / 51

Proposiciones con cuanticadores

Los smbolos 8 (cuanticador universal) y 9 (cuanticador existencial) se utilizan en Matemticas para enunciar proposiciones logicas relativas a objetos matemticos. Sea A un conjunto y p (x ) una proposicin o propiedad que hace referencia a un elemento x .

CAI ()

LGICA

34 / 51

Cuanticador universal

La expresin

8x 2 A ) p (x )
se lee "para todo x que pertenece a A se verica p(x)", representa la proposicin fx 2 A : p (x ) g = A

CAI ()

LGICA

35 / 51

Cuanticador existencial

La expresin

9x 2 A : p (x )
se lee "existe x que pertenece a A tal que p(x)", representa la proposicin

fx 2 A : p (x ) g 6 = ?

CAI ()

LGICA

36 / 51

La negacin de cualquiera de las dos proposiciones anteriores se realiza negando la proposicin p (x ) y cambiando el cuanticador universal por el cuanticador existencial, o viceversa. As, la negacin de la proposicin "8x 2 A ) p (x )" es "9x 2 A : p (x )" Mientras que la negacin de "9x 2 A : p (x )" es "8x 2 A ) p (x )"

CAI ()

LGICA

37 / 51

Ejemplos

Determinar el valor de verdad de: a)8x 2 R, x 2 + 1 0 b)8x 2 R, x 2 > 0 c)9n 2 N, n + 1 = 0 d)8x 2 R : x 2 + 1 0

CAI ()

LGICA

38 / 51

Ejercicios

1) Mediante una tabla de verdad, demostrar la siguiente equivalencia: p _ (q ^ r ) , (p ) q ) ^ (p ) r )

CAI ()

LGICA

39 / 51

Solucin: La tabla de verdad de p _ (q ^ r ) , (p ) q ) ^ (p ) r ), es: p q r p (q ^ r ) p _ (q ^ r ) (p ) q ) (p ) r ) (p ) q ) ^ (p V V V F V V V V V V V F F F F V F F V F V F F F F V F V F F F F F F F F F V V V V V V V V F V F V F V V V V F F V V F V V V V F F F V F V V V V Como los valores de verdad son iguales, entonces son equivalentes.

CAI ()

LGICA

40 / 51

2) Demostrar la siguiente proposicin, usando las leyes del lgebra proposicional: [(p _ q ) , q ] , (p ) q )

CAI ()

LGICA

41 / 51

Solucin: Al usar las leyes del lgebra proposicional tenemos:

[(p _ q ) , q ] , [(p _ q ) ) q ] ^ [q ) (p _ q )] h i , (p _ q ) _ q ^ [q _ (p _ q )] , , , , ,

[(p _ q ) ^ (q _ q )] ^ [(q _ q ) _ p ] [(p _ q ) ^ V ] ^ [V _ p ] (p _ q ) ^ V p_q p)q

Por lo tanto, (p _ q ) , q , (p ) q )

CAI ()

LGICA

42 / 51

3) Si respecto a las proposiciones p , q y r . Solo sabemos que p es verdadera. Cul es el valor de verdad de p ^ (q _ r )?

CAI ()

LGICA

43 / 51

Solucin: El valor de verdad de p ^ (q _ r ), donde p es verdadera, es: p q r r (q _ r ) p ^ (q _ r ) V V V F V V V V F V V V V F V F F F V F F V V V

CAI ()

LGICA

44 / 51

4) Construya la tabla de verdad de:

[(p ) r ) ^ (q ) r )] ) (p ) q )

CAI ()

LGICA

45 / 51

Solucin: La tabla de verdad de [(p ) r ) ^ (q ) r )] ) (p ) q ) es: p q r (p ) r ) (q ) r ) [(p ) r ) ^ (q ) r )] (p ) q ) [(p ) r ) V V V V V V V V V F F F F V V F V V V V F V F F F V F F F V V V V V V F V F V F F V F F V V V V V F F F V V V V

CAI ()

LGICA

46 / 51

5) Utilizando una tabla de verdad demuestre que la siguiente proposicin es una tautologa: (p ) q ) , (q _ p )

CAI ()

LGICA

47 / 51

Solucin: La tabla de verdad de (p ) q ) , (q _ p ), es: p V V F F q V F V F

(p ) q ) V F V V

q F V F V

(q _ p ) (p ) q ) , (q _ p ) V F V V F V V V

Como no todos los valores de verdad son verdaderos, entonces no es tautologa.

CAI ()

LGICA

48 / 51

6) El siguiente enunciado ser traducido a una frmula proposicional, negada, reducida mediante el lgebra proposicional y nalmente traducida a lenguaje gramatical: "Si Mara est enferma, no puede asistir a clases"

CAI ()

LGICA

49 / 51

Solucin: La frmula proposicional de "Si Mara est enferma, no puede asistir a clases" es: p = Mara est enferma q = No puede asistir a clases Esta frase se simboliza como:

(p ) q )
Al negar (p ) q ) y desarrollar con algebra proposicional se tiene:

(p ) q ) , (p _ q ) , p^q , (p ^ q )
Este resultado en lenguaje gramatical es "Mara est enferma y asistir a clases"
CAI () LGICA 50 / 51

Ejercicios
1) Construya la tabla de verdad para las siguientes proposiciones a) p ) (q _ r ) b) q ^ (r ) p ) 2) Simplique la expresin denotando en cada paso la ley empleada (p _ q ) ^ (p _ q ) ^ p _ q ^ q 3) Demuestre las siguientes equivalencias lgicas: a) p _ q _ (p ^ q ^ r ) , p _ q _ r b) ((p _ q ) ) (p ^ q ^ r )) , (p ^ q ) _ r c) (p _ q ) _ ((p ^ q ) _ q ) , (p ^ q ) 4) Simplicar las siguientes expresiones: a) (p ) (q _ r )) _ (p ^ q ) b) ((8x ) (9y ) ((p (x , y ) ^ q (x , y )) ) r (x , y )))

CAI ()

LGICA

51 / 51