Escolar Documentos
Profissional Documentos
Cultura Documentos
CAPÍTULO 1
Todas las funciones continuas son integrables y toda función diferenciable es continua.
Por lo tanto, toda función que sea diferenciable es integrable.
La verdad o falsedad de las afirmaciones que se leen en dicha estructura es tema de estudio
del cálculo diferencial y del cálculo integral (es decir, de cursos posteriores). En dicho
texto se observa el paso de dos afirmaciones que se asumen como verdaderas:
Tanto las premisas como la conclusión en una inferencia son proposiciones. Lo primero
que debemos hacer es diferenciar dentro del lenguaje qué son proposiciones y qué no lo
son.
JOSÉ HENOSTROZA G. 1
Estudios Generales Ciencias Fundamentos de Matemática 1 2017 - 1
Nuestro uso cotidiano del lenguaje es un constante crear y recrear, casi ilimitado en
posibilidades. Usamos el lenguaje por lo general para:
- Elevar súplicas.
- Dar consejos, directivas u órdenes.
- Expresar deseos.
- Formular preguntas.
- Enunciar hechos y describir situaciones, mediante afirmaciones acerca del mundo. Éstas
por lo tanto pueden ser verdaderas o falsas.
Cualquier combinación de palabras que tengan como finalidad los usos anteriormente
mencionados es un enunciado. Dentro de estos enunciados, aquellos que se usan para
describir hechos, y que pueden catalogarse como verdaderos o como falsos se denominan
proposiciones.
Ejemplos
Analiza el uso del lenguaje que predomina en cada uno de los siguientes enunciados, y
determina cuáles son proposiciones.
a) ¡Y dale “U”!
b) Abrígate que hace frío.
c) Quisiera que volvieran los días de mi infancia.
d) ¿Qué te pareció la clase de FM1?
e) Dado que tengo frío, me abrigo.
f) Je m’abrite parce que j’ai froid.
g) Me abrigo porque tengo frío.
h) En la playa Pulpos hay cinco trillones de granos de arena.
i) Para números a y b cualesquiera se cumple (a b) 2 a 2 2ab b 2
j) El color azul ganó las elecciones.
k) Todo número impar mayor que 5, puede ser escrito como la suma de tres números
primos.
l) En este momento yo estoy mintiendo.
Soluciones
JOSÉ HENOSTROZA G. 2
Estudios Generales Ciencias Fundamentos de Matemática 1 2017 - 1
Es importante también recalcar que corresponde a cada una de las ciencias la tarea de
determinar la verdad o falsedad de las proposiciones que describen el mundo, en cada una
de las ramas de especialización. El calificativo de “verdadera” o “falsa” de una proposición
no depende de si podemos determinarlo o no, así como puede cambiar con el tiempo.
Corresponde en cambio a la lógica el estudio de cómo se transmite la verdad o falsedad de
proposiciones a otras proposiciones (es decir, determinar la validez o invalidez de las
inferencias)
Una proposición lógica es simple cuando da una sola información y por lo tanto, no puede
descomponerse en más de un significado. En términos más precisos, una proposición es
simple cuando no presenta conectivos lógicos que enlacen otras proposiciones. Cuando
una proposición presenta conectivos lógicos que enlazan proposiciones simples, se
denomina proposición compuesta.
Ejemplo 1
Analiza el uso del lenguaje que predomina en cada uno de los siguientes enunciados, y
determina cuáles son proposiciones.
JOSÉ HENOSTROZA G. 3
Estudios Generales Ciencias Fundamentos de Matemática 1 2017 - 1
Antes de continuar, debemos presentar los conectivos lógicos más importantes con los que
vamos a trabajar. Estos conectivos son: negación, conjunción, disyunción, condicional y
bicondicional. Veamos brevemente el sentido lógico de cada uno:
Negación ~𝑝 No p
Conjunción 𝑝∧𝑞 pyq
Disyunción 𝑝∨𝑞 poq
Condicional 𝑝→𝑞 Si p, entonces q.
Bicondicional 𝑝⟷𝑞 p si y solo si q.
Asignamos a cada proposición simple uno y solo uno de los valores de verdad V
(verdadero) o F (falso). Decimos entonces que una proposición simple origina dos
interpretaciones. Si tenemos dos proposiciones simples, habrá cuatro posibles
interpretaciones o combinaciones de sus valores de verdad. En general, si tenemos n
proposiciones simples con las que estemos trabajando, habrá 2𝑛 interpretaciones o
combinaciones posibles según sus valores de verdad. En las siguientes tablas mostramos
dichas interpretaciones para una, dos y tres proposiciones simples.
p p q p q r
V VV VVV
F VF VVF
FV VFV
FF VFF
FVV
FVF
FFV
FFF
Es suficiente definir cada uno de los conectivos lógicos como funciones que asignan V o F
a cada uno de ellos en cada una de las posibles interpretaciones que origina una proposición
simple (en el caso de la negación) y dos proposiciones simples (en el caso de los otros
conectivos lógicos). La definición se da mediante las siguientes tablas de verdad:
JOSÉ HENOSTROZA G. 4
Estudios Generales Ciencias Fundamentos de Matemática 1 2017 - 1
p p p q pq p q pq
V F VV V VV V
V V VF F VF V
FV F FV V
FF F FF F
CONDICIONAL BICONDICIONAL
p q pq p q pq
VV V VV V
VF F VF F
FV V FV F
FF V FF V
De este modo, cualquier fórmula lógica que consiste en proposiciones simples ligadas por
conectivos lógicos es verdadera o es falsa en cada una de las interpretaciones posibles que
originan sus proposiciones simples.
Ejemplo 1
JOSÉ HENOSTROZA G. 5
Estudios Generales Ciencias Fundamentos de Matemática 1 2017 - 1
Ejemplo 2
Una proposición como ésta, que resulta verdadera en todos las interpretaciones o mundos
posibles se denomina tautología. Cabe recalcar que el resultado anterior no varía para
proposiciones cualesquiera, representadas por p, q y r. Pueden incluso ser proposiciones
falsas en nuestro mundo real.
Ejemplos
JOSÉ HENOSTROZA G. 6
Estudios Generales Ciencias Fundamentos de Matemática 1 2017 - 1
p q ~ (𝑝 ∧ 𝑞) ⟷ (~ 𝑝 ∨ ∼ 𝑞)
V V F V V F F F
V F V F V F V V
F V V F V V V F
F F V F V V V V
Solución
p q r (𝑝 ⟶ 𝑞) ∧ (𝑞 ⟶ 𝑟) p q r (𝑝 ⟶ 𝑟)
V V V V V V V V V V
V V F V F F V V F F
V F V F F V V F V V
V F F F F V V F F F
F V V V V V F V V V
F V F V F F F V F V
F F V V V V F F V V
F F F V V V F F F V
Al comparar las tablas de verdad, llegamos a la conclusión de que las proposiciones dadas
no son equivalentes.
El ejemplo (a) constituye una ley lógica. En este caso, se trata de una equivalencia
notable
~(𝑝 ∧ 𝑞) ⟷ (~𝑝 ∨∼ 𝑞 )
denominada ley de De Morgan.
Doble Negación. ( p) p
Idempotencia a) (p p) p
b) (p p) p
Conmutativa a) (p q) (q p)
b) (p q) (q p)
Asociativa a) [p (q r)] [(p q) r]
b) [p (q r)] [(p q) r]
JOSÉ HENOSTROZA G. 7
Estudios Generales Ciencias Fundamentos de Matemática 1 2017 - 1
De Morgan a) (p q) ( p q)
b) (p q) ( p q)
Absorción a) [p (p q)] p
b) [p (p q)] p
c) [p ( p q)] (p q)
d) [p ( p q)] (p q)
Exportación [p → (q → r)] ↔ [(p q) → r]
Definición del condicional a) (p → q) ↔ (~p q)
b) ~(p → q) ↔ (p q)
Definición del bicondicional a) (p ↔ q) ↔ [(~p q) (~q p)]
b) (p ↔ q) ↔ [(p q)(~p q)]
Transposición (p → q) ↔ (~q → ~p)
Ejemplo.
Solución.
p q r [(𝑝 → 𝑞) ∧ ∼ 𝑞] → (∼ 𝑝 ∨∼ 𝑟)
V V V V F F V F
V V F V F F V V
V F V F F V V F
V F F F F V V V
F V V V F F V V
F V F V F F V V
F F V V V V V V
F F F V V V V V
Ejemplo.
JOSÉ HENOSTROZA G. 8
Estudios Generales Ciencias Fundamentos de Matemática 1 2017 - 1
Solución.
La fórmula A implica B cuando en toda interpretación o estado posible del mundo en que A
es verdadera, se cumple que B es también verdadera. Equivalentemente, A implica B
cuando en toda interpretación donde B es falsa, ocurre que A también es falsa. Es decir, A
implica B cuando no existe una interpretación donde A sea verdadera a la vez que B sea
falsa.
Ejemplo
Solución
Usando las variables proposicionales p: El número entero 931 es par; q: El número entero
931 es impar, el enunciado se simboliza como
[(𝑝 ∨ 𝑞) ∧∼ 𝑝] → 𝑞
JOSÉ HENOSTROZA G. 9
Estudios Generales Ciencias Fundamentos de Matemática 1 2017 - 1
Al hallar la tabla de verdad de dicha proposición, se puede verificar que se trata de una
tautología. Además, debemos notar que tiene la forma de implicación notable llamada
silogismo disyuntivo.
Dada una inferencia lógica con premisas P1, P2, …, Pn y conclusión C, decimos que dicha
inferencia es válida si la conjunción de las premisas implica la conclusión.
Una inferencia lógica con premisas P1, P2, …, Pn y conclusión C se suele denotar como:
P1
P2
…
Pn // C
Para hacer énfasis en el proceso de razonamiento que a partir de las premisas extrae la
conclusión. Insistimos que la validez de la inferencia depende exclusivamente de la forma
o estructura del razonamiento, que la lógica evalúa a través de los conectivos lógicos. No
depende de la verdad o falsedad de las proposiciones en el mundo real.
Ejemplo.
Solución.
Una forma de analizar la validez de dicha inferencia es ver mediante tablas de verdad si la
conjunción de premisas implica la conclusión.
JOSÉ HENOSTROZA G. 10
Estudios Generales Ciencias Fundamentos de Matemática 1 2017 - 1
𝑃1 ) 𝑝 ∨ 𝑞
𝑃2 ) 𝑝 ⟶ 𝑟
𝑃3 ) 𝑞 ⟶ 𝑟 // 𝑟 ∨ 𝑞
4) 𝑟 ∨ 𝑟 (1,2,3) Dilema constructivo compuesto
5) r (4) Idempotencia
6) 𝑟 ∨ 𝑞 (5) Adición
Ejemplo.
Analiza la validez de la siguiente inferencia:
Si eres tolerante con tus empleados, entonces no te obedecen. Por lo tanto, sé intolerante
con ellos y entonces te obedecerán.
Solución.
p q (𝑝 → ~𝑞) → (~ 𝑝 → 𝑞)
V V F V V
V F V V V
F V V V V
F F V F F
JOSÉ HENOSTROZA G. 11
Estudios Generales Ciencias Fundamentos de Matemática 1 2017 - 1
EJERCICIOS PROPUESTOS 1
La función seno es una función con dominio todo IR y su función recíproca cosecante
también tiene como dominio todo IR. También, la raíz cuadrada de -16 no es un
número real, así como el cociente de 5 entre 0.
a) Hay un accidente. Muchos heridos. Viene la policía y los bomberos. Luego los
heridos son atendidos.
b) Si en China se produjeran revoluciones, entonces dejaría el comunismo como forma
de gobierno. En la década pasada hubo algunas revoluciones. Por lo tanto, China
dejará el comunismo como forma de gobierno.
c) Todo número natural es primo o es compuesto. También hay números perfectos y
números amigos. Ello me hace recordar la Criba de Eratóstenes.
d) Hoy tengo indigestión. Hoy ingerí huevo, pescado y café. La semana pasada comí
huevo y café, no obstante no tuve indigestión. Por lo tanto la indigestión de hoy fue
causada por el pescado.
e) O dicto Lógica o dicto Matemática en este ciclo. No podré dictar Matemática en
este ciclo. Por consiguiente dictaré Lógica.
f) Mañana habrá práctica calificada. Mis alumnos necesitan de Asesoría. Entonces
tendré que programar un horario. Esto me recuerda que aún no he preparado las
preguntas de la práctica.
4. Analice cuáles de las siguientes proposiciones son simples y cuáles son compuestas.
En el caso de que sean compuestas, indique los conectivos lógicos presentes en cada
una.
5. Determine mediante las tablas de verdad si cada una de las siguientes proposiciones
compuestas son tautologías, contradicciones o contingencias.
a) p (q r ) (~ p ~ r )
b) (~ p q) (~ r ~ p) (r q)
a) A : ~ ( p ~ q ) B : (~ p q )
b) A : p (q r ) B : p q ( p r)
c) A : p q B : q ( p q)
a) ( p ~ q) q ( p r )
b) ( p q) (r ~ q) (~ p r )
8. Analice la verdad o falsedad de las siguientes afirmaciones:
9. Analice por tabla de verdad o por tabla de verdad abreviada (si hay muchas variables) la
validez de cada una de las siguientes inferencias:
a) b)
P1) r (q s )
P1) p (q ~ r )
P 2) p q
P2) ~ (~ p q) // ~ r
P3) (~ r p) t // t s
JOSÉ HENOSTROZA G. 13
Estudios Generales Ciencias Fundamentos de Matemática 1 2017 - 1
Para casos como este, debemos ampliar el lenguaje simbólico de la lógica proposicional
con los cuantificadores, y construir el lenguaje simbólico de la lógica cuantificacional o
lógica de predicados. En este curso presentaremos los cuantificadores como ayuda para
comprender mejor la naturaleza de las proposiciones matemáticas y también nos ayudará en
el estudio de los conjuntos.
Para trabajar con cuantificadores debemos fijar un contexto referencial, es decir una
colección de objetos a la cual llamaremos un universo y denotaremos por U. Además de
las proposiciones lógicas que podemos formular acerca de los elementos de este universo,
tenemos los siguientes conceptos:
Una constante es un símbolo que denota un elemento fijo de dicho universo. Usualmente
de denotan las constantes con letras minúsculas como a, b, etc. o con símbolos especiales
como por ejemplo , e, etc. para ciertas constantes numéricas.
Un predicado es una propiedad que pueden cumplir los elementos del universo. Los
predicados se denotan con letras mayúsculas como P, Q, R, etc.
Ejemplo.
Sea U el universo formado por los países de Sudamérica. Denotamos por b a Bolivia, por c
a Argentina, por x a cualquier país de Sudamérica, y definimos el enunciado abierto Px que
significa x limita con Perú.
a) Por ejemplo, Pb es una proposición verdadera, pues significa Bolivia limita con Perú.
b) Asimismo, Pc es una proposición falsa, pues equivale a Argentina limita con Perú, lo
cual es una proposición falsa.
JOSÉ HENOSTROZA G. 14
Estudios Generales Ciencias Fundamentos de Matemática 1 2017 - 1
Además de asignar valores a las variables de un enunciado abierto, existe otra manera de
generar proposiciones verdaderas o falsas a partir de un enunciado abierto: cuantificar las
variables.
• El cuantificador universal afirma que todo elemento del universo cumple la propiedad
P. Se denota como
∀𝑥: 𝑃𝑥
y se lee:
Para todo x se cumple Px, o para cada x se cumple Px, o todos son P, o todo es P.
Nótese que un enunciado abierto se transforma en una proposición (que puede ser
verdadera o puede ser falsa) cuando todas sus variables son cuantificadas.
Ejemplo.
a) Pa
b) Qb
c) ∀𝑥: 𝑃𝑥
d) ∃𝑥: 𝑄𝑥
e) ∀𝑥: 𝑅𝑥
f) ∃𝑥: 𝑅𝑥
g) [𝑅𝑏 → (∀𝑥: 𝑅𝑥)] ↔ [~(∀𝑥: 𝑅𝑥) ∨∼ 𝑄𝑏]
JOSÉ HENOSTROZA G. 15
Estudios Generales Ciencias Fundamentos de Matemática 1 2017 - 1
Solución.
Ejemplo.
Solución.
JOSÉ HENOSTROZA G. 16
Estudios Generales Ciencias Fundamentos de Matemática 1 2017 - 1
• ∼ 𝐴 equivale a ∼ (∀𝑥: 𝑆𝑥 → 𝑃𝑥), es decir ∃𝑥: ~(𝑆𝑥 → 𝑃𝑥). Por definición del
condicional, esto es ∃𝑥: ~(~𝑆𝑥 ∨ 𝑃𝑥), que por ley de De Morgan equivale a
∃𝑥: (𝑆𝑥 ∧ ~𝑃𝑥), es decir, a la forma O.
• ∼ 𝐼 equivale a ∼ (∃𝑥: 𝑆𝑥 ∧ 𝑃𝑥), es decir ∀𝑥: ~(𝑆𝑥 ∧ 𝑃𝑥). Por ley de De Morgan, ello
equivale a ∀𝑥: (~𝑆𝑥 ∨ ~𝑃𝑥). Por definición del condicional, esto es ∀𝑥: (𝑆𝑥 → ~𝑃𝑥),
que corresponde a la forma E.
Ejemplo.
Para cada una de las siguientes proposiciones matemáticas, halla su valor de verdad,
escríbela simbólicamente, escribe su negación, expresa verbalmente dicha negación y halla
el valor de verdad de la negación.
Solución.
Así tenemos:
a)
JOSÉ HENOSTROZA G. 17
Estudios Generales Ciencias Fundamentos de Matemática 1 2017 - 1
b)
c)
d)
Las ciencias son campos de conocimiento especializados, cuyo objetivo es explicar lo que
ocurre en el mundo y por qué ocurre. Ello lo hacen mediante proposiciones. Los métodos
que las diversas ciencias emplean para establecer la verdad de las proposiciones que
describen el mundo permiten distinguir entre ciencias formales y ciencias experimentales.
Por ejemplo, en el caso de la física se observan y miden fenómenos en laboratorio, con un
control sistemático de las variables y factores vinculados al fenómeno, con la finalidad de
dictaminar leyes generales fundamentadas en el razonamiento inductivo, fruto de la
experimentación. Es decir, la física es una ciencia experimental.
JOSÉ HENOSTROZA G. 18
Estudios Generales Ciencias Fundamentos de Matemática 1 2017 - 1
Los conceptos primitivos más importantes son punto, recta, plano, espacio. Por ejemplo,
un hilo bien estirado nos da una idea de recta, pero en realidad la recta no se define en
términos de otros conceptos.
Los axiomas son proposiciones que se aceptan como verdaderas sin necesidad de
demostración. Son puntos de partida para luego demostrar otras proposiciones y de paso
nos permiten relacionar los conceptos. Los primeros axiomas de la geometría son:
Estos primeros axiomas por ejemplo nos dejan en claro de que una recta es distinta a un
punto, un plano es distinto a una recta. De los últimos axiomas se deduce un primer
teorema que asegura que dos planos que se intersecan tienen como intersección una recta.
En efecto, si los planos se intersecan, entonces comparten al menos un punto común. Por el
axioma A6, deben compartir al menos otro punto común distinto al anterior. Del axioma
A2 se sigue que dichos puntos determinan una única recta, que por el axioma A5 está
contenida en cada uno de los planos.
• Planos paralelos. Dos planos son paralelos si son iguales o si no tienen elementos
comunes.
• Rectas secantes. Dos rectas son secantes si su intersección es un único punto.
A diferencia de los axiomas, un teorema es una proposición cuya verdad se establece por
demostración deductiva. Un teorema en matemática tiene como elementos generales un
cuantificador universal y una proposición condicional, que puede responder a la forma
∀𝑥: 𝐻𝑥 → 𝑇𝑥
JOSÉ HENOSTROZA G. 19
Estudios Generales Ciencias Fundamentos de Matemática 1 2017 - 1
Notemos que, si damos por sobre entendido que el teorema se refiere a todos los objetos
que son materia de estudio, dicho teorema puede expresarse en la forma
𝐻→𝑇
con lo cual su análisis puede limitarse a la lógica proposicional.
Ejemplo 1.
Solución.
Ejemplo 2.
Solución.
p: ABC es un triángulo con el ángulo recto en A, y a, b y c son los lados opuestos a los
ángulos A, B y C, respectivamente
q: 𝑎2 = 𝑏 2 + 𝑐 2
𝑝 → 𝑞.
Ejemplo 3.
Solución.
q: ABC es un triángulo donde a, b y c son los lados opuestos a los ángulos A, B y C,
respectivamente, tal que 𝑎2 = 𝑏 2 + 𝑐 2
JOSÉ HENOSTROZA G. 20
Estudios Generales Ciencias Fundamentos de Matemática 1 2017 - 1
JOSÉ HENOSTROZA G. 21
Estudios Generales Ciencias Fundamentos de Matemática 1 2017 - 1
EJERCICIOS PROPUESTOS 2
2. En la siguiente demostración, justifique cada paso mediante la ley lógica respectiva (ver
leyes lógicas en páginas 7, 8, 9)
P1) r (q s)
P2) pq
P3) (~ r p ) t // t
4) ( p q) (q p) (2) Definición del bicondicional.
5) (r q) (r s)
6) r q
7) q p
8) rp
9) ~r p
10) t
P1) p ~ q
P2) ~ ( s ~ r )
P3) q (t s ) // p r.
a) x : x 2
16 y : y y .
b) x, y : x y .
c) x, y : y x 1 .
d) x, y : x 2 y 2 45.
y
e) x, y : y
x
JOSÉ HENOSTROZA G. 22
Estudios Generales Ciencias Fundamentos de Matemática 1 2017 - 1
7. Dada la proposición:
p : 0, 0 : x 5 x 5 25 ,
exprese simbólicamente ~ p.
a) En todo triángulo isósceles, los ángulos opuestos a los lados congruentes son
congruentes.
b) En todo paralelogramo, las diagonales se intersecan en el punto medio de ambas.
10. Haga una demostración de cada una de las siguientes proposiciones. Indique las
propiedades en que se fundamenta su demostración.
JOSÉ HENOSTROZA G. 23