ALEJA

INTRODUCCION
Se entiende que hacemos referencia a las matemáticas o al conocimiento

matemático y, aunque es cierto que las nociones matemáticas suponen una de las
posibles formas de pensamiento lógico matemático, no es menos cierto que este
reduccionismo.
OBJETIVOS
- Conocer la naturaleza, métodos y fines de los distintos campos de la

Matemática junto con cierta perspectiva histórica de su desarrollo.
- Reconocer la presencia de la Matemática subyacente en la Naturaleza, en
la Ciencia, en la Tecnología y en el Arte.
- Reconocer a la Matemática como parte integrante de la Educación y la
Cultura.
DESARROLLO DE LA ACTIVIDAD
Descripción del ejercicio: A continuación, encontrará las proposiciones simples

para el desarrollo del ejercicio 1:
Proposiciones simples:
p: Hay protestas en contra la reforma tributaria en Colombia.
q: Desde el inicio de las manifestaciones el dólar subió
r: La Reforma tributaria desata la violencia.
Lenguaje simbólico:
(𝒑 ∨ 𝒒) → (𝒒 ∧ 𝒓)
Lenguaje Natural:
Hay protestas en contra la reforma tributaria en Colombia o Desde el inicio

de las manifestaciones el dólar subió Entonces Desde el inicio de las
manifestaciones el dólar subió y La Reforma tributaria desata la violencia.
Tabla manual:
p q r (𝒑 ∨ 𝒒) (𝒒 ∧ 𝒓) (𝒑 ∨ 𝒒) → (𝒒 ∧ 𝒓)
V V V V V V
V V F V F F
V F V V F F
V F F V F F
F V V V V V
F V F V F F
F F V F F V
F F F F F V
Se clasifica como: Contingencia.
Tabla de verdad Simulador UNAD:
Descripción del ejercicio: A continuación, encuentra el lenguaje simbólico de

expresiones que representan algunas leyes de inferencia:
A. Expresión simbólica
Ley de inferencia de la expresión: Modus Ponendo Ponens (pp)
p: Carolina estudia ingeniería industrial en la UNAD.
q: Carolina aprobó el curso de cálculo diferencial.
Lenguaje Natural:
Si Carolina no estudia ingeniería industrial en la UNAD entonces Carolina

no aprobó el curso de cálculo diferencial. Carolina no estudia ingeniería
industrial en la UNAD. Por lo tanto, Carolina no aprobó el curso de cálculo
diferencial.
B. Expresión simbólica
Ley de inferencia de la expresión: Adjunción (A)
p: Carolina estudia ingeniería industrial en la UNAD.

q: Carolina aprobó el curso de cálculo Integral.
Lenguaje Natural:
Si Carolina estudia ingeniería industrial en la UNAD. Carolina aprobó el

curso de cálculo Integral. Por lo tanto Carolina estudia ingeniería industrial y
Carolina aprobó el curso de cálculo Integral.
C. Expresión simbólica
Ley de inferencia de la expresión: Simplificación disyuntiva (SD)
p: Carolina estudia ingeniería industrial en la UNAD

r: Carolina aprobó el curso de cálculo Integral.
s: Carolina matriculo Ingles A1.
Lenguaje Natural:
Si Carolina estudia ingeniería industrial en la UNAD o Carolina aprobó el

curso de cálculo Integral. Carolina estudia ingeniería industrial en la UNAD
entonces Carolina matriculo Ingles A1. Carolina aprobó el curso de cálculo
Integral entonces Carolina matriculo Ingles A1. Por lo tanto, Carolina
matriculo Ingles A1.
Descripción del ejercicio: A continuación, encontrará los argumentos para el

desarrollo del ejercicio 3:
Argumento: Si Estados Unidos de América goza de una gran extensión
geográfica entonces Estados unidos presenta las 4 estaciones del año.
Estados unidos No presenta las 4 estaciones del año.
a. Conclusión: Estados unidos presenta las 4 estaciones del año.

b. Ley de inferencia aplicada: Modus Tollendo Tollens (TT)
c. Lenguaje simbólico:
Descripción del ejercicio: A continuación, encontrará la expresión simbólica, las

premisas y la conclusión de un argumento para el desarrollo del ejercicio 4:
A. Expresión simbólica:
[(p v q) ∧ (p → r) ∧ (q→ r) ∧ ∼q] → (r ∧ p)
Premisas:
P1: p v q
P2: p → r
P3: q→ r
P4: ∼q
Conclusión: r ∧ p
p: Carolina estudia ingeniería industrial en la UNAD

q: Carolina aprobó el curso de cálculo diferencial
r: Carolina está matriculada en el periodo 16-01.
Lenguaje Natural:
Si Carolina estudia ingeniería industrial en la UNAD o Carolina aprobó el
curso de cálculo diferencial y Carolina estudia ingeniería industrial en la
UNAD entonces Carolina está matriculada en el periodo 16-01 y Carolina
aprobó el curso de cálculo diferencial entonces Carolina está matriculada
en el periodo 16-01 y Carolina no aprobó el curso de cálculo diferencial.
Por lo tanto Carolina está matriculada en el periodo 16-01 y Carolina
estudia ingeniería industrial en la UNAD.
Tabla de verdad manual:
p q r ∼q (p (p → (q→ (p v (p v [(p v (r ∧ p) [(p v q)

v r) r) q) ∧ q) ∧ q) ∧ ∧ (p →
q) (p → (p → (p → r) ∧
r) r) ∧ r) ∧ (q→ r)
(q→ (q→ ∧ ∼q]
r) r) ∧ → (r ∧
∼q] p)
V V V F V V V V V F V V
V V F F V F F F F F F V
V F V V V V V V V V V V
V F F V V F V F F F F V
F V V F V V V V V F F V
F V F F V V F V F F F V
F F V V F V V F F F F V
F F F V F V V F F F F V
Tabla de verdad Simulador UNAD:

Demostración de la validez del argumento mediante las Leyes de
Inferencia:
P1: p v q
P2: p → r
P3: q→ r
P4: ∼q
P5: p ……….. Modus Tollendo Ponens (MTP) P1 y P4.
CONCLUSIONES
Nos ayuda a desarrollar los procesos de pensamiento encontrando sentido a lo
que normalmente realizamos. Muchas veces utilizamos en nuestros
razonamientos oraciones y frases que suelen estudiarse en esta materia. Las
inferencia lógicas también cotidianas y las hacemos sin darnos cuenta.
REFERENCIAS BIBLIOGRAFICAS
Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y

fundamentos de álgebra lineal. Volumen I: conjuntos numéricos,
complementos. (pp. 19-28). Madrid, España: Editorial Tébar Flores. Recuperado
de http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?
ppg=20&docID=3226457&tm=1529246259924
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y

computación. (pp. 9-28). Ediciones Elizcom, Madrid. Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=12&docID=3199701&tm=1529335849013

ALEJA

Cargado por

Copyright:

Formatos disponibles

ALEJA

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

ALEJA

Cargado por

Copyright:

Formatos disponibles

INTRODUCCION

Se entiende que hacemos referencia a las matemáticas o al conocimiento

- Conocer la naturaleza, métodos y fines de los distintos campos de la

Descripción del ejercicio: A continuación, encontrará las proposiciones simples

p: Hay protestas en contra la reforma tributaria en Colombia.

q: Desde el inicio de las manifestaciones el dólar subió

r: La Reforma tributaria desata la violencia.

Hay protestas en contra la reforma tributaria en Colombia o Desde el inicio

Se clasifica como: Contingencia.

Tabla de verdad Simulador UNAD:

Descripción del ejercicio: A continuación, encuentra el lenguaje simbólico de

Ley de inferencia de la expresión: Modus Ponendo Ponens (pp)

Si Carolina no estudia ingeniería industrial en la UNAD entonces Carolina

Ley de inferencia de la expresión: Adjunción (A)

p: Carolina estudia ingeniería industrial en la UNAD.

Si Carolina estudia ingeniería industrial en la UNAD. Carolina aprobó el

Ley de inferencia de la expresión: Simplificación disyuntiva (SD)

p: Carolina estudia ingeniería industrial en la UNAD

Si Carolina estudia ingeniería industrial en la UNAD o Carolina aprobó el

Descripción del ejercicio: A continuación, encontrará los argumentos para el

a. Conclusión: Estados unidos presenta las 4 estaciones del año.

Descripción del ejercicio: A continuación, encontrará la expresión simbólica, las

p: Carolina estudia ingeniería industrial en la UNAD

Tabla de verdad manual:

p q r ∼q (p (p → (q→ (p v (p v [(p v (r ∧ p) [(p v q)

Tabla de verdad Simulador UNAD:

P5: p ……….. Modus Tollendo Ponens (MTP) P1 y P4.

Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y

Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y

También podría gustarte