logica matematica
Proposiciones: Llamaremos de esta forma a cualquier afirmación que sea verdadera o falsa, pero no ambas cosas a la vez. Ejemplo 1. Las siguientes afirmaciones son proposiciones. (a) Gabriel García Marqués escribió Cien años de soledad. (b) 6 es un numero primo. } (c) 3+2=6 (d) 1 es un numero entero, pero 2 no lo es. Nota 1.1 Las proposiciones se notan con letras minúsculas, p, q, r . . . . . . La notación p :Tres mas cuatro es igual a siete se utiliza para definir que p es la proposición “tres mas cuatro es igual a siete”. Este tipo de proposiciones se llaman simples, ya que no pueden descomponerse en otras. Ejemplo 2. Las siguientes no son proposiciones. (a) x + y > 5 (b) ¿Te vas? (c) Compra cinco azules y cuatro rojas. (d) x = 2 Solución En efecto, (a) es una afirmación pero no es una proposición ya que sera verdadera o falsa dependiendo de los valores de x e y e igual ocurre con la afirmación (d). Los ejemplos (b) y (c) no ...