Está en la página 1de 2

Curso Intensivo de Matemticas.

Universidad de Alcal de Henares (70709)

Algo de lgica de proposiciones


Una proposicin es una frase (enunciado) cuya verdad o falsedad puede ser probada. Una proposicin puede ser verdadera o falsa, V o F. Por ejemplo: Juan mide ms de 170 cm; Est lloviendo. No son proposiciones, por ejemplo, Juan, mrchate; Ojal llueva maana Proposiciones equivalentes. Dos proposiciones son equivalentes cuando en todos los casos toman los mismos valores lgicos. Por ejemplo: Soy madre es equivalente a Soy mujer y tengo un hijo. En matemticas, la equivalencia suele ir ligada a los signos = y . Negacin de una proposicin. Si p es una proposicin, su negacin no p, puede denotarse por p. Los valores lgicos de p son los contrarios de los de p. Esto es, si p es V, p es F; y si p es F, p es V. En matemticas, negar una proposicin no es decir lo contrario. Por ejemplo, negar la proposicin todos los alumnos miden ms de 170 cm no es decir: todos los alumnos miden menos de 170 cm; sera decir: algn alumno mide menos de 170 cm Ejemplos: a) La negacin de x > 3 es x 3. b) La negacin de todo nmero impar es primo es existe algn nmero impar que no es primo. Conjuncin de dos proposiciones. Si p y q son proposiciones, la conjuncin de p y q, p q o p y q, es verdadera slo cuando ambas lo son. Podra decirse as: p q, es verdadera s, y slo s, p y q son verdaderas. La conjuncin est ligada a la interseccin de conjuntos. Ejemplo: a) La conjuncin de x 5 y x > 3 es 3 x < 5. b) Si p palabras que empiezan por p y q palabras que terminan en a, p y q palabras que empiezan por p y terminan por a. Algunas de esas palabras son: pesa, paloma, persiana. Disyuncin de dos proposiciones. Si p y q son proposiciones, la disyuncin de p y q, p q o p o q, es verdadera cuando alguna de las dos proposiciones p o q es verdadera. p o q significa p o q o ambas La disyuncin est ligada a la unin de conjuntos. Ejemplos: a) Si p nmeros naturales mltiplos de 3 y q nmeros que terminan en 5, la disyuncin p o q los nmeros naturales que son mltiplos de 3 o que terminan en 5. Algunos de ellos son: 3, 5, 6, ..., 24, 25,
Jos Mara Martnez Mediano

Curso Intensivo de Matemticas. Universidad de Alcal de Henares (70709)

b) Si p palabras que empiezan por p y q palabras que terminan en a, p o q palabras que empiezan por p o terminan por a. Algunas de esas palabras son: pesa, mesa, palo, paloma, isla Conector condicional: p implica q o p q; si p entonces q En matemticas, se llama implicacin a toda condicional p q verdadera, en la que p se supone verdadera: es una relacin de causaefecto entre p y q. (Secuencia V, V, V de la tabla). Se expresa p q. La premisa (proposicin p) se le llama hiptesis. La conclusin (proposicin q) se llama tesis. La implicacin p q se lee p implica q, y significa que p es condicin suficiente para q. En matemticas, los trminos implicacin y teorema suelen considerarse equivalente. Ejemplo: Si n es mltiplo de 6 entonces es n es mltiplo de 3. Si un tringulo es equiltero, entonces sus ngulos suman 180 no es una implicacin, ya que los ngulos de un tringulo suman 180 para cualquier tringulo. Conector bicondicional: p es equivalente a q o p q; p s y slo q Si p q y q p, se escribe p q y lee p es equivalente a q, y significa que p es condicin necesaria y suficiente para q o que p s y slo q Ejemplos finales: 1. Sea A una matriz en la que figura un parmetro m. De esa matriz sabemos, haciendo los clculos pertinentes, que no tiene inversa cuando m = 1 o m = 3. Con esto, indica la verdad o falsedad de las siguientes proposiciones: Para m R, la matriz A admite inversa: a) Si m = 3 b) Para todo m > 3 c) Para todo m < 3. d) Si m 3 e) Si m 1 f) Si m (1, 3) V: b) y f) 2. La proposicin x 2 > x es verdadera para x = 1,2; es falsa, para x = 0,8. Cuando se propone resolver la inecuacin x 2 > x se est pidiendo encontrar todos los valores de x para los que esa proposicin es verdadera. Referencias: Gua Prctica de Clculo Infinitesimal en una variable real, Ed THOMSON, Madrid, 2003. F. Galindo y otros. lgebra lineal, McGarwHill, Madrid, 1993. J. de Burgos.
Jos Mara Martnez Mediano

Tabla de verdad p q pq V V V V F F F V V F F V

Tabla de verdad p q pq V V V V F F F V F F F V