Академический Документы
Профессиональный Документы
Культура Документы
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
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
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
CAI ()
LGICA
17 / 51
CAI ()
LGICA
18 / 51
Ejercicio
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
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
CAI ()
LGICA
23 / 51
Contingencia
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
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
(p ^ q ) , (p ) _ (q ) [ [ (p _ q ) , (p ) ^ (q )
CAI ()
LGICA
27 / 51
La ley de idempotencia
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
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
(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
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
CAI ()
LGICA
38 / 51
Ejercicios
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
[(p _ q ) , q ] , [(p _ q ) ) q ] ^ [q ) (p _ q )] h i , (p _ q ) _ q ^ [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
CAI ()
LGICA
44 / 51
[(p ) r ) ^ (q ) r )] ) (p ) q )
CAI ()
LGICA
45 / 51
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
(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
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