Professional Documents
Culture Documents
proposiciones conectivos
Reglas de sintaxis
proposiciones compuestas f. b. c.
VALIDACIN DE FORMULAS
proposicin simple (p) Valores de verdad f. b. c. proposicin compuesta Valores de verdad V F Valores de verdad de prop. simples su relacin con los conectivos
INTERPRETACIONES DE CONECTIVOS
p p
Negacin.
V F
F V
Smbolo V o F
Smbolo V o F
V V
Conjuncin.
V F F V F F
EJEMPLO: Traducir al lenguaje formal los siguientes enunciados y determinar su valor de verdad, considerando las tablas anteriores 1. a. 2 es una raz de x 2 2 0 y 2 es la otra solucin de la ecuacin
c.
q pq V V V F
V V
Disyuncin.
V F F V F F
EJEMPLO: Traducir al lenguaje formal los enunciados y determinar su valor de verdad, considerando las tablas anteriores 1. a. x 4 x 3 2 0 tiene como nica raz racional al nmero 1 o, que es lo mismo , x 4 x 3 2 tiene como nico factor de grado uno a x 1 b. x 3 2 es igual a x 2 9, a menos que a b 2 a 2 b 2 " sea una identidad c. El siguiente nmero en la serie 2, 3, 5, 7, o bien es 9 o bien es 11 d. x 2 y 2 1 tiene como grfico una circunferencia de radio 1, o solo resulta una semicircunferencia. EJERCICIOS COMBINADOS Traduce en proposiciones simples las afirmaciones empleando los conectivos descritos apropiadamente, para formar frmulas bien construidas y poteriormente determina su valor de verdad 1. 2i es una raz de x 2 4 0, sin embargo no es solucin de x 2 4 0 2. 2 es una raz doble de la ecuacin x 3 3x 2 4 0 y 1 es la otra solucin; o 1 no es la otra solucin y es 1. 3. No es cierto que: 3 3 6 1 2 3, pero 3 9 a menos que 3 9 4. El nmero 51, o bien es primo o bien es compuesto, pero es divisible entre 3 y no es primo 5. La mujer generalmente es mejor que el hombre, pero lamentablemente no lo sabe y el hombre saca provecho. Se podr determinar el valor de verdad de sta afirmacin?, por qu?
q pq V F V V
V V
Implicacin.
V F F V F F
falso)
La manera ms simple de interpretar una implicacin, es asumirla como "un compromiso a cumplir". Ejemplo: Si todos aprueban matemticas con una nota mnima de 45 puntos, entonces
p
En ese sentido, solo cuando todos aprueben con una nota mnima de 45 y cmpla invitndoles una saltea, la afirmacin sera verdadera. Sin embargo, si todos aprueban y yo no invito la afrimacin sera falsa, ya que no se habra cumplido el compromiso. Por ltimo en el caso de que no todos aprueben, me libran del compromiso y aunque les invite o no, la afrimacin seguira siendo vlida. Estas ideas dan lugar a la tabla de interpretaciones de la implicacin: EJEMPLO: Traducir al lenguaje formal los siguientes enunciados y determinar su valor de verdad, considerando las tabla anterior, y las formas verbales de la implicacin 1. a. Si 2 es un nmero entero, entonces 2 tambien es racional b. Es suficiente que a b 1 3, para que a b 2 c. Es necesario que x 2 sea un factor de x 3 3x 2 x 2, para que 2 sea una solucin de la ecuacin x 3 3x 2 x 2 0 d. Solo si a 3 b 3 a b 3 , se tiene 27x 3 8 3x 2 3 e. No es cierto que 3 1 a menos que 3 1 b b 2 4ac son f. Si ax 2 bx c 0 es una ecuacin de segundo grado y x 1,2 2a c sus races, entonces la suma de dichas races es b a y el producto es a
q pq V F F V
V V
Doble. implicacin V F
F V F F falsas)
EJEMPLO: Traducir al lenguaje formal los enunciados y determinar su valor de verdad, considerando las tablas anteriores 1. a. x 2 1 x i x i , si y solo si, i 2 1 b. y x2 1 tiene una sola asntota vertical, siempre y cuando x 2 1 x 1 x 1 x 1 c. x es un nmero positivo, si y solo si, x es un nmero negativo EJERCICIOS COMBINADOS Hallar el valor de verdad de las siguientes proposiciones compuestas, asumiendo los siguientes valores para las proposiciones simples involucradas: p V, q F, r F, s V 1. p q s 2. p q s 3. p q s 4. p s r 5. p s r 6. p q p q 7. p q s q q 8. p q q p 9. p q r s 10. p q q r