Semana N°:______________________
Clase:____________________________
Fecha:____________________________
Grado :___________________________
Propósitos:
1. Reconocer expresiones del lenguaje que pueden
ser proposiciones y clasificarlas.
2. Identificar conectores lógicos y sus valores de
verdad.
3. Resolver situaciones cotidianas con lógica
proposicional
CUANTIFICADORES: Las proposiciones que
contienen las frases: “Para todo...” “Existe
algún...” desempeñan un papel importante en la
estructura de las matemáticas, ya que con estas
podemos expresar importantes propiedades de los
números reales. Estas frases son los
cuantificadores.
Ejemplos:
a. Para todos x, x+0 = 0
b. Existe alguna x, tal que x2 = 2
CUANTIFICADOR EXISTENCIAL (∃): Se
simboliza así: (∃) Una cuantificación existencial es
una proposición de la forma: existe un x, tal que p
que podemos simbolizar como: ∃x,
p se puede cuantificar así:
Ejemplo
Las siguientes expresiones tienen el mismo
significado:
∃x, N = x ∈ N
a. Existe alguna x, tal que x es un número N.
b. Existe por lo menos un número N
c. Algún número es N
Ej:
______________________________________
* Una función proposicional se ha cuantificado
existencialmente para un conjunto dado si y sólo si
una o alguna de las proposiciones que resulta al
reemplazar x por cada uno de los individuos, son
verdaderas (V).
Ejemplos: “Existen mujeres que son
brujas”
Ej:
_______________________________________
Una función proposicional cuantificada
existencialmente es verdadera si y solo si existe
al menos un individuo del conjunto para el cual la
proposición correspondiente es verdadera (V).
Ej:
_______________________________________
CUANTIFICADOR UNIVERSAL (∀): Se
simboliza así: ∀, “se lee para todo”. Una
cuantificación universal es de la forma x, p donde
p es una proposición cualquiera.
La función para toda x, p la podemos simbolizar
así:
∀x, p
Las siguientes expresiones tienen el mismo
significado. Veamos: ∀x, x = 2 ⇒ x2
= 4
Se lee para toda x, si x = 2 ⇒ x2 = 4
Para cada x, si x = 2 ⇒ x2 = 4
Generalmente el cuantificador no se escribe, así la
expresión √x2 = | x |, es una forma de escribir:
∀x, √x2 = | x |
* Sen2 x + Cos2 x = 1, es una forma de escribir:
∀x, Sen2 x + Cos2 x = 1.
Una función proposicional se ha cuantificado
universalmente para un conjunto dado si y sólo si
todas las proposiciones que resulta al reemplazar x
por cada uno de los individuos, son verdaderas (V).
Ejemplos:
Sea P(x): x es un número natural (N). Esta función
Para todo x número N, ocurre que x es un
número entero (Z).
Ej:
_______________________________________
Una función proposicional cuantificada
universalmente es verdadera si y solo si son
verdaderas (V) todas las proposiciones particulares
que se obtienen al reemplazar la variable x por
cada uno de los individuos del conjunto.
Ej:
________________________________________
Para demostrar que todos los elementos de un
conjunto determinado poseen una propiedad,
hay dos formas:
1. Demostrarlo uno por uno para cada elemento del
conjunto.
2. Demostrar que un elemento cualquiera posee la
propiedad.
Así para demostrar que las bisectrices anteriores de
un triángulo se cortan en un punto, no podemos
utilizar un triángulo especial, tal como el
equilátero, sino que tenemos que utilizar las
propiedades generales que se deduzcan a partir de
la definición de triángulo.
Ej:
_______________________________________
En cambio para demostrar que una proposición
universal es falsa es necesario mostrar un caso en
el cual no se cumpla.
Ejemplos:
1. Para demostrar que la proposición “Todos los
números primos son impares” es falsa basta con
demostrar que el número dos (2) es primo y par.
Este método de demostración se denomina por el
contra ejemplo.
2. Para demostrar que la proposición: ∃x [ p(x) ]
existe algún x tal que p(x) es verdadera, es
suficiente con dar un ejemplo, así podemos mostrar
que “Existen números primos pares”, mostrando
que el dos (2) es primo y par.
REDUCCIÓN AL ABSURDO: Proposiciones del
tipo “Dos (2) es un número par e impar”; “Este
libro es blanco y no es blanco”; “Trece (13) es
primo y no es primo” se denominan
contradicciones o proposiciones lógicamente
falsas.
Ej:
_______________________________________
Una manera de demostrar que una proposición
es falsa (F): Consiste en obtener de ella mediante
un proceso lógico una contradicción así, si en un
razonamiento válido llegamos a demostrar a partir
de una proposición P que “ 2 es par y primo”,
concluimos que la proposición P es falsa. Esta
demostración se llama razonamiento absurdo.
De la misma forma se puede demostrar que una
proposición es verdadera (V): demostramos que
de su negación llegamos a una contradicción y por
lo tanto la negación es falsa.
Ej:
________________________________________
ESTRUCTURA DE LAS MATEMÁTICAS: En
el desarrollo de una teoría matemática
consideramos tres tipos especiales de
proposiciones definiciones, postulados y teoremas;
una proposición matemática puede clasificarse en
una de estas categorías:
1. DEFINICIONES: Se consideran dos tipos de
definiciones:
a. Definiciones Descriptivas: En esta se explica el
significado de un término, utilizando términos que
se suponen conocidos. Por ejemplo las definiciones
de los diccionarios; en matemáticas también se
utilizan cuando decimos un conjunto es una
colección de objetos.
b. Definiciones Formales: Es una convención
mediante la cual acordamos usar una expresión en
lugar de otra. La expresión que se define se
denomina definendo y la expresión usada para
definir se denomina definente.
Ejemplo
Una definición formal de x2 seria:
Escribimos x2 en lugar de x . x
O por definición: x2 = x . x
2. POSTULADOS: Son proposiciones supuestas,
es decir, aceptadas como verdaderas sin
demostración. También se denominan axiomas.
Ejemplos:
1. Dos puntos determinan una recta.
2. a + (b + c) = (a + b) + c
3. a + (– a) = 0 ∀ a, b, c ∈
R
4. ∀ a + b = d y d ∈ R
3. TEOREMAS: Son proposiciones matemáticas
cuya verdad necesita ser demostrada. En general
constan de dos partes hipótesis y tesis o conclusión.
La Hipótesis: La constituyen los datos dados.
La Tesis: o conclusión es lo que se debe demostrar.
Ej:
_______________________________________
________________________________________
Un teorema puede enunciarse en forma de
proposición condicional si A entonces B, en este
caso A que es el antecedente constituye la hipótesis
y B que es el consecuente es la tesis o conclusión
así:
“Si x es par entonces x2 es par”. ¿Cuál es la
hipótesis y la tesis? Rta:
______________________________________
_______________________________________
Recuerda que A ⇒ B no es lo mismo que
B ⇒ A una es la inversa de