INSTITUCIN EDUCATIVA PARROQUIAL

Segundo de Secundaria - MATEMTICA

SAN JOS OBRERO

Lic. Maritza Lizeth Salazar Vega

Practicamos: Conectivos Lgicos Proposicin Simple y Compuesta Simbolizacin

1. Con las proposiciones simples dadas, escribe las proposiciones compuestas indicadas y determina su valor de verdad.
Proposicin simple p: 5 es mayor que 3. q: 5 es menor que 7. r: 3 es mayor que 7. s: 5 es diferente a 7 Proposicin simple p: 2 es divisor de 12 q: 3 es divisor de 9. r: 5 es divisor de 12. s: 4 es divisor de 9. Proposicin compuesta pq pr s q rs Valor de verdad

3. Identifica las proposiciones simples y compuestas. Escribe (S), si la proposicin es simple, o (C), si es compuesta. a) 2 es un nmero natural y no es un nmero entero. ( ) b) 5 + 2 es menor que 10 + 1 y mayor que 5 1. ( ) c) La diferencia de 30 y 10 es 20. ( ) d) Ricardo es abogado adems economista. ( ) e) El tringulo es equiltero o issceles. ( ) 4. Encierra los conectivos lgicos. Luego en cada caso, escribe las proposiciones simples. a) Marco estudia contabilidad o Economa. p: _______________________________ q: _______________________________ b) 5 es mayor que 4 pero es menor que 6. r: _______________________________ s: _______________________________ c) Es falso que 10 sea nmero primo. m: _______________________________ n _______________________________ d) 58 es menor que 60 y mayor que 45. f: _______________________________ g: _______________________________ e) 12 mltiplo de 3 aunque tambin de 4. a: _______________________________ b: _______________________________ 5. Traduce las proposiciones al lenguaje simblico. a) Hoy es sbado y tengo que estudiar ingls._____ b) La suma de 18 y 50 es 68. _______ c) Carlos baila o dibuja. _______ d) 10 no es mltiplo de 3 o es mltiplo de 5. _____ e) No es cierto que 7 y 11 sean nmeros compuestos. _______ _______ f) La diferencia de 9 y 5 es 4, pero su suma es 14.

Proposicin compuesta pq pr s q rs

Valor de verdad

2. Dadas las siguientes proposiciones simples, escribe las proposiciones compuestas indicadas y determina sus valores de verdad. p: Los limeos son peruanos. q: Los peruanos son americanos. r: Los peruanos son europeos. s: Los peruanos son cusqueos. a) ~ p _______________________________ b) ~ r _______________________________ c) r s _____________________________ _____________________________________ d) p q _____________________________ _____________________________________ e) p r _____________________________ f) q s _____________________________ _____________________________________

INSTITUCIN EDUCATIVA PARROQUIAL

Segundo de Secundaria - MATEMTICA

SAN JOS OBRERO

g) No se cumple que 12 es mltiplo de 9. ______ h) No es cierto que 20 no sea mltiplo de 10. _____ i) Carlos es mayor que Luca pero menor que Ana. _______ j) El cuadrado no es polgono ni un cuadriltero. _______ 6. En cada subraya las proposiciones verdaderas. a) Considermos que la proposicin compuesta, Ana estudia y Pedro trabaja es falsa y adems la proposicin siple, Ana estudia es verdadera. Luego, son verdaderas: Pedro trabaja. Pedro no trabaja. Ana no estudia. Ana estudia y Pedro no trabaja. Ana no estudia y Pedro no trabaja. b) Consideremos que la proposicin compuesta Alfonso es abogado y psiclogo es falsa y adems la proposicin Alfonso es abogado es verdadera. Luego son verdaderas: Alfonso es psiclogo. Alfonso no es abogado. Alfonso es abogado y psiclogo. Alfonso es abogado o no es psiclogo. f.

Lic. Maritza Lizeth Salazar Vega

c. 5 no es un nmero primo ni 6 es un nmero compuesto. divisior de 84. ___________ ___________ __________ d. No es cierto que 8 sea divisor de 40 o 7 no es e. 3; 4 y 6 son divisores de 12.

No voy a la fiesta ni al concierto. __________

3. Dadas las siguientes proposiciones simples: p: Cuatro es el primer nmero natural compuesto. q: Cuatro es mltiplo de tres. r: Cuatro es mltiplo de dos. s: Cuatro es divisible por dos. Determina el valor de verdad de las siguientes proposiciones compuestas: a) b) c) d) e) f) g) h) i) pq pr rs rs ~r ~q ps qr s~r j) ~ q r k) ~ s l) ~ q ~ r m) ~~p n) r ~ p o) p ~ s p) p q r q) ~ p s

ACTIVIDAD
1. Encierra los conectivos lgicos. Luego, en cada caso, escribe las proposiciones simples. a) Soledad compr galletas y Luz galletas. p: _______________________________ q: _______________________________ b) Luis compra un polo o una camisa. m: _______________________________ n: _______________________________ c) 22 es mltiplo de 11 aunque tambin es mltiplo de 2. p: _______________________________ q: _______________________________ 2. Traduce las proposiciones simples dadas al lenguaje simblico. a. La piramide es un poliedro o el cuadrado no es un cuadriltero. __________ _______ b. 20 y 10 son mltiplos de 4.

4. Consideremos que la proposicin compuesta Ricardo y Dora son economistas es verdadera. Luego, subraya las proposiciones verdaderas. Ricardo es economista. Dora no es economista. Ricardo o Dora son economistas. Ricardo es economista y Dora no lo es.

La lgica estudia la forma del razonamiento, es una disciplina que por medio de reglas y tcnicas determina si un argumento es vlido. La lgica es ampliamente aplicada en la filosofa, matemticas, computacin, fsica.

INSTITUCIN EDUCATIVA PARROQUIAL

Segundo de Secundaria - MATEMTICA

SAN JOS OBRERO PROPOSICIONES COMPUESTAS Y CONECTIVOS LGICOS. Una proposicin es compuesta si se puede partir en partes constitutivas que son a su vez proposiciones simples y estn unidas por conectivos lgicos. Comenzamos por hacer abstracciones de ciertas propiedades del lenguaje informal. En particular hacemos abstraccin de las propiedades lgicas de las conectivas con las cuales combinamos proposiciones simples para formar proposiciones compuestas. Tenemos que hacer reglas precisas sobre el modo como estas conectivas combinan proposiciones y, para construir un lgebra necesitamos tener una manera simblica de representar las proposiciones simples y tambin las conectivas. No debemos olvidar que dentro de la esfera de la lgica tradicional, calcada sobre un gramaticismo un tanto confuso y discutible, el lenguaje corriente presenta ambigedades. Por eso, en la lgica moderna se trata de simplificar y de purificar el lenguaje lgico de todo elemento que se preste a confusiones y de que, por la tanto, de lugar a malentendidos. Veamos por ejemplo, como ejemplo, lo siguiente: Si quisiramos expresar en trminos de lgica simblica la siguiente expresin

Lic. Maritza Lizeth Salazar Vega

proposiciones que consisten en la unin de dos o ms proposiciones", Y as, como se vio en el ejemplo anterior, la unin de las proposiciones componentes se efecta mediante las conjunciones. La caracterstica fundamental de toda proposicin coligativa es que su verdad depende de la verdad de las proposiciones coligadas. He aqu las conectivas ms corrientes: a. b. c. d. e. f. La negacin La conjuncin La disyuncin inclusiva La disyuncin exclusiva La condicional La bicondicional

CONECTIVOS LGICOS Y TABLA DE VERDAD. A partir de los conectores u operadores lgicos, listado anteriormente, es posible formar proposiciones compuestas (formadas por varias proposiciones simples y conectadas entre s por los conectores lgicos), sin embargo los criterios de verdad resultantes de los operadores lgicos estn regidos por determinadas reglas de la lgica booleana que sealaremos a en forma posterior. Pero para ser ms preciso es necesario tener en cuenta que las proposiciones simples estn determinadas por condiciones dialcticas de tiempo y espacio. Por ejemplo si se seala "llueve y no tengo paraguas", al construir la tabla de verdad es necesario resolver en dnde? y cundo? La afirmacin "llueve" se entiende en que es en ese momento y ese lugar y con una simple mirada al cielo sabemos si es cierto o falso. Hechas estas observaciones pasamos a revisar las reglas especficas que rigen a cada conector lgico.

Lenguaje natural: "Pancho es un artista de cine y Mara se enoj" Se traducira en lenguaje simblico en "p ^ q", en donde:

p = Pancho es un artista de cine q = Mara se enojo ^ = conjuncin conectiva "y"

LA NEGACIN

Por lo pronto vamos a considerar las siguientes conectivas (conectores lgicos), signos de importancia para el manejo de las traducciones al simbolismo lgico, as como para la determinacin de verdad o falsedad de las proposiciones. El trmino "conectivas" se refiere a ciertas conjunciones lgicas que gobiernan las distintas frmulas lgicas. Recordemos lo siguiente, segn Moiss Chong: "llamamos proposiciones coligativas a aquellas proposiciones compuestas, es decir, son

La negacin se simboliza, generalmente por el signo "~". Este signo puede ser traducido en palabras, as: "no es el caso que" o, ms brevemente, "no". A partir de la teora de conjuntos, establecimos si un elemento pertenece o no a un conjunto y se seal que si no es elemento del conjunto, entonces es elemento del conjunto complemento.

INSTITUCIN EDUCATIVA PARROQUIAL

Segundo de Secundaria - MATEMTICA

SAN JOS OBRERO Por tanto la negacin se refiere al conjunto complemento. Se establece el siguiente principio para la negacin lgica: la negacin de un enunciado verdadero es falsa; la negacin de un enunciado falso es verdadero. Lo que equivale a decir que la negacin de la negacin de una proposicin verdadera es verdadera; y la negacin de la negacin de una proposicin falsa es falsa. Adems la conectiva no es la nica de tipo singular del listado de conectores lgicos sealado anteriormente. p ~p V F F V

Lic. Maritza Lizeth Salazar Vega

Sea el siguiente enunciado "el auto enciende cuando tiene gasolina en el tanque y tiene corriente en la batera"
Sean: p= tiene gasolina el tanque q = tiene corriente la batera r = el auto enciende = p ^ q

La conclusin resultante es que para que el auto encienda se debe tener gasolina en el tanque y corriente en la batera, sino se tiene una de estas dos condiciones el auto no arrancar.

LA DISYUNCIN INCLUSIVA

LA CONJUNCIN.

La conjuncin es el operador correspondiente al trmino "y", siendo su smbolo ms corriente el siguiente, "^", se le conoce como la multiplicacin lgica. Expresado en el lenguaje matemtico, la conjuncin est regida por la ley asociativa , "(pq)r" equivale a decir "pqr". Pero tambin es de carcter conmutativo: "pq" y "qp" son irrelevantes en su orden.
La regla para establecer los criterios de verdad de la conectiva lgica conjuncin es la siguiente: Una conjuncin de enunciados en los cuales todos son verdaderos, es verdadera Una conjuncin de enunciados en donde no todos son verdaderos es falsa. Lo que equivale a decir que basta que uno de sus componentes sea falsa para que toda la proposicin sea falsa y slo ser verdadera en el caso de que ambos componentes lo sean.

La disyuncin inclusiva, llamada tambin, alternacin, expresada ordinariamente mediante la palabra "o", simblicamente se le representa por medio de la letra "v", colocada entre dos proposiciones. Sin embargo, la "o" en este caso no tiene carcter de encrucijada o de dilema, y se puede interpretar como " o uno u otro o ambos". Por ciertas analogas con el lgebra se le llama tambin suma lgica. La alternacin posee, igualmente, la propiedad asociativa que consiste en la no importancia de la agrupacin en relacin con la verdad o la falsedad de una proposicin dada. Tambin es afectada por la ley conmutativa de que el orden de las alternativas no afecta a la alternacin. La regla de la tabla de verdad para esta conectiva lgica es la siguiente:

Una disyuncin inclusiva es verdadera cuando por lo menos una de sus alternativas es verdadera; solamente ser falsa si las dos lo son.

La tabla de verdad del enunciado anterior es como sigue: p V V F F q V F V F pvq V V V F

El expresado anteriormente se resumen simblicamente de la siguiente manera: p V V F F q V F V F p^q V F F F

Ejemplo:

Ejemplo:

INSTITUCIN EDUCATIVA PARROQUIAL

Segundo de Secundaria - MATEMTICA

SAN JOS OBRERO Sea el siguiente enunciado "Una persona puede entrar al cine si compra boleto u obtiene un pase"
Sean: p= compra boleto q = obtiene un pase r = una persona entra al cine = p v q

Lic. Maritza Lizeth Salazar Vega

La conclusin resultante es obvia, puesto que para entrar al cine es necesario tener por lo menos una de las dos condiciones: comprar un boleto o tener un pase, si se tiene ambas tambin se puede entrar, si no tengo ninguna de las dos alternativas entonces no se puede entrar al cine.

lgicos la denominan "proposicin hipottica" o "proposicin implicativa". La importancia de esta clase de proposiciones es la de que la utiliza frecuentemente en el lenguaje de las ciencias, particularmente en la ciencia de la fsica y en la matemtica. El condicional, segn veremos, es una conectiva para la cual importa el orden de las clusulas, esto es, se trata de un conector no conmutativo. En este caso el antecedente es una condicin suficiente respecto del consecuente y el consecuente es una condicin necesaria respecto del antecedente. La regla de la tabla de verdad para esta conectiva lgica es la siguiente:

LA DISYUNCIN EXCLUSIVA La condicional ser falsa slo cuando el antecedente es verdadero y el consecuente es falso, en los dems caso ser verdadera.

La disyuncin exclusiva se simboliza pro el signo "v", corresponde a la expresin " o uno u otro, pero no ambos a la vez". Una de las propiedades de esta conectiva es la de ser conmutativa y la de poseer el carcter asociativo. Se puede mostrar la equivalencia de los esquemas proposicionales as como establecer que es inesencial la agrupacin por la cual optemos. Ejemplos de expresiones afines a esta conectiva son " a menos que" o "salvo que" La regla de la tabla de verdad para esta conectiva lgica es la siguiente:

La tabla de verdad del enunciado anterior es como sigue: p V V F F q V F V F pq V F V V

Una disyuncin exclusiva es verdadera cuando una de sus alternativas es verdadera; y ser falsa si las dos alternativas son falsas o verdaderas.

Ejemplo: Si se tiene lo proposicin "Si un cuerpo se calienta, entonces se dilata", se observa que estamos diciendo es que la primera proposicin "si el cuerpo se calienta" implica a la segunda proposicin " entonces se dilata", pero no se afirma que el antecedente es verdadero, ni el consecuente es verdadero, puede ser que el cuerpo no se calent y el cuerpo se dilato por causa de otros factores ajenos a la temperatura, un golpe

La tabla de verdad del enunciado anterior es como sigue: p V V F F

q V F V F

pq F V V F

LA BICONDICIONAL

LA CONDICIONAL

La condicional, expresada por la frase "si, entonces", se simboliza mediante el signo "" colocado entre las dos proposiciones.. La primera proposicin lleva el nombre de antecedente y la segunda proposicin la de consecuente. Algunos

La bicondicional, expresada por la frase "si y solo s", denotada por el signo"", significa una relacin bidireccional en donde ambas proposiciones se necesitan entre s. La regla de la tabla de verdad para esta conectiva lgica es la siguiente:

INSTITUCIN EDUCATIVA PARROQUIAL

Segundo de Secundaria - MATEMTICA

SAN JOS OBRERO La conectiva bicondicional ser verdadera solamente si y solo si las dos sentencias que la componen son a la vez verdaderas o si son ambas falsas.

Lic. Maritza Lizeth Salazar Vega

Donde:

La expresado anteriormente se resumen simblicamente de la siguiente manera: p V V F F q V F V F pq V F F V

p = pago la luz q = me contarn la corriente elctrica r = me quedare sin dinero s = pedir prestado t = pagar la deuda w = soy desorganizado

Lo que en lenguaje simblico equivale a: (~p q) ^ [ p (r ^ s)] t TABLAS DE VERDAD PARA PROPOSICIONES COMPLEJAS Se tiene el siguiente enunciado lgico (p v ~q) ^ r, encuentre su tabla de verdad: Obsrvese que en este caso aparecen involucrados en la proposicin compleja tres proposiciones simples, p, q, y r. Para poder determinar la cantidad de criterios de verdad a considerar al construir la tabla, se aplica la siguiente frmula: No. de lneas = 2n, donde n= nmero de variables distintas. Ejemplos: 1. p V F 2. Se tiene una sola variable p, entonces n=1 y 21=2, luego: p q V V V F F V F F 3. Se tienen dos variables p y q, entonces n=2 y 22=4, luego: 4. 3- Se tienen tres variables p, q y r, entonces n=3 y 23=8, luego:

TRADUCIENDO DEL LENGUAJE NATURAL AL LENGUAJE SIMBLICO El analista econmico para entender el mundo circundante (la sociedad y sus relaciones econmicas) debe ser capaz de hacer abstracciones para encontrar las partes esenciales y sus relaciones a fin de poder tener indicios del porque del comportamiento. A continuacin le presentaremos algunos ejemplos de traducccinlgica: Ejemplo #1: Se tiene la siguiente proposicin compuesta:"Hoy es domingo y tengo que estudiar estadstica o no aprobare el curso" Al separar la proposicin en sus partes esenciales se tiene lo siguiente:
Sea p= Hoy es domingo q= tengo que estudiar estadstica r= aprobare el curso, ~r = no aprobare el curso Lo que en lenguaje simblico equivale a

p ^ q v ~r Ejemplo #2: Se tiene la siguiente frase: "Si no pago la luz, entonces me cortaran la corriente elctrica. Y si pago la luz, entonces me quedare sin dinero y pido prestado, entonces no podr pagar la deuda, si y solo si soy desorganizado"

INSTITUCIN EDUCATIVA PARROQUIAL

Segundo de Secundaria - MATEMTICA

SAN JOS OBRERO p q r VVV VV F V F V V F F F VV F V F F F V F F F En el caso en consideracin tenemos tres variable (p,q,r) y aplican las reglas algebraicas de solucin de los parntesis (de adentro hacia afuera) por tanto se resuelve de la siguiente manera (p v ~ q) ^ r V V F V V V V V F V F F V V V F V V V V V F F F F F F V F V F F F V F F F V V F V V F V V F F F 1 3 2 1 4 1

Lic. Maritza Lizeth Salazar Vega

Si usted invierte en el mercado de valores, se har rico y entonces ser feliz Si bajan los impuestos, entonces se eleva el ingreso Los precios de los artculos de primera necesidad estn altos y encarecindose Pasare este curso, si y solo si, estudio y me esfuerzo al mximo .Si asisto a clases, todos los das entonces aprobare y no fracasare en la vida.

Problema #2: Se tienen las siguientes proposiciones: p = los precios de los artculos de primera necesidad estn altos q = estn encarecindose r = sobrevivir Traduzca al lenguaje natural las siguientes expresiones lgicas.

p^q ~p r p ^ ~q ~p v ~q (~p ^ ~q) r

Problema #3: Pasos utilizados al construir la tabla de verdad resultante: 1. Se anotaron los criterio de verdad elementales de cada variable 2. Se resolvi la negacin de q (~q). 3. Se resolvi el parntesis ( p v ~q) 4. Se resolvi la conectiva final "y" (^) Nota: obsrvese que la tabla final resultante esta en negritas en la columna denotada abajo 4. Encuentre la tabla de verdad de las siguientes expresiones lgicas

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

Practicamos
Problema #1: Anote las siguientes expresiones expresadas en lenguaje natural en notacin simblica.

INSTITUCIN EDUCATIVA PARROQUIAL

Segundo de Secundaria - MATEMTICA

SAN JOS OBRERO

Lic. Maritza Lizeth Salazar Vega

INSTITUCIN EDUCATIVA PARROQUIAL

Quinto de Secundaria - Matemtica

Lic. Maritza Lizeth Salazar Vega

SAN JOS OBRERO

1.