GUÍA DE APRENDIZAJE ELEMENTOS DE LÓGICA

Profesor(a): Daniel Osorio e-mail: danielosorio@elpoli.edu.co

Áreas / Asignatura: Geometría Grupos 001-007-0015
Semestre Fecha Clase

COMPETENCIA A DESARROLLAR:
Diferenciar cada uno de los conceptos básicos de la historia de la geometría y algunos de los elementos de la
lógica matemática necesarios para la comprensión y el aprendizaje de las demostraciones geométricas.

OBJETIVO DE LA GUÍA:
Recordar y enunciar algunos elementos básicos de la lógica matemática y su utilización en el desarrollo de la
geometría.

EJES TEMÁTICOS.
1. Historia
2. Elementos de lógica.
3. Propiedades de los números reales.
4. Métodos de demostración.
5. Condicionales.

1. HISTORIA DE LA GEOMETRÍA:

La geometría como palabra tiene dos raíces griegas: geo = tierra y metrón = medida; o sea, significa “medida
de la tierra".

Su origen, unos tres mil años antes de Cristo, se remonta al Medio Oriente, en particular al Antiguo Egipto, en
que se necesitaba medir predios agrarios y en la construcción de pirámides y monumentos. Esta concepción
geométrica se aceptaba sin demostración, era producto de la práctica.

Estos conocimientos pasaron a los griegos y fue Thales de Mileto quien hace unos 6 siglos A.C de Cristo inició
la geometría demostrativa. Las propiedades se demuestran por medio de razonamientos y no porque resulten
en la práctica.

Las demostraciones pasan a ser fundamentales y son la base de la Lógica como leyes del razonamiento.
Euclides fue otro gran matemático griego, del siglo III antes de Cristo, quien en su famosa obra titulada “Los
Elementos", recopila, ordena y sistematiza todos los conocimientos de la geometría hasta su época y, salvo
algunas pequeñas variaciones, son los mismos conocimientos que se siguen enseñando en nuestros días.

Euclides, usando el razonamiento deductivo, elementos primitivos tales como punto, recta, plano y espacio,
axiomas y postulados, demuestra algunos teoremas que a su vez servirán para demostrar otros teoremas. Crea
nuevos conocimientos a partir de otros ya existentes por medio de cadenas deductivas de razonamiento lógico.
Esta geometría, llamada geometría euclidiana se basa en lo que históricamente se conoce como 5º postulado
de Euclides: "por un punto situado fuera de una recta se puede trazar una y sólo una paralela a ella".

Existen otras geometrías que no aceptan dicho postulado euclidiano, sino que aceptan otros principios que dan
origen a las llamadas "geometrías no euclidianas", como la creada en el siglo XIX por el ruso Lobatschevsky.

Como se mencionó, los conceptos básicos primarios punto, recta, plano y espacio no se definen, sino que se
captan a través de los sentidos. Puede darse modelos físicos para cada uno de ellos. Por ejemplo, un punto
puede estar representado por la huella que deja sobre un papel la presión de la punta de un alfiler o por una
estrella en el firmamento. Una recta está sugerida por un hilo a plomo, un plano está sugerido
por la superficie de un lago quieto o bien por la superficie de un espejo. El espacio euclidiano puede considerarse
constituido por todos los puntos existentes, o sea, el espacio en que nos movemos.

La geometría euclidiana puede dividirse en geometría plana y en geometría del espacio o estereometría. La
plana estudia las figuras contenidas en un plano. La del espacio estudia figuras que no están contenidas en un
mismo plano.
La geometría moderna:

→ El matemático alemán David Hilbert (1.862-1.943), fue el encargado de darle un tratamiento moderno a
la geometría en su obra «fundamentos de la geometría» con 21 postulados que no se diferencian en
mucho a los principios de Euclides, pues en los tratados modernos existen unas premisas que son el
punto de partida para el desarrollo de resultados posteriores, estas premisas son :«los puntos, las rectas
y el plano» de estos surgen algunos postulados y de los postulados algunas proposiciones que se
concluyen por medio de las reglas de la lógica con algunas condiciones como:
→ Que se hayan enunciado explícitamente los términos primitivos con los cuales se definen los otros.
→ Que se hayan enunciado unas proposiciones iniciales con las cuales se puedan demostrar todas las
demás. Dichas proposiciones son los postulados.
→ Que las relaciones establecidas entre los términos sean lógicas.
→ Que en las demostraciones no se suponga nada de las figuras.

2. ELEMENTOS DE LÓGICA:
La lógica: Es una parte de las ciencias matemáticas que puede ayudarnos a aprender y a razonar de una
manera muy exacta y útil.
Términos de enlace: Son los símbolos o términos con los que se representan las operaciones de la lógica,
estos términos enlazan dos o más proposiciones y ellos son:

NOMBRE SÍMBOLO LECTURA

Conjunción ⋀ “Y”
Disyunción ⋁ “O”
Negación ∼,¬ “No”
Condicional → “Si….entonces…”

Bicondicional ↔ “Si…y sólo si…”

Proposiciones: Son enunciados con una • Atómicas o simples (no tienen

forma lógica y con un valor de verdad, términos de enlace).
verdadero o falso y se dividen en:
• Moleculares o compuestas:
formadas por varias simples y
unidas con términos de enlace.
Para simbolizar las proposiciones utilizamos las letras mayúsculas A, B, C, P, Q. R, ejemplos:

EJEMPLOS

ATOMICAS P Hoy es domingo.

Q No hay clase.

MOLECULARES PᴧQ Hoy es domingo y no hay clase.

Q P Si hoy no hay clase entonces es domingo.

P⋁Q X=1 o Y+Z

Teorema:
Un teorema es toda proposición cuya validez se puede demostrar utilizando otros elementos conocidos,
mediante operaciones lógicas perfectamente coordinadas. Un teorema requiere demostración cuando no hay
evidencia de su validez y su demostración consta de tres partes:
La demostración:
La demostración de una proposición P es una cadena finita de transformaciones que se realizan mediante reglas
lógicas y que se forman a partir de proposiciones verdaderas o supuestamente verdaderas y las cuales nos
conducen a la proposición P. Esta demostración contiene tres elementos:
1. Hipótesis: Es el conocimiento o proposición que se trata de demostrar.
2. El proceso o procedimiento: Son los fundamentos empleados como base de la demostración, es
decir los términos primitivos, las definiciones, los postulados, los corolarios, los axiomas y los teoremas
ya demostrados.
3. Tesis: Es la conclusión.

El problema de la construcción de una demostración consiste en preparar una serie de pasos que conduzcan a
la conclusión deseada. No hay procedimientos establecidos para hacerlos y por ello la demostración constituye
un proceso creador dentro de un conocimiento científico que se adquiere con la práctica y el desarrollo de la
iniciativa de cada uno.

En geometría una ayuda importante en la demostración es una figura que muestra una clase particular de toda
una clase de figuras geométricas para las cuales se tiene.

Postulado: Es un hecho no comprobable que se convierte en una verdad tácitamente aceptada.

Corolario: es una proposición que se deduce de lo demostrado con anterioridad, por lo que no requiere de una
prueba particular.
Axioma: Es una proposición que se considera «evidente» y se acepta sin requerir demostración previa.
 3. PROPIEDADES DE LOS NÚMEROS REALES
Si a, b, c, d, son números reales cualesquiera, entonces se cumplen las siguientes propiedades:

Propiedades de la igualdad:

→ 𝑅𝑒𝑓𝑙𝑒𝑥𝑖𝑣𝑎: 𝑎 = 𝑎
→ 𝑆𝑖𝑚é𝑡𝑟𝑖𝑐𝑎: 𝑎 = 𝑏 ⟶ 𝑏 = 𝑎
→ 𝑇𝑟𝑎𝑛𝑠𝑖𝑡𝑖𝑣𝑎: 𝑎 = 𝑏 ∧ 𝑏 = 𝑐 ⟶ 𝑎 = 𝑐
→ 𝐴𝑑𝑖𝑡𝑖𝑣𝑎: (𝑎 = 𝑏) ∧ (𝑐 = 𝑑) ⟶ (𝑎 + 𝑐) = (𝑏 + 𝑑)
→ 𝐷𝑒 𝑙𝑎 𝑠𝑢𝑠𝑡𝑟𝑎𝑐𝑐𝑖ó𝑛: (𝑎 = 𝑏) ∧ (𝑐 = 𝑑) ⟶ (𝑎 − 𝑐) = (𝑏 − 𝑑)
→ 𝑀𝑢𝑙𝑡𝑖𝑝𝑙𝑖𝑐𝑎𝑡𝑖𝑣𝑎: (𝑎 = 𝑏) ∧ (𝑐 = 𝑑) ⟶ 𝑎𝑐 = 𝑏𝑑
→ 𝐷𝑒 𝑙𝑎 𝑑𝑖𝑣𝑖𝑠𝑖ó𝑛: (𝑎 = 𝑏) ∧ (𝑐 = 𝑑) ⟶ 𝑎/𝑐 = 𝑏/𝑑 𝑐𝑜𝑛 𝑐 ≠ 0 ∧ 𝑑 ≠ 0
→ 𝐶𝑎𝑛𝑐𝑒𝑙𝑎𝑡𝑖𝑣𝑎: (𝑎𝑐 = 𝑏𝑐 ∧ 𝑐 ≠ 0) ⟶ 𝑎 = 𝑏
→ 𝑆𝑢𝑠𝑡𝑖𝑡𝑢𝑡𝑖𝑣𝑎: 𝑈𝑛𝑎 𝑒𝑐𝑢𝑎𝑐𝑖ó𝑛 𝑛𝑜 𝑐𝑎𝑚𝑏𝑖𝑎 𝑑𝑒 𝑣𝑎𝑙𝑖𝑑𝑒𝑧 𝑠𝑖 𝑢𝑛𝑎 𝑒𝑥𝑝𝑟𝑒𝑠𝑖ó𝑛 𝑠𝑒 𝑠𝑢𝑠𝑡𝑖𝑡𝑢𝑦𝑒 𝑝𝑜𝑟 𝑜𝑡𝑟𝑎 𝑒𝑞𝑢𝑖𝑣𝑎𝑙𝑒𝑛𝑡𝑒.
Relación de orden

→ 𝑈𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑟𝑒𝑎𝑙 𝑒𝑠 𝑝𝑜𝑠𝑖𝑡𝑖𝑣𝑜 𝑠𝑖 𝑦 𝑠ó𝑙𝑜 𝑠𝑖 𝑒𝑠 𝑚𝑎𝑦𝑜𝑟 𝑞𝑢𝑒 𝑐𝑒𝑟𝑜 𝑦 𝑒𝑠𝑐𝑟𝑖𝑏𝑖𝑚𝑜𝑠 𝑎 ∈ ℝ^+⟷ 𝑎 > 0
→ 𝑈𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑟𝑒𝑎𝑙 𝑒𝑠 𝑛𝑒𝑔𝑎𝑡𝑖𝑣𝑜 𝑠𝑖 𝑦 𝑠ó𝑙𝑜 𝑠𝑖 𝑒𝑠 𝑚𝑒𝑛𝑜𝑟 𝑞𝑢𝑒 𝑐𝑒𝑟𝑜 𝑦 𝑒𝑠𝑐𝑟𝑖𝑏𝑖𝑚𝑜𝑠 𝑎 ∈ ℝ^−⟷ 𝑎 < 0
→ > : 𝑚𝑎𝑦𝑜𝑟 𝑞𝑢𝑒 …
→ < : 𝑚𝑒𝑛𝑜𝑟 𝑞𝑢𝑒 …
→ ≥ : 𝑚𝑎𝑦𝑜𝑟 𝑜 𝑖𝑔𝑢𝑎𝑙 𝑞𝑢𝑒 …
→ ≤ : 𝑚𝑒𝑛𝑜𝑟 𝑜 𝑖𝑔𝑢𝑎𝑙 𝑞𝑢𝑒 …
→ 𝑎 < 𝑏 ∧ 𝑏 > 𝑎 𝑠𝑜𝑛 𝑓𝑜𝑟𝑚𝑎𝑠 𝑑𝑖𝑓𝑒𝑟𝑒𝑛𝑡𝑒𝑠 𝑑𝑒 𝑒𝑥𝑝𝑟𝑒𝑠𝑎𝑟 𝑙𝑜 𝑚𝑖𝑠𝑚𝑜

𝑷𝒓𝒐𝒑𝒊𝒆𝒅𝒂𝒅𝒆𝒔 𝒅𝒆 𝒍𝒂𝒔 𝒅𝒆𝒔𝒊𝒈𝒖𝒂𝒍𝒅𝒂𝒅𝒆𝒔

→ 𝐿𝑒𝑦 𝑑𝑒 𝑡𝑟𝑖𝑐𝑜𝑡𝑜𝑚í𝑎: 𝑃𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝑝𝑎𝑟 𝑑𝑒 𝑛ú𝑚𝑒𝑟𝑜𝑠 𝑟𝑒𝑎𝑙𝑒𝑠 𝑎 𝑦 𝑏 𝑢𝑛𝑎 𝑦 𝑠𝑜𝑙𝑜 𝑢𝑛𝑎 𝑑𝑒 𝑙𝑎𝑠 𝑠𝑖𝑔𝑢𝑖𝑒𝑛𝑡𝑒𝑠 𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖𝑜𝑛𝑒𝑠
𝑠𝑒 𝑐𝑢𝑚𝑝𝑙𝑒: 𝑎 < 𝑏, ⋁ 𝑎 > 𝑏, ⋁ 𝑎 = 𝑏
→ 𝐴𝑑𝑖𝑐𝑖ó𝑛: (𝑎 > 𝑏) ⋀(𝑐 > 𝑑) ⟶ (𝑎 + 𝑐) > (𝑏 + 𝑑) 𝑐𝑜𝑛 𝑎, 𝑏, 𝑐, 𝑑 ∈ ℝ
→ 𝑆𝑢𝑠𝑡𝑟𝑎𝑐𝑐𝑖ó𝑛: 𝑎 < 𝑏 ⟶ 𝑎 − 𝑐 < 𝑏 − 𝑐 𝑐𝑜𝑛 𝑎, 𝑏, 𝑐, ∈ ℝ
→ 𝑀𝑢𝑙𝑡𝑖𝑝𝑙𝑖𝑐𝑎𝑐𝑖ó𝑛:
• 𝑎 > 𝑏 ⋀ 𝑐 > 0 ⟶ 𝑎𝑐 > 𝑏𝑐
• 𝑎 < 𝑏 ⋀ 𝑐 < 0 ⟶ 𝑎𝑐 < 𝑏𝑐, 𝑐𝑜𝑛 𝑎, 𝑏, 𝑐, ∈ ℝ
→ 𝐷𝑖𝑣𝑖𝑠𝑖ó𝑛:
• 𝑎 > 𝑏 ⋀𝑐 > 0 ⟶ 𝑎/𝑐 > 𝑏/𝑐
• 𝑎 < 𝑏 ⋀𝑐 < 0 ⟶ 𝑎/𝑐 < 𝑏/𝑐, 𝑐𝑜𝑛 𝑎, 𝑏, 𝑐, ∈ ℝ
→ 𝑇𝑟𝑎𝑛𝑠𝑖𝑡𝑖𝑣𝑎: 𝑎 > 𝑏 ⋀ 𝑏 > 𝑐 ⟶ 𝑎 > 𝑐, 𝑐𝑜𝑛 𝑎, 𝑏, 𝑐, ∈ ℝ
→ 𝐼𝑛𝑣𝑒𝑟𝑡𝑖𝑣𝑎: 𝑎 > 𝑏 ⟶ 1/𝑎 < 1/𝑏, 𝑐𝑜𝑛 𝑎 ⋀ 𝑏 ≠ 0

Propiedades de la adición
𝑆𝑖 𝑎, 𝑏, 𝑐, ∈ ℝ 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑠𝑒 𝑐𝑢𝑚𝑝𝑙𝑒:
→ 𝐶𝑒𝑟𝑟𝑎𝑑𝑢𝑟𝑎 𝑜 𝑐𝑙𝑎𝑢𝑠𝑢𝑟𝑎𝑡𝑖𝑣𝑎: 𝑎 + 𝑏 𝑒𝑠 𝑢𝑛 𝑛𝑢𝑚𝑒𝑟𝑜 𝑟𝑒𝑎𝑙
→ 𝐴𝑠𝑜𝑐𝑖𝑎𝑡𝑖𝑣𝑎: (𝑎 + 𝑏) + 𝑐 = 𝑎 + (𝑏 + 𝑐)
→ 𝑀𝑜𝑑𝑢𝑙𝑎𝑡𝑖𝑣𝑎: 𝑎 + 0 = 0 + 𝑎 = 𝑎
→ 𝐼𝑛𝑣𝑒𝑟𝑡𝑖𝑣𝑎: 𝑎 + (−𝑎) = (−𝑎) + 𝑎 = 𝑎 − 𝑎 = 0
→ 𝐶𝑜𝑛𝑚𝑢𝑡𝑎𝑡𝑖𝑣𝑎: 𝑎 + 𝑏 = 𝑏 + 𝑎
Propiedades de la multiplicación

→ 𝐶𝑒𝑟𝑟𝑎𝑑𝑢𝑟𝑎 𝑜 𝑐𝑙𝑎𝑢𝑠𝑢𝑟𝑎𝑡𝑖𝑣𝑎: 𝑎𝑏 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑟𝑒𝑎𝑙

→ 𝐴𝑠𝑜𝑐𝑖𝑎𝑡𝑖𝑣𝑎: (𝑎𝑏) 𝑐 = 𝑎(𝑏𝑐)
→ 𝐶𝑜𝑛𝑚𝑢𝑡𝑎𝑡𝑖𝑣𝑎: 𝑎𝑏 = 𝑏𝑎
→ 𝑀𝑜𝑑𝑢𝑙𝑎𝑡𝑖𝑣𝑎: 1𝑎 = 𝑎
→ 𝐼𝑛𝑣𝑒𝑟𝑡𝑖𝑣𝑎: 𝑎(1/𝑎) = (1/𝑎) 𝑎 = 1 𝑐𝑜𝑛 𝑎 ≠ 0
→ 𝐷𝑖𝑠𝑡𝑟𝑖𝑏𝑢𝑡𝑖𝑣𝑎: 𝑎(𝑏 + 𝑐) = (𝑏 + 𝑐)𝑎 = 𝑎𝑏 + 𝑎𝑐

4. MÉTODOS DE DEMOSTRACIÓN

Directa: La demostración directa del teorema 𝐻 ⇒ 𝑇 es el procedimiento que prueba

la verdad de T mediante una serie finita de inferencias de los elementos H.

Indirecta: Se utiliza cuando se tiene dificultad en la construcción de la demostración

directa, ésta se puede realizar de las siguientes formas:
I. ¬𝑻 ⇒ ¬𝑯
II. (𝑯 ∧ ¬𝑻) ⇒ ¬𝑯
III. (𝑯 ∧ ¬𝑻) ⇒ 𝑻
IV. (𝑯 ∧ ¬𝑻) ⇒ 𝑷 ∧ ¬𝑷

𝐸𝐽𝐸𝑀𝑃𝐿𝑂 𝐷𝐸 𝐷𝐸𝑀𝑂𝑆𝑇𝑅𝐴𝐶𝐼Ó𝑁 𝐷𝐼𝑅𝐸𝐶𝑇𝐴: 𝑆𝑖 𝑎, 𝑏, 𝑐 𝑠𝑜𝑛 𝑛ú𝑚𝑒𝑟𝑜𝑠 𝑟𝑒𝑎𝑙𝑒𝑠 𝑡𝑎𝑙𝑒𝑠 𝑞𝑢𝑒

𝑎 < 𝑏 𝑦 𝑐 > 0 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑎𝑐 < 𝑏𝑐
• 𝐻𝑖𝑝ó𝑡𝑒𝑠𝑖𝑠: 𝒂, 𝒃, 𝒄, ∈ ℝ 𝑐𝑜𝑛 𝑎 < 𝑏 𝑦 𝑐 > 0
• 𝑇𝑒𝑠𝑖𝑠: 𝑎𝑐 < 𝑏𝑐.
𝑫𝒆𝒎𝒐𝒔𝒕𝒓𝒂𝒄𝒊ó𝒏:
1) 𝑎, 𝑏, 𝑐, ∈ ℝ … … … … … … … … … … … 𝐻𝑖𝑝ó𝑡𝑒𝑠𝑖𝑠
2) 𝑎 < 𝑏 … … . … … … … … … … … … … … … . 𝐻𝑖𝑝ó𝑡𝑒𝑠𝑖𝑠
3) 𝑐 > 0 … … … … … … … … … … … … … … … . 𝐻𝑖𝑝ó𝑡𝑒𝑠𝑖𝑠
4) 𝑏 > 𝑎. … … … … … … … … … … … … … … … 𝑅𝑒𝑙𝑎𝑐𝑖ó𝑛 𝑑𝑒 𝑂𝑟𝑑𝑒𝑛
5) 𝑏 − 𝑎 > 𝑎 − 𝑎 … … … … … … … … … … … … … 𝑆𝑢𝑠𝑡𝑟𝑎𝑐𝑐𝑖ó𝑛
6) 𝑏 − 𝑎 > 0 … … … … … … … … … … … … … … . 𝐼𝑛𝑣𝑒𝑟𝑡𝑖𝑣𝑎
7) 𝑐(𝑏 − 𝑎) > 0 … … … … … … … … … … … … . . 𝑀𝑢𝑙𝑡𝑖𝑝𝑙𝑖𝑐𝑎𝑡𝑖𝑣𝑎
8) 𝑏𝑐 − 𝑎𝑐 > 0 … … … … … … … … … … … … … 𝐷𝑖𝑠𝑡𝑟𝑖𝑏𝑢𝑡𝑖𝑣𝑎
9) 𝑏𝑐 > 𝑎𝑐 … … … … … … … … … … … … … … 𝑇𝑟𝑎𝑛𝑠𝑝𝑜𝑠𝑖𝑐𝑖ó𝑛
10) 𝑎𝑐 < 𝑏𝑐 … … … … … … … … … … … … … … 𝑅𝑒𝑙𝑎𝑐𝑖ó𝑛 𝑑𝑒 𝑂𝑟𝑑𝑒𝑛
 𝐸𝐽𝐸𝑀𝑃𝐿𝑂 𝐷𝐸 𝐷𝐸𝑀𝑂𝑆𝑇𝑅𝐴𝐶𝐼Ó𝑁 𝐼𝑁𝐷𝐼𝑅𝐸𝐶𝑇𝐴: 𝑆𝑖 𝑎, 𝑏, 𝑐 𝑠𝑜𝑛 𝑛ú𝑚𝑒𝑟𝑜𝑠 𝑟𝑒𝑎𝑙𝑒𝑠 𝑡𝑎𝑙𝑒𝑠 𝑞𝑢𝑒
𝑎 + 𝑐 ≤ 𝑏 + 𝑐 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑎 ≤ 𝑏

• 𝐻𝑖𝑝ó𝑡𝑒𝑠𝑖𝑠: 𝑎, 𝑏, 𝑐 𝑠𝑜𝑛 𝑛ú𝑚𝑒𝑟𝑜𝑠 𝑟𝑒𝑎𝑙𝑒𝑠 𝑐𝑜𝑛 𝑎 + 𝑐 ≤ 𝑏 + 𝑐

• 𝑇𝑒𝑠𝑖𝑠: 𝑎 ≤ 𝑏
𝑫𝒆𝒎𝒐𝒔𝒕𝒓𝒂𝒄𝒊ó𝒏:
1) 𝑎 ≰ 𝑏 … … … … … … … … … … … … . … . 𝑁𝑒𝑔𝑎𝑐𝑖𝑜𝑛 𝑑𝑒 𝑙𝑎 𝑡𝑒𝑠𝑖𝑠
2) 𝑎, 𝑏, 𝑐 ∈ ℝ … … … … … … … … … . … … 𝐻𝑖𝑝ó𝑡𝑒𝑠𝑖𝑠
3) 𝑎 + 𝑐 ≤ 𝑏 + 𝑐 … … … … … … … . … … . 𝐻𝑖𝑝ó𝑡𝑒𝑠𝑖𝑠
4) 𝑏 < 𝑎 … … … … … … … … … … . … … … 𝐿𝑒𝑦 𝑑𝑒 𝑡𝑟𝑖𝑐𝑜𝑡𝑜𝑚í𝑎
5) 𝑏 + 𝑐 < 𝑏 + 𝑐 … … … … … … … . . … . . 𝐴𝑑𝑖𝑐𝑖ó𝑛 𝑒𝑛 4
6) 𝑎 + 𝑐 ≤ 𝑏 + 𝑐 ∧ 𝑎 + 𝑐 ≥ 𝑏 + 𝑐 … … 𝐶𝑜𝑛𝑡𝑟𝑎𝑑𝑖𝑐𝑐𝑖ó𝑛 𝑒𝑛𝑡𝑟𝑒 3 𝑦 5

5. CONDICIONALES
Para la realización y el control de un proceso debemos conocer las condiciones con las cuales dicho proceso
se cumple. Tales condiciones pueden ser:
a. Suficientes sin ser necesarias.
b. Necesarias, pero no suficientes.
c. Suficientes y necesarias.

A. Una condición suficiente para la realización de un acontecimiento es una circunstancia en cuya

presencia el acontecimiento deba ocurrir. Una condición suficiente no es indispensable para la
realización de un acontecimiento. Ejemplos:
→ Ser divisible por 4 es una condición suficiente para que un número sea múltiplo de 2. Sin embargo, un
número puede ser múltiplo de 2 sin ser divisible por 4.
→ Que a sea un numero natural es condición suficiente para que sea un número entero, sin embargo, a
puede ser un número entero sin ser natural.

B. Una condición necesaria es aquella cuyo cumplimiento es indispensable para que se produzca un
acontecimiento, es decir, la ausencia de tal condición determina la no realización del acontecimiento.
El hecho de que se cumpla una condición necesaria para la realización de un acontecimiento no indica
que sea suficiente; éste puede sin embargo no realizarse. Ejemplos:
→ Sea n un número entero. Entonces la condición “n es un entero negativo” es condición necesaria para
que 2n sea un número negativo, puesto que no puede darse el caso de que 2n sea negativo siendo n
positivo.
→ La presencia de oxígeno es una condición necesaria para la combustión de una sustancia. En efecto;
sabemos que no puede producirse combustión de una sustancia en ausencia de oxígeno. Además,
puede existir oxigeno sin que se produzca combustión, pues dicha combustión no es necesaria.

C. Una condición que es a la vez suficiente y necesaria para el cumplimiento de un determinado

acontecimiento se llama condición suficiente y necesaria. Ejemplo:
→ Si a es un número entero, entonces la condición de ser a un número positivo, es suficiente y necesaria
para que 2a sea un entero positivo.
→ Elevar la temperatura a punto crítico en presencia de oxígeno es condición necesaria y suficiente para
que se produzca la combustión de una sustancia.

Apuntes tomados de Geometría Euclidiana de José Rodolfo Londoño, ed. UdeA

BIBLIOGRAFÍA – CIBERGRAFICA DE APOYO PARA EL ESTUDIANTE:

• *Apuntes tomados de Geometría Euclidiana. José Rodolfo Londoño. Ed. UdeA. *

• Módulo de ejercicios por tema: (archivos adjuntados por correo electrónico a cada estudiante al
inicio del semestre).
• https://sites.google.com/site/geometriajic2012/
• Aula Talles Politécnico Colombiano Jaime Isaza Cadavid. https://forms.gle/dJMDb8TsAmjG63ZRA

EVALUACIÓN:

La recepción de notas (evaluación) se realizará bajo la plataforma Thatquiz.