Está en la página 1de 9

Lgica y conjuntos

Integrantes: Constanza Alarcn Fernanda Robles Katharina Stepke Profesor: Jorge Carcey Urza ACSV 27: matemticas I

Lgica:
La Lgica es la disciplina que trata de mtodos de razonamiento. Esta proporciona reglas y tcnicas para determinar si es o no valido un argumento dado. El razonamiento lgico se emplea en este caso para demostrar teoremas, sin embargo, se usa en forma constante para realizar cualquier actividad en la vida. Esta se divide en: a) Lgica proposicional: Consideraremos dos elementos bsicos: Son frases sobre las cuales podemos decidir sobre la verdad (V) o falsedad (F) de ellas. Una proposicin es una frase que es V o F, no existiendo la posibilidad de obtener ambas decisiones conjuntamente. Las proposiciones las nombramos con letras minsculas p, q, r, etc., que resumirn, en s mismo, el significado particular que tengan al interior de una situacin concreta. Ejemplo 1. \p" resumir, al interior de este ejemplo, a la proposicin: \Hoy es Martes 10 de Mayo\, y denotamos p: \Hoy es Martes 10 de Mayo". 2. Las siguientes \frases" son proposiciones: q : x + 4 = 9 y x = 5 (es V ) r : Si x es un nmero real, entonces su cuadrado es no negativo (esV):

Conectivos: Smbolos que, junto con las proposiciones bsicas, nos permiten crear nuevas proposiciones, son: ~: se lee \no" ^: se lee \y" : se lee \ y/o" : se lee \: : : implica : : :" si, entonces, ", : se lee \: : : equivalente con : : :". El conectivo ~" se usa antes de una proposicin, y los restantes conectivos se usan entre dos proposiciones. Ejemplo Si p, q, r son proposiciones, entonces tambin son proposiciones: 1. ~ p 2. p ^ q 3. p q 4. p q 5. p q 6. p ^ (q _ r) 7. [(~ p) ^ (q _ r)] ) q 1.1.3. Tablas de Verdad Las proposiciones compuestas, es decir, aquellas que contienen al menos un conectivo, tienen, naturalmente, un valor veritativo, y para las proposiciones compuestas bsicas ese valor veritativo lo damos en las siguientes \tablas de verdad". Tabla de Verdad de la Negacin ( ) Dada la proposicin bsica \p" , existe la negacin de ella, denotada p, que se lee \no p", proposicin que tiene la siguiente tabla de verdad.

p p VF Es claro que el valor veritativo de - p es el contrario de p. Por ejemplo, si \p" es p: \Hoy llueve" es verdadero entonces -p es p: \Hoy no llueve" es falso. Tabla de Verdad de la Conjuncin (^) Dadas las proposiciones \p", \q", existe la conjuncin de ellas, denotada p ^ q, que se lee \p y q", proposicin tal que su tabla de verdad es pqp^q VVV VFF FVF FFF La conjuncin es verdadera solo si las proposiciones que la componen lo son. Tabla de Verdad de la Disyuncin (_) Dadas las proposiciones \p", \q" existe la disyuncin de ellas, denotada p _ q que se lee \p o q", proposicin tal que su tabla de verdad es pqp_q VVV VFV FVV FFF

1. La disyuncin es verdadera siempre, menos cuando las proposiciones que la componen son ambas falsas. 2. La disyuncin presentada es incluyente, es decir, admite como verdadera a la proposicin p _ q cuando ambas proposiciones que la componen lo son, sin embargo, si deseamos la disyuncin excluyente, la denotamos p Y q, en este caso, si las proposiciones p, q son ambas verdaderas entonces p Y q es falsa. Tabla de Verdad de la Implicacin ()) Dadas las proposiciones \p", \q" existe la implicacin de p con q, denotada p ) q, que se lee \p implica q" o \si ocurre p, entonces ocurre q", proposicin tal que su tabla de verdad es pqp)q VVV VFF FVV FFV La implicacin es verdadera siempre, menos cuando el antecedente p es verdadero y el consecuente q es falso. Tabla de Verdad de la Equivalencia (,) Dadas las proposiciones \p", \q", existe la equivalencia de p con q, denotada p , q, que se lee \p equivalente q" o \p si y solo si q", proposicin tal que su tabla de verdad es pqp,q VVV

VFF FVF FFV Resulta natural que la equivalencia sea verdadera cuando las dos proposiciones que la componen tienen el valor el mismo valor veritativo. Ejemplo: Determine el valor veritativo de (p ^ q) , [(p) _ (q)]. Solucin. Su tabla de verdad es: p q p ^ q (p ^ q) p q (p) _ ( q) (p ^ q) , [(p) _ (q)] VVVFFFFV VFFVFVVV FVFVVFVV F F F V V V V VHERALDO GONZALEZ SERRANO 5 Ejemplo: Determine el valor veritativo de [p ^ (q _ r)] ) r. Solucin. Su tabla de verdad es p q r q _ r p ^ (q _ r) [p ^ (q _ r)] ) r VVVVVV VVFVVF VFVVVV VFFFFV FVVVFV FVFVFV FFVVFV FFFFFV En el ejemplo anterior, dado que consideramos tres proposiciones bsicas, el total de variaciones de tres elementos, cada uno con respuestas dicotmica (grupos con tres

elementos donde interesa el orden) es 23 = 8. Si son 4 las proposiciones basicas entonces el total de variaciones, en estas condiciones, es 24 = 16. Ejemplo: Si (p ^ q) ) r es Falso, determine el valor de verdad de (q _ s) )(r ^ p). Solucin. Como ( p ^ q) ) r es Falso entonces p ^ q es Verdadero y r es Falso; es decir, conseguimos p es V , q es V , r es F. Dado que q es V entonces la proposicin q _ s es V , adems, como r es F entonces r ^ p es F de donde (r ^ p) es V . Finalmente, (q _ s) )(r ^ p) es V . Tautologa, Contradiccin, Contingencia Tautologa Una proposicin compuesta que siempre es verdadera, es una Tautologa. Una tautologa la denotamos por I. Ejemplo: Demuestre que p _ (p) es tautologa. Solucin. Debemos encontrar su tabla de verdad y vericar que siempre es verdadera p p p _ (p) VFV FVV Ejemplo: Demuestre que (p) , p es tautologa. Solucin. Su tabla de verdad es p p ( p) (p) , p VFVV FVFV Ejemplo: Demuestre que fp ) [q ^ (q)]g ) (p) es tautologa. Solucin. Su tabla de verdad es

p q q q ^ ( q) p ) [q ^ ( q)] p fp ) [q ^ (q)]g ) (p) VVFFFFV VFVFFFV FVFFVVV FFVFVVV Esta proposicin se llama \mtodo de demostracin por reduccin al absurdo". Contradiccin Una proposicin que siempre es falsa, es una Contradiccin. Una contradiccin la denotamos por 0. Ejemplo: Demuestre que p ^ (p) es una contradiccin. Solucin. Debemos encontrar la tabla de verdad de la proposicin y vericar que siempre es falsa p p p ^ (p) VFF FVF Contingencia Una proposicin que no es tautologa ni contradiccin se llama Contingencia. Ejemplo: Demuestre que p _ ( q) es una contingencia. Solucin. Su tabla de verdad es p q q p _ ( q) VVFV VFVV FVFF FFVV Concluimos que p _ ( q) es una contingencia.

Conjuntos:
Un conjunto es un grupo de elementos u objetos especificados en tal forma que se puede afirmar con certeza si cualquier objeto dado pertenece o no a la agrupacin. Para denotar a los conjuntos, se usan letras maysculas