Documentos de Académico
Documentos de Profesional
Documentos de Cultura
A la lgica tambin se le considera como la teora de la deduccin, entendindose como tal a una conexin necesaria entre la verdad hipottica y formal de una o ms proposiciones, llamadas premisas y la verdad de otra proposicin llamada conclusin.
Segn Digenes Rosales P. La lgica es una ciencia que estudia los mtodos o procedimientos que aplican definiciones y leyes con el propsito de determinar la validez o invalidez de las inferencias
Estructuras Discretas I 11
5/16/12
IDEA DE VERDAD
El
ser humano a travs de la historia y de su evolucin, ha sentido en toda circunstancia la necesidad de descubrir el porqu de los sucesos, de encontrar la verdad de las cosas; para ello se ha valido de muchos tanteos. Dicha bsqueda, en algunos casos se ha realizado en forma emprica y otros, en forma racional o lgica.
5/16/12
Estructuras Discretas I
22
IDEA DE VERDAD
Por
ejemplo, si introducimos un vaso con agua en una refrigeradora a baja temperatura, vemos que el agua enfra; y si permanece mayor tiempo, el agua se congela; este fenmeno constituye una verdad que se verifica con una simple observacin o comprobacin fsica. A este tipo de verdad se le conoce con el nombre de verdad emprica.
5/16/12
Estructuras Discretas I
33
IDEA DE VERDAD
En
cambio, existe otro tipo de verdad por ejemplo, decimos que Juan es peruano y chileno al mismo tiempo, estamos frente a algo realmente imposible, que una persona sea al mismo tiempo peruana y chilena; pues, para llegar al convencimiento es suficiente comprender el significado de dicha expresin. A esta verdad se le denomina verdad racional o lgica.
5/16/12
Estructuras Discretas I
44
IDEA DE VERDAD
Entonces, tenemos dos tipos de verdad; una de ellas que se obtiene mediante la experiencia, la observacin previa, y que es captada por medio de los sentidos, se le llama verdad emprica: y otra, que no es necesario la observacin y/o la experiencia. A esta verdad se le conoce como verdad racional, la misma que se establece mediante el pensamiento; es decir, como consecuencia del anlisis de las palabras y el significado que constituyen la afirmacin.
Estructuras Discretas I 55
5/16/12
LOGICA PROPOSICIONAL
En
nuestras comunicaciones diarias, continuamente utilizamos palabras, frases u oraciones sin reparar en su significado ni en la importancia de tales expresiones, es decir, utilizamos simples enunciados.
5/16/12
Estructuras Discretas I
66
LOGICA PROPOSICIONAL
ENUNCIADO: Se conoce con el nombre de enunciado a toda frase u oracin. Ejemplos: 1. Trujillo es la capital del departamento de La Libertad 2. Viajars a Lima maana? 3. X + 3 = 15 4. Qu fro hace! 5. Carmelita est estudiando. 6. 3 es menor que 5 7. Viva el Per! 8. Nelly es hermosa 9. Elvira tiene fro 10. Lima est en el Per
5/16/12
Estructuras Discretas I
77
LOGICA PROPOSICIONAL
Como
podemos observar, estas expresiones que pueden ser llamadas frases, oraciones, exclamaciones, interrogaciones, etc, son enunciados. Si de estos enunciados se puede afirmar que son verdaderos o falsos, entonces se llamaran Proposiciones.
5/16/12
Estructuras Discretas I
88
LOGICA PROPOSICIONAL
PROPOSICIN:
Se llama proposicin a todo enunciado del cual se puede afirmar que es verdadero (V) o falso (F); pero no verdadero y falso al mismo tiempo. Si un enunciado es verdadero, no puede ser falso y, si es falso, no puede ser verdadero.
5/16/12
Estructuras Discretas I
99
LOGICA PROPOSICIONAL
Ejemplos: 1.
Lima es la capital de Chile (F) Enunciado falso 2. En el plano la suma de las medidas de los ngulos de un tringulo cualesquiera es igual a 180 (V) Enunciado verdadero 3. 3 + 17 = 2 + 15 (F) Enunciado falso 4. Cesar Vallejo naci en Santiago de Chuco. (V) Enunciado verdadero 5. Algunos seres humanos son inmortales (F) Enunciado falso 6. Miguel de Cervantes Saavedra naci en Espaa y Jos Santos Chocano naci en el Per. (V) Enunciado verdadero
5/16/12
Estructuras Discretas I
1010
LOGICA PROPOSICIONAL
Luego
de observar los ejemplos anteriores, podemos decir que los enuncia- dos de los cuales se puede afirmar que son verdaderos o falsos, reciben el nombre de Proposiciones. En cambio, aquellas expresiones en las cuales no se puede determinar la verdad o falsedad, tales como preguntas, exclamaciones, etc. no son proposiciones, siguen siendo simples enunciados. Una pregunta, una exclamacin, una orden, no es proposicin. Ejemplos:
5/16/12
Estructuras Discretas I
1111
LOGICA PROPOSICIONAL
No
son Enunciados Ejemplos: 1. Qu hora es? 2. Viva Huacho! 3. No fumar 4. Guarde silencio Asimismo, existen enunciados de los cuales no se puede decir si son verdaderos o falsos antes darle un valor a su variable.
5/16/12
Estructuras Discretas I
1212
LOGICA PROPOSICIONAL
Asimismo,
existen enunciados de los cuales no se puede decir si son verdaderos o falsos antes darle un valor a su variable. A estos enunciados se les denomina: Enunciados Abiertos.
5/16/12
Estructuras Discretas I
1313
LOGICA PROPOSICIONAL
ENUNCIADOS
ABIERTOS. Son expresiones de las cuales no puede afirmarse si son verdaderas o falsas, si antes no conocemos el valor de sus variables. Estos enunciados se convierten en Proposiciones luego de haberles asignado un valor a su variable o variables
5/16/12
Estructuras Discretas I
1414
LOGICA PROPOSICIONAL
ENUNCIADOS Ejemplos: 1.
ABIERTOS.
x + 4 > 10 No podemos decir si es verdadero (V) o falso (F), si no reemplazamos a X con un valor. Si se reemplaza a X por un nmero mayor que 6, el enunciado ser verdadero (V). En cambio si se reemplaza por un nmero menor que 6, el enunciado ser falso (F)
5/16/12
Estructuras Discretas I
1515
LOGICA PROPOSICIONAL
ENUNCIADOS
ABIERTOS. 2. x y = 5 Sin reemplazar las variables x e y con valores no se puede afirmar si el enunciado es verdadero (V) o falso (F), entonces: Si: x = 8 y = 3 El enunciado ser verdadero (V) pero Si: x = 20 y = 10 El enunciado ser falso (F)
5/16/12
Estructuras Discretas I
1616
LOGICA PROPOSICIONAL
VARIABLES
PROPOSICIONALES: Las proposiciones se representan generalmente con letras minsculas del alfabeto castellano tales como: p, q, r, s, t... Estas letras reciben el nombre de Variables Proposicionales. Si una proposicin p es verdadera, se dice que su valor de verdad es (V); si es falsa, su valor de verdad es (F). Adems, las proposiciones pueden ser SIMPLES o COMPUESTAS.
5/16/12
Estructuras Discretas I
1717
LOGICA PROPOSICIONAL
CLASES
DE PROPOSICIONES. PROPOSICIN SIMPLE: Es aquella que tiene un solo sujeto y un solo predicado. Tambin se le llama Proposicin Elemental. Ejemplos: 1. Juan Pablo II naci en Polonia Sujeto Predicado 2. San Martn de Porras naci en el Per Sujeto Predicado
5/16/12
Estructuras Discretas I
1818
LOGICA PROPOSICIONAL
CLASES
DE PROPOSICIONES.
PROPOSICIN
COMPUESTA.- Es aquella que est conformada por dos o ms proposiciones simples. Esta proposicin tambin se llama Coligativa y puede obtenerse a partir de proposiciones simples. Ejemplos: 1. Mara es enfermera y Juan es mdico. 2. Ral estudia computacin o Administracin. 3. Maana es Lunes o Martes
5/16/12
Estructuras Discretas I
1919
LOGICA PROPOSICIONAL
CLASES
Ejemplos:
DE PROPOSICIONES.
4. 5. 6.
Si hay calor entonces vamos a la playa 3+5=8 y 62=4 Un tringulo es equiltero si, y slo si, sus tres lados son congruentes. Como podemos observar en los ejemplos anteriores, estas proposiciones son compuestas, pues estn integradas por proposiciones simples, las mismas que se encuentra conectadas o ligadas por determinadas letras o palabras llamadas:
5/16/12
Estructuras Discretas I
2020
LOGICA PROPOSICIONAL
CONECTIVOS
LGICOS Son las letras o palabras que ligan o conectan las proposiciones simples para dar origen a proposiciones compuestas. Estos conectivos pueden ser y o, si... entonces, si y slo si, no, pero , aunque etc.
5/16/12
Estructuras Discretas I
2121
LOGICA PROPOSICIONAL
CONECTIVOS Ejemplos:
LGICOS
1. Dada la proposicin compuesta: Segundo es ingeniero y Ral es analistas de sistemas. Reemplazando las proposiciones simples por las variables proposicionales, tenemos: p : Segundo es ingeniero. q : Ral es analista de sistemas. La proposicin quedar: Segundo es ingeniero y Ral es analista de sistemas p q Haciendo y = (^) tendremos p ^ q simboliza la proposicin compuesta.
5/16/12 Estructuras Discretas I 2222
LOGICA PROPOSICIONAL
CONECTIVOS Ejemplos:
LGICOS
2. Dada la proposicin compuesta: Moiss es mdico o abogado. Reemplazando las proposiciones simples por las variables, tenemos: p: Moiss es mdico q: Moiss es abogado La proposicin quedar:
Moiss es mdico o Moiss es abogado p q Haciendo o = (V), tendremos: pVq, que simboliza la proposicin compuesta
5/16/12 Estructuras Discretas I
2323
LOGICA PROPOSICIONAL
CONECTIVOS Ejemplos:
LGICOS
3. Dada la proposicin compuesta: Si maana hace calor, entonces vamos a la playa. Reemplazando las proposiciones simples por las variables proposicionales, tenemos; r : Maana hace calor s: Vamos a la playa La proposicin quedar: Si maana hace calor entonces vamos a la playa r s Haciendo: si... entonces = () Tendremos: r s, que simboliza la proposicin compuesta:
5/16/12 Estructuras Discretas I 2424
LOGICA PROPOSICIONAL
4. Dada la proposicin compuesta: Ral comprar una computadora si, y slo si, obtiene un crdito en un Banco. Reemplazando las proposiciones simples por las variables proposicionales, tenemos: p: Ral comprar una computadora. q: Ral obtiene un crdito en un Banco. La proposicin quedar. Ral comprar una computadora si, y slo si obtiene un crdito en un Banco p q Haciendo: si y solo si () tendremos: p q, que simboliza la proposicin compuesta.
5/16/12 Estructuras Discretas I 2525
aquella proposicin compuesta que resulta de unir dos proposiciones simples mediante el conectivo lgico y, el cual se denota por el smbolo (^).
5/16/12
Estructuras Discretas I
2626
Sea la proposicin compuesta: Fredy es abogado y Gustavo es ingeniero. Reemplazando: p: Fredy es abogado q: Gustavo es ingeniero Entonces, la proposicin compuesta quedar simboliza por: p^q, que representa una proposicin conjuntiva.
5/16/12
Estructuras Discretas I
2727
p
V V F F
q
V F V F
p^q
V F F F
5/16/12
Estructuras Discretas I
2929
5/16/12
Estructuras Discretas I
3030
5/16/12
Estructuras Discretas I
3131
5/16/12
Estructuras Discretas I
3232
5/16/12
Estructuras Discretas I
3333
(V) Consideremos el siguiente ejemplo: Sea la proposicin compuesta: - Ral es ingeniero o profesor. Reemplazando: p: Ral es ingeniero q: Ral es profesor Entonces la proposicin compuesta quedar simbolizada: p v q que representa una proposicin disyuntiva inclusiva.
5/16/12 Estructuras Discretas I
INCLUSIVA:
3434
5/16/12
Estructuras Discretas I
3535
todas
las
22=4 permite
p
V V F F
q
V F V F
pVq
V V V F
5/16/12
Estructuras Discretas I
3636
5/16/12
Estructuras Discretas I
3737
5/16/12
Estructuras Discretas I
3939
todas
las
22=4 permite
p
V V F F
q
V F V F
pq
F V V F
5/16/12
Estructuras Discretas I
4040
5/16/12
Estructuras Discretas I
4141
P V F
~P F V
~ (~ P) V F F V
5/16/12
Estructuras Discretas I
4444
5/16/12
Estructuras Discretas I
4545
5/16/12
Estructuras Discretas I
4646
Si Rafael consigue pasaje, entonces viajar a Trujillo. Rafael consigue pasaje = p (antecedente) Rafael viajar a Trujillo = q (consecuente) Entonces la proposicin compuesta quedar simbolizada. p q. Que representa una proposicin condicional o implicativa. Para saber si la proposicin condicional o implicativa es verdadera o falsa es necesario poner atencin en las relaciones mediante el siguiente cuadro:
5/16/12 Estructuras Discretas I 4848
p
V V F F
q
V F V F
p q
V F V V
5/16/12
Estructuras Discretas I
4949
Ejemplo adicional: Si todos los mamferos Son inmortales, entonces algunos mamferos son inmortales En caso que todos los mamferos fueran inmortales, algunos de ellos tambin seran inmortales; pero resulta que ningn mamfero es inmortal, porque, tanto el antecedente como el consecuente son falsos, sin embargo la implicacin es verdadero, es decir: Antecedente: Todos los mamferos son inmortales (F) Consecuente: Algunos mamferos son inmortales (F)
Estructuras Discretas I 5050
5/16/12
CONDICIONAL() En consecuencia: La proposicin implicativa (p q): Si todos los mamferos son inmortales, entonces algunos mamferos son inmortales es verdadera. Pues no existen mamferos inmortales; sin embargo si se cumple el antecedente, el consecuente tendra que cumplirse de todas maneras.
PROPOSICIN
PROPOSICIONES COMPUESTAS
5/16/12
Estructuras Discretas I
5151
IMPLICATIVA ( ) Es la que resulta de la conjuncin de la proposicin condicional y su recproca mediante el conectivo lgico () se denomina (p q) y se lee p, si solo si q. Es decir p implica a q y q implica a p. (p q) ^ (q p)
O DOBLE
5/16/12
Estructuras Discretas I
5252
IMPLICATIVA () Ejemplo: Sea la proposicin compuesta: Lidia estudiar contabilidad, si, y slo si obtiene una beca. Reemplazando: Lidia estudiar contabilidad = p Lidia obtiene una beca = q Entonces la proposicin compuesta queda simbolizada por (p q), la cual representa una proposicin bicondicional o doble implicativa.
O DOBLE
5/16/12
Estructuras Discretas I
5353
IMPLICATIVA () En el ejemplo podemos observar: 1. Si Lidia estudia contabilidad, entonces obtienen una beca: Si p q 2. Si Lidia obtiene una beca, entonces estudiar computacin: Si q p Construyendo la proposicin bicondicional: 1) p q 2) q p De 1 y 2 tenemos: (p q) ^ (q p) p q
5/16/12 Estructuras Discretas I
O DOBLE
5454
IMPLICATIVA () TENER PRESENTE: Para saber si la proposicin bicondicional (p q) es verdadera, ser necesario que sus dos componentes sean igual (VV o FF), si solamente una de ellas es verdadera, entonces la proposicin bicondicional ser falsa.
O DOBLE
5/16/12
Estructuras Discretas I
5555
O DOBLE
El siguiente cuadro resumir todas las posibilidades: 2 variables p.q 22=4 permite
p
V V F F
q
V F V F
p q
V F F V
5/16/12
Estructuras Discretas I
5656
EVALUACIN DE ESQUEMAS
EVALUACIN
VERDAD Los esquemas o tablas de verdad nos permiten simplificar las proposiciones coligativas a su menor expresin. Para ello, es necesario categorizarlas de acuerdo a su importancia, utilizando los conectivos lgicos correspondientes que identifiquen las proposiciones componentes y compuestas; luego se deben obtener los valores del operador principal partiendo de la validez de cada una de las variables proposicionales (p, q, r, t, u...).
5/16/12 Estructuras Discretas I 5757
DE ESQUEMAS O TABLAS DE
EVALUACIN DE ESQUEMAS
EVALUACIN
VERDAD Todo esquema de verdad comprende dos partes: 1) El Margen, que est situado al lado izquierdo, donde se anotan las variables (p, q, r,...) y debajo de ellas escribe los posibles arreglos de (V) y (F). 2) El cuerpo del esquema que est ubicado en el lado derecho donde se anotan las proposiciones coligativas y debajo de ellas los valores de (V) (F) segn corresponda a cada proposicin de acuerdo con la jerarqua establecida.
5/16/12 Estructuras Discretas I 5858
DE ESQUEMAS O TABLAS DE
EVALUACIN
EVALUACIN DE ESQUEMAS
VERDAD DE ESQUEMAS O TABLAS DE
Cuerpo
q V F V F pVq V V V F
Margen
p V V F F
RECUERDA: La base de la frmula aplicada 2n siempre es dos (2) porque solamente existen dos posibilidades: ser verdadera o falsa. Elexponente n es el nmero de variables de la proposicin que existen enel margen (p, q, r, s,...)
5/16/12 Estructuras Discretas I 5959
EVALUACIN DE ESQUEMAS
Jerarqua
de proposiciones. En la evaluacin de los esquemas es necesario la jerarquizacin de las proposiciones, que consiste en determinar la proposicin principal. Para ello en algunos casos se colocan puntos en el conectivo lgico de mayor jerarqua y en otros casos se usan signos de agrupacin, para evitar ambigedades.
5/16/12
Estructuras Discretas I
6060
EVALUACIN DE ESQUEMAS
Jerarqua
de proposiciones. Ejemplo (1) (p v q) ( p ^ q) Indica que se trata de una proposicin condicional en la cual el antecedente es una proposicin disyuntiva dbil (V) y el consecuente es una proposicin conjuntiva (^)
5/16/12
Estructuras Discretas I
6161
EVALUACIN DE ESQUEMAS
Jerarqua
de proposiciones. Ejemplo (2) (p q) ^ (p v q) Indica que se trata de una proposicin conjuntiva (principal) donde la primera componente es una proposicin condicional y la segunda es una proposicin disyuntiva dbil.
5/16/12
Estructuras Discretas I
6262
EVALUACIN DE ESQUEMAS
Jerarqua
de proposiciones. Ejemplo (3) p [(p q)] v ~ r Indica que la proposicin de mayor jerarqua es la proposicin bicondicional ( )
5/16/12
Estructuras Discretas I
6363
EVALUACIN DE ESQUEMAS
Ejemplo
(4) ~ [(p ^ q) (p v r)] Indica que el esquema es negativo, porque todo lo obtenido dentro del corchete se niega al final. Debemos tener presente que en forma general los conectivos estn jerarquizados de menor a mayor, donde ~es el de menor jerarqua, le siguen ^ y v que tienen igual jerarqua, luego y despus . Cuando se utilizan los signos de coleccin (parntesis, corchetes, llaves) la jerarqua la determinan dichos signos: {[ ()]}
Estructuras Discretas I 6464
5/16/12
EVALUACIN DE ESQUEMAS
Ejemplo
(2) Evaluar la tabla de verdad de la proposicin: p q.^.~pvq La proposicin es conjuntiva por tener puntos el conectivo (.^.). p
V V F F
q
V F V F
p q . ^ . ~ p v q
V F V V 3 V F V V 4 F F V V 1 V F V V 2
6565
V F V F
5/16/12
Estructuras Discretas I
EVALUACIN DE ESQUEMAS
Ejemplo
(3) Evaluar la tabla de verdad de la proposicin: p ^ q . ^. q v r : : p ^ r Solucin: N de valores de verdad: 23 = 8 Mayor jerarqua tiene la proposicin condicional (: :) por tener cuatro (4) puntos, luego la proposicin conjuntiva (.^ .) por tener dos (2) puntos.
5/16/12
Estructuras Discretas I
6666
EVALUACIN DE ESQUEMAS
Solucin:
p
V V V V F F F F
5/16/12
q
V V F F V V F F
r p ^ q . ^. q v r : : p ^ r
V F V F V F V F 1 3 2 5 4
6767 Estructuras Discretas I
EVALUACIN DE ESQUEMAS
Ejemplo
q
V F V F
(p q) v ~ ( p q)
4
5/16/12
1
6868
Estructuras Discretas I
EVALUACIN DE ESQUEMAS
Ejemplo
3
5/16/12
1
6969
Estructuras Discretas I
EVALUACIN DE ESQUEMAS
Proceso : (1) Se encontr la negacin de q y r (2) Se encontr la disyuncin inclusiva de q y r (3) Se encontr la condicional de p y 2. (4) Se encontr la bicondicional de p y r (5) Se encontr la disyuncin inclusiva de q y 4. (6) Se neg el 2do corchete (5). (7) Se encontr la conjuncin de 3 y 6 obtenido el resultado.
5/16/12
Estructuras Discretas I
7070
EVALUACIN DE ESQUEMAS
Ejemplo
1
5/16/12
4
7171
Estructuras Discretas I