Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Logica Re PDF
Logica Re PDF
Ramón Espinosa
Departamento de Matemáticas, ITAM
Lord Dunsany
1. Proposiciones
Una proposición es una afirmación que puede ser verdadera o falsa, pero
no ambas. Por ejemplo, la frase
Guadalajara es la capital de México,
es una proposición falsa.
1
La disyunción de dos proposiciones es la proposición
P o Q
¬P o ¬Q,
¬P y ¬Q.
si P entonces Q
P implica Q,
P sólo si Q,
P es una condición suficiente para Q,
Q es una condición necesaria para P .
P : aprueba el curso.
Q: aprueba el examen final.
Q ⇒ P.
2
Es posible que una proposición condicional sea verdadera pero que su recı́pro-
ca sea falsa.
2. Cuantificadores
La afirmación x > 5 no es una proposición, porque su valor de verdad depen-
de de la variable x. Este tipo de enunciados son llamados predicados. Una
manera de convertir un predicado P (x) en una proposición es cuantificar las
variables para las cuales el predicado es verdadero.
∀x∈R x2 ≥ 0
x2 ≥ 0 ∀ x ∈ R.
3
El cuantificador existencial ∃ se utiliza para construir proposiciones
de la forma:
∃ x ∈ X P (x)
que significa “existe x ∈ X tal que P (x) es verdadera”. El sı́mbolo ∃ puede
leerse “existe”, o “para algún”, o “para al menos un”.
∀h∈H ∃m∈M
que la proposición
∃m∈M ∀ h ∈ H.
En otras palabras, no es lo mismo la frase: “‘para todo hombre existe una
mujer”, que la frase: “existe una mujer para todos los hombres”.
La negación de la proposición
∀x∈X P (x)
es la proposición
∃x∈X ¬P (x).
Equivalentemente, para mostrar que la proposición ∀ x ∈ X P (x) es falsa,
basta exhibir un elemento x ∈ X tal que P (x) sea falso. Tal elemento es
llamado un contraejemplo.
Ejemplo 2. Mostrar que la proposición:
4
Para todo n ∈ Z si n2 ≥ 4 entonces n ≥ 2.
es falsa.
La negación de la proposición
∃x∈X P (x)
es la proposición
∀x∈X ¬P (x).
es la proposición
3. Métodos de demostración
Una demostración es una sucesión de afirmaciones que representan una
argumentación de la validez de un enunciado matemático. Algunas de las
afirmaciones que aparecen en una demostración pueden considerarse verda-
des a priori, éstas incluyen axiomas, definiciones o resultados establecidos
previamente. Otras afirmaciones pueden ser las hipótesis del enunciado, las
cuales se suponen verdaderas en el argumento. Por último, algunas afirma-
ciones pueden ser inferidas de otras afirmaciones cuya validez fue probada
al principio de la demostración.
5
Ejemplo 5. Probar que para todo entero n, si n2 es par entonces n es par.