COLEGIO DE BACHILLERES DEL ESTADO

DE OAXACA PLANTEL N°56

T.S. MATEMATICAS

SEXTO SEMESTRE

PROFR: BRYAN ROBERTO VALENCIA

MORALES

GRUPO 602

ALUMNO: ALVARO ANGEL TELLO

CAMARENA

ACTIVIDAD 7: 144-145

CIUDAD IXTEPEC, OAXACA

CICLO ESCOLAR 2021 B

 ACTIVIDAD 7.- De manera individual, indaga y relaciona con una línea cada
conclusión con el tipo de razonamiento que se ha empleado para llegar a ella,
logrando interpretar resultados matemáticos representados con símbolos y
contrastándolo con otros establecidos o situaciones reales.

Siempre que llueva hay Reducción al absurdo

humedad, hoy llovió,
luego hay humedad.

Modus tollens.

Siempre hay pollo o

liebre; hoy no hubo
pollo, luego hoy hubo
liebre. Modo disyuntivo.

Si no voy a Huatulco
es que fui de
vacaciones; no fui a
Huatulco, luego no fui Modus ponens.
de vacaciones.
CIERRE.- Realiza en binas las siguientes demostraciones, escribiendo las proposiciones
simples mediante letras y luego demostrando con las reglas de inferencia, menciona cual
se utiliza y por qué. Al realizar la actividad defines metas para tu proceso de
conocimiento, solucionando problemas en equipo con una actitud constructiva y
congruente con tus sentimientos y habilidades para construir hipótesis y probar su validez
al interpretar diagramas y textos.
Con ayuda de tu docente, en plenaria, transcribe a lenguaje de proposiciones lógicas la
demostración anterior de la irracionalidad de √𝟐 utilizando conectores lógicos y
enunciando las reglas de inferencias utilizadas en cada paso realizado.

IRRACIONALIDAD DE √2
Modus Tollendo Tollens
Porque dicha demostración inicia con la negación de que 2 no es un número
racional.
Supongamos que √2 es un número racional, es decir no es irracional
𝑎
√2 =
𝑏
Es una fracción irreducible, entonces no es racional Si elevamos al cuadrado
tendremos 𝟐 = 𝒂
𝑎2
√2 =
𝑏2

Modus Ponendo Ponens

𝑎2
Si 2 = , quiere decir que ambos factores deben ser números pares.
𝑏2
Si el numerador es 𝑎2 debe de ser múltiplo de 2, entonces 𝑎2 = 42
𝑎=2
𝑎2
Si , no es un múltiplo de 4, entonces 𝑏 2 también debe de ser un número
𝑏2
par.
𝑞 = 2.
Reducción al Absurdo
𝑎2
Si 𝑏2 , No son múltiplos de 2, es decir no son factores comunes es una
contradicción, por consecuente, la √2 no es un numero racional.