Está en la página 1de 71

Qu es lgica?

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

PROPOSICIONES COMPUESTAS PROPOSICIN CONJUNTIVA (^)


Es

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

PROPOSICIONES COMPUESTAS PROPOSICIN CONJUNTIVA (^)


Ejemplo:

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

PROPOSICIONES COMPUESTAS PROPOSICIN CONJUNTIVA (^)


Para saber si la proposicin conjuntiva p^q es verdadera, es necesario saber si las dos proposiciones componentes son verdaderas. TENER PRESENTE: La proposicin conjuntiva (p^q) ser verdadera solamente cuando las dos proposiciones componentes p y q son verdaderas, bastar que una de ellas sea falsa para que la Proposicin Conjuntiva tambin sea falsa.
5/16/12 Estructuras Discretas I 2828

PROPOSICIONES COMPUESTAS PROPOSICIN CONJUNTIVA (^)


El siguiente cuadro resumir todas las posibilidades: 2 variables p.q 22=4 permite
realizar 4 combinaciones.

p
V V F F

q
V F V F

p^q
V F F F

5/16/12

Estructuras Discretas I

2929

PROPOSICIONES COMPUESTAS PROPOSICIN CONJUNTIVA (^)


RECUERDA: Una proposicin conjuntiva (p^q) es verdadera solamente cuando al mismo tiempo las dos proposiciones coligadas son verdaderas. En cualquier otro caso ser falsa.

5/16/12

Estructuras Discretas I

3030

PROPOSICIONES COMPUESTAS PROPOSICIN DISYUNTIVA (V)


Es aquella proposicin compuesta que resulta de unir dos proposiciones simples mediante el conectivo lgico o, el cual se denota por los smbolos (V) o (). La proposicin disyuntiva puede ser inclusiva o exclusiva; es decir, o puede ser empleada en dos formas:

5/16/12

Estructuras Discretas I

3131

PROPOSICIONES COMPUESTAS PROPOSICIN DISYUNTIVA (V)


Se dice que es inclusiva o dbil cuando incluye, la posibilidad que las dos proposiciones coligadas sean verdaderas al mismo tiempo Por ejemplo: Julio es profesor o abogado; es decir, Julio puede ser profesor y no abogado; puede ser abogado y no profesor; pero tambin puede ser profesor y abogado. (Incluye las dos posibilidades).

5/16/12

Estructuras Discretas I

3232

PROPOSICIONES COMPUESTAS PROPOSICIN DISYUNTIVA (V)


En cambio, es Exclusiva o fuerte cuando excluye la posibilidad que las proposiciones coligadas sean verdaderas al mismo tiempo; es decir, si una proposicin es verdadera la otra no debe serlo. Por ejemplo: El nmero 5 es par o es impar; pero no puede ser par e impar al mismo tiempo.

5/16/12

Estructuras Discretas I

3333

PROPOSICIONES COMPUESTAS PROPOSICIN DISYUNTIVA

(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

PROPOSICIONES COMPUESTAS INCLUSIVA: (V) PROPOSICIN DISYUNTIVA


TENER PRESENTE: Para saber si la proposicin disyuntiva inclusiva (p v q) es verdadera, ser suficiente que una de ellas sea verdadera, la otra puede ser falsa. Si fueran las dos verdaderas la disyuncin seguira siendo verdadera; porque o permite la posibilidad que sea una o las dos verdaderas para que la proposicin disyuntiva sea verdadera. La proposicin disyuntiva solamente ser falsa cuando las dos proposiciones componentes son falsas.

5/16/12

Estructuras Discretas I

3535

PROPOSICIONES COMPUESTAS INCLUSIVA: (V) PROPOSICIN DISYUNTIVA


El siguiente posibilidades:
realizar 4 combinaciones.

cuadro resumir 2 variables p.q

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

PROPOSICIONES COMPUESTAS INCLUSIVA: (V) PROPOSICIN DISYUNTIVA


RECUERDA: Una proposicin disyuntiva inclusiva (p v q) solamente es falsa cuando al mismo tiempo las dos proposiciones colgadas son falsas. En cualquier otro caso es verdadero.

5/16/12

Estructuras Discretas I

3737

PROPOSICIONES COMPUESTAS EXCLUSIVA: () PROPOSICIN DISYUNTIVA


Consideremos el siguiente ejem-plo: Sea la proposicin compuesta: El da de maana ser lunes o martes Reemplazando: p: Maana ser lunes q: Maana ser martes Entonces la proposicin compuesta quedar simbolizada (p q) que representa una proposicin disyuntiva exclusiva o fuerte
5/16/12 Estructuras Discretas I 3838

PROPOSICIONES COMPUESTAS EXCLUSIVA: () PROPOSICIN DISYUNTIVA


TENER PRESENTE: Para saber si la proposicin es disyuntiva exclusiva (p q) es verdadera ser necesario que solamente una de las proposiciones componentes sea verdadera. En los dems casos ser falsa. Una de ellas debe excluirse.

5/16/12

Estructuras Discretas I

3939

PROPOSICIONES COMPUESTAS EXCLUSIVA: () PROPOSICIN DISYUNTIVA


El siguiente posibilidades:
realizar 4 combinaciones.

cuadro resumir 2 variables p.q

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

PROPOSICIONES COMPUESTAS EXCLUSIVA: () PROPOSICIN DISYUNTIVA


RECUERDA: Una proposicin disyuntiva exclusiva o fuerte es verdadera solamente cuando sus dos proposiciones coligadas son diferentes (VF o FV). En los dems casos ser falsa.

5/16/12

Estructuras Discretas I

4141

PROPOSICIONES COMPUESTAS LA NEGACIN : (~)


Si p es una proposicin afirmativa, entonces (~ p) es una proposicin negativa; es decir, se llama, proposicin negativa aquella que niega a la proposicin afirmativa y se denota por el smbolo (~). La negacin se caracteriza por emplear el adverbio no y se lee no p (~ p) y su verdad depende de la verdad de la afirmacin. Si:p es (V) entonces ~ p es (F). Si:(~ p) es (V) entonces p es (F).
5/16/12 Estructuras Discretas I 4242

PROPOSICIONES COMPUESTAS LA NEGACIN : (~)


Ejemplo: Sea la proposicin: Carmela es estudiosa. Reemplazando: Carmela es estudiosa = p Carmela no es estudiosa = ~p Si la proposicin Carmela es estudiosa es verdadera, la expresin Carmela no es estudiosa ser falsa; y si la primera es falsa, entonces la segunda ser verdadera.
5/16/12 Estructuras Discretas I 4343

PROPOSICIONES COMPUESTAS LA NEGACIN : (~)


RECUERDA: La negacin de la negacin es la afirmacin: ~ (~ p) = p

P V F

~P F V

~ (~ P) V F F V

5/16/12

Estructuras Discretas I

4444

PROPOSICIONES COMPUESTAS PROPOSICIN CONDICIONAL()


Se llama proposicin condicional a la que resulta de unir dos proposiciones componentes mediante el conectivo lgico si... entonces, el cual se denota por el smbolo () y se lee si p entonces q, tambin puede decirse p implica a q. A esta proposicin se le conoce como hipottica (p q)

5/16/12

Estructuras Discretas I

4545

PROPOSICIONES COMPUESTAS PROPOSICIN CONDICIONAL()


A la primera proposicin (p) se le denomina antecedente y a la segunda proposicin (q) se le llama consecuente. En la proposicin condicional o implicativa, la verdad del consecuente depende de la verdad del antecedente lo que significa que si P es verdadera, entonces q debe ser verdadera, la primera implica a la segunda.

5/16/12

Estructuras Discretas I

4646

PROPOSICIONES COMPUESTAS PROPOSICIN CONDICIONAL()


Las proposiciones implicativas son utilizadas continuamente en matemticas, por eso es de mucha importancia tratarlo en esta oportunidad. La proposicin compuesta no afirma que el antecedente ni el consecuente son verdaderos, solamente indican, si el antecedente es verdadero, el consecuente tambin debe serlo.
5/16/12 Estructuras Discretas I 4747

PROPOSICIONES COMPUESTAS PROPOSICIN CONDICIONAL()

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

PROPOSICIONES COMPUESTAS PROPOSICIN CONDICIONAL()


El siguiente cuadro resumir todas las posibilidades: 2 variables p.q 22=4 permite
realizar 4 combinaciones.

p
V V F F

q
V F V F

p q
V F V V

5/16/12

Estructuras Discretas I

4949

PROPOSICIONES COMPUESTAS PROPOSICIN CONDICIONAL()

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

PROPOSICIONES COMPUESTAS PROPOSICIN BICONDICIONAL

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

PROPOSICIONES COMPUESTAS PROPOSICIN BICONDICIONAL

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

PROPOSICIONES COMPUESTAS PROPOSICIN BICONDICIONAL

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

PROPOSICIONES COMPUESTAS PROPOSICIN BICONDICIONAL

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

PROPOSICIONES COMPUESTAS PROPOSICIN BICONDICIONAL


IMPLICATIVA ()
realizar 4 combinaciones.

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

(4) Evaluar la tabla de verdad de la proposicin. (p q) v ~ ( p q) p


V V F F

q
V F V F

(p q) v ~ ( p q)

4
5/16/12

1
6868

Estructuras Discretas I

EVALUACIN DE ESQUEMAS
Ejemplo

(5) Evaluar la tabla de verdad de la proposicin: [ p ( q v r) ] [ ( q v (p q r) ] Solucin: N de valores de verdad: 23 p q r [ p ( q v r) ] [ q v (p r) ]

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

(6) Evaluar la tabla de verdad de la proposicin: [ (p q) ( q r) ] (p r)


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

1
5/16/12

4
7171

Estructuras Discretas I

También podría gustarte