Está en la página 1de 5

LENGUAJE FORMAL

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

(valores de verdad contrarios)

Proposicin EJEMPLO: 0, 3 es racional 0, 3 no es racional 0, 3 es irracional


p q pq V F F F

Smbolo V o F

Proposicin 2 es irracional 2 no es racional 2 es racional

Smbolo V o F

V V

Conjuncin.

V F F V F F

(Es verdadera, solo cuando ambas proposiciones son verdaderas)

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

b. 2 es la nica solucin de x 3 8 0 pero x 3 8 es un polinomio de grado 3 x 1 es equivalente a 1, sin embargo x 1 en x 1 x1 1x x1 1x

c.

q pq V V V F

V V

Disyuncin.

V F F V F F

(Es verdadera, cuando al menos una proposicin es verdadera)

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

(Es falsa, solo cuando el antecedente es verdad y el consecuente es

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

invito una salteada.


q

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

(Es verdadera, cuando ambas prop. o son verdaderas o son

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

11. p q q r s 12. q q 13. q q r p