1 UNIVERSIDAD AUSTRAL DE CHILE FACULTAD DE CIENCIAS DE LA INGENIER IA CENTRO DE DOCENCIA DE CIENCIAS BASICAS PARA INGENIER IA.

. BAIN017 Algebra Gu de Aprendizaje Lgica a o 1. S mbolos o conectores lgicos o Negacin o Conjuncin o Disyuncin o Implicacin o Condicionalidad o Equivalencia o Bicondicionalidad Disyuncin lgica o o

2. Tipos de proposiciones a. Simples o Atmicas: Son aquellas armaciones, frases, expresiones o las cuales presentan un slo valor de verdad(V o F, no ambas) o b. Compuestas o Moleculares: Son aquellas proposiciones que son formadas utilizando conectores lgicos(uno o varios). Estas proposiciones o puedes estar constituidas por una o ms proposiciones simples. a 3. Clasicacin de proposiciones o a. Tautolog Se dice que una proposicin es una Tautolog si el valor a: o a de verdad es siempre V independiente del valor de verdad de las proposiciones que la componen. b. Contradiccin:Se dice que una proposicin es una contradiccin si el o o o valor de verdad es siempre F independiente delvalor de verdad de las proposiciones que la componen. c. Contingencia: Una proposicin que no es Tautolog ni Contradiccin o a o se denomina Contingencia.

2 4. Equivalencias lgicas o a. Leyes de morgan i. (p q) (p q) ii. (p q) (p q) b. Negacin o i. p q (p q) ii. p q (p q) (q p) c. Absorcin o i. p (p q) p ii. p (p q) p d. Equivalencia i. (p q) (p q) ii. (p q) (q p) iii. (p q) (p q) (q p) e. Distributividad i. p (q r) (p q) (p r) ii. p (q r) (p q) (p r) f. Negacin de cuanticadores o i. x : P (x) x : P (x) i. x : P (x) x : P (x)

Ejercicios 1. Represente los siguientes enunciados utilizando s mbolos lgicos y luego escriba su negacin(en s o o mbolos y verbalmente). a. Si soy estudioso, constante y sistemtico o la prueba es fcil, a a entonces obtendr buena nota. e b. Si el profesor es sabio y explica claramente, entonces aprender(no se pide el valor de verdad). e c. Si tengo una relacin sentimental o carreteo el n de semao na, enonces me ir mal en la universidad. a d. Si el profesor me tiene mala y yo siempre estudio, no aprobar el ramo o lo apruebo y me rio en su cara. e e. Toda la materia vista en clases ya la conozco por eso no voy a estudiar e igual aprobar. e f. Si doy el ramo por segunda o por tercera vez entonces aprobar.(esta si es falsa) e 2. Determine el valor de verdad de las proposiciones p, q, r, s sabiendo el valor de verdad de la proposicin o indicada. a. [(p q) (p r)] (p r):F(ayuda:transformar el primer implica con su expresin logicamente equivalente) o b. [(p q) (p r)] [(p q) (q r)]:F (ayuda: ver cuando una implicancia es falsa y utilizando lo anterior, es decir, cuando una disyuncin es falsa se desprende directamente) o c. [(p r) (p (q q))] [(r p) (q r)]:F(ayuda: ver que p y no p es una contradiccin, analizar cuando una o implicancia es falsa)

3. Determine el valor de verdad de las siguientes proposiciones a. x R : x2 = 1 x es primo. b. Si p (q r) es falso, entonces r es falso. c. El valor de verdad de p (q p) depende de q d. Dado un universo innito, entonces el complemento de cualquier subconjunto es innito. e. x R, y R : x > 1 x2 + y 2 > 1 f. x R, y R : x > 1 x2 + y 2 > 1 g. Realice la negacin de las proposiciones dadas en los puntos o e. y f. 4. Reducir las siguientes expresiones. a. [(p q) (q r)] (q r) b. [(p q) r] (r q) Estimados no olviden seguir buscando ejercicios en otros apuntes y textos,una gu una clase no es suciente. No a, piensen que las clases o gu son decientes, sino que el as tiempo no lo permite.