Está en la página 1de 39

Trabajo Colaborativo lll

Diana Mileth Mahecha Pulgarin Cód. 31.433.969
Marcela Zapata Mejía Cód. 43.594.213
Mari luz Jaramillo Pineda Cód. 43.766.859
Mary Mayuri Benítez González Cód. 43.586.157
Yecith Gabriel Melo Zapata Cód. 80.198.255

Tutora
Lady Johanna Rosero
Pensamiento Lógico y Matemático

Grupo: 104

Universidad Nacional Abierta y a Distancia – UNAD
Julio 26 de 2.016

2
Tabla de contenido
Introducción. ........................................................................................................................... 3
Objetivos................................................................................................................................. 4
Conceptualización teoremas y técnicas de demostración ....................................................... 5
La demostración directa...................................................................................................... 5
La demostración indirecta .................................................................................................. 6
La demostración por recursión ........................................................................................... 6
Demostración por Contraposición: “supongamos que no”................................................. 7
Demostración por Contradicción ........................................................................................ 7
La refutación por contradicción ........................................................................................ 11
Demostración por Contraejemplo ..................................................................................... 11
Demostración por el Principio de Inducción Matemática ................................................ 12
Conceptualización leyes de inferencia lógica ....................................................................... 14
Modus ponendo ponens y modus tollendo tollens ........................................................... 14
Modus Tollens (M.T) o Modus Tollendo Tollens (MTT) ................................................ 15
Modus Tollendo Tollens................................................................................................... 16
Modus Ponendo Ponens ................................................................................................... 18
Silogismo hipotético y silogismo disyuntivo ................................................................... 20
Dilema constructivo y absorción ...................................................................................... 23
Simplificación y ley de la conjunción .............................................................................. 23
p ^ q= se lee, Diego estudia y trabaja ............................................................................... 24
Ley de adición (La)........................................................................................................... 24
Solución problemas individuales .......................................................................................... 25
Problema 1 ........................................................................................................................ 25
Problema 2 ........................................................................................................................ 26
Problema 3 ........................................................................................................................ 29
Problema 4 ........................................................................................................................ 33
Problema 5 ....................................................................................................................... 36
Referencias ........................................................................................................................... 39

3
Introducción.

En este tercer trabajo colaborativo se ha estudiado desde la lógica proposicional para
demostrar la veracidad y validez de situaciones específicas del mundo real, abordando los
diferentes temas propuestos como lo son demostraciones directas e indirectas, demostración
por contraposición. demostración por Contradicción (Reducción al Absurdo), demostración
por contraejemplo, demostración por el principio de inducción Matemática.
Lo que proporciona herramientas para resolver problemas de la vida diaria y
desenvolverse con buen dominio de los temas propuestos, a través de diferentes ejercicios
prácticos y una correcta comunicación con el grupo colaborativo, dándose una formación
de una manera íntegra que permita ser más asertivos en el aprendizaje.

 Fomentar el trabajo y la comunicación en grupo.  Conocer y utilizar algunos ejemplos de los Teoremas y Técnicas de Demostración. de manera que se logre autonomía al solucionar cada una de las actividades propuestas en este trabajo y en la vida diaria.  Conceptualizar las Leyes de Inferencia Lógica y demostrar mediante ejemplos prácticos.4 Objetivos  Desarrollar habilidades investigativas en los estudiantes. .

es decir. p → ~r Demostración: Puesto que r → q es equivalente a ~q →~r. entonces. p →~q 2. Los principales tipos de demostración son: La demostración directa La demostración directa de una proposición t (teorema) es un conjunto de proposiciones o premisas que son postulados o proposiciones de validez aceptada y de las cuales se infiere t como consecuencia inmediata.5 Conceptualización teoremas y técnicas de demostración 1. Ejemplo 1. ahora. hasta deducir la conclusión o tesis que así se demuestra. r → q Concluir: t. Los procedimientos de demostración permiten establecer la conexión lógica entre las proposiciones fundamentales de la teoría. p → ~r. como p →~q y ~q → ~r. Dadas las premisas: 1.La demostración es un razonamiento que prueba la validez de un nuevo conocimiento. ~q → ~r. Por SH . sus consecuencias sucesivas. es el enlace entre los conocimientos recién adquiridos y los conocimientos anteriores. de las premisas 1 y 3 se puede concluir t. por MTT se tiene la premisa: 3.

Ejemplo 2. se sabe que. Por el ejemplo 2 analizado en la demostración directa. y es necesario demostrar que tal proposición se verifica para todos los elementos n que pertenecen a un subconjunto infinito dado sobre los números enteros. si x es impar. La demostración por recursión Cuando la tesis se prueba por medio de inducción matemática. Este tipo de demostraciones se utilizan cuando los enunciados tienen una proposición abierta en una variable n. (con x entero) Suponga que existe al menos un entero x tal que x2 es par y x es impar. entonces x es par. Construir la demostración indirecta de: Si x2 es par. Ejemplo 1. entonces x2 es impar. el axioma de la inducción matemática es el siguiente: . Esta es la contradicción buscada.6 Tabla de verdad La demostración indirecta Se realiza una demostración indirecta cuando se establece la validez de una tesis t probando que las consecuencias de su contraria son falsas. luego es imposible que x sea impar y que x2 sea par.

que tiene solución entera y ver si se llega a no A (c par) Demostración por Contradicción . P (k+1) es verdadera Demostración por Contraposición: “supongamos que no” Si queremos demostrar que: Si se verifica A. entonces no A Útil para cuando demostrar esta 2º afirmación resulta más sencillo -Ejemplo: Sea n un número entero. la ecuación n 2+n-c no tiene ninguna solución entera Nota: suponer no B. es decir. se le llama Hipótesis de Inducción. P(a) es verdadera cuando se sustituye n por a en P(n) II. se puede demostrar la verdad de esta proposición estableciendo los siguientes pasos: I. III. o sea k+1. entonces se verifica B: A → B Esto equivale a demostrar que: Si no B. Supondremos que n es impar y veamos que entonces n3 no puede ser par: (este resultado es el ejemplo de la demostración marcha adelante) -Ejercicio: Demostrar que. P (k) es verdadera. si c es impar. entonces n es par A: n3 es par B: n es par.7 Dado un conjunto de números enteros A = {n / n ≥ a} y una proposición de la forma P(n). si n3 es par. Se demuestra que para el siguiente término al k-ésimo. a esta proposición. Demostrar que. es decir. Se supone que la proposición P(n) es verdad para todo k del conjunto A.

A este método también se le conoce como prueba por contradicción o prueba al absurdo. es un método de demostración lógico. esto es: que la teoría con ese supuesto es inconsistente y. Es usado para demostrar la validez de proposiciones categóricas. que su negación es verdadera. y mediante una concatenación de inferencias lógicas válidas se pretende deriva runa contradicción lógica. tal hipótesis es falsa. La demostración por reducción al absurdo es un tipo de argumento lógico muy empleado en demostraciones matemáticas. a partir de esta hipótesis se trata de generar una contradicción. Consiste en demostrar que una proposición matemática es verdadera probando que si no lo fuera conduciría a una contradicción. en consecuencia.8 El método de demostración por reducción al absurdo se fundamenta en la condición de no contradicción para una teoría. . un absurdo de derivarse una contradicción. quedando validada la proposición inicial. se parte por suponer como hipotética la negación falsedad de la tesis de la proposición a demostrar. es falsa y utilizando la hipótesis P. o lo que es equivalente. La demostración de un teorema diremos que es por contradicción cuando suponiendo que la conclusión Q. se concluye que la hipótesis de partida (la negación de la original) ha de ser falsa. Expresión latina por Reducción al absurdo. se llega a una contradicción. y la original es verdadera y la proposición o argumento es válido. y otros teoremas y equivalencias lógicas establecidas previamente. básicamente la estrategia consiste en suponer explícitamente la negación de la proposición a demostrar. Parte de la base es el cumplimiento del principio de exclusión de intermedios: una proposición que no puede ser falsa necesariamente es verdadera.

sea n cualquier número entero. Pues bien. Demostración El teorema a demostrar es “Para cada entero n. Ejemplo: Demostrar que. si el cuadrado de un número entero es impar. consecuentemente. también. entonces n es impar” Si p(n): n es impar Entonces el esquema del teorema en notación simbólica seria ∀n p (n2) −→ p(n) En el universo de los números enteros. Por lo tanto.9 Está basada en la equivalencia lógica conocida como reducción al absurdo. El esquema seria ∀n p (n2) ∧ ¬p(n)−→ C Donde C es una contradicción. . P =⇒ Q. P −→ Q ⇐⇒ (P ∧ ¬Q) −→ C Donde C es una contradicción. si n2 es impar. entonces el número es impar. si probamos que (P ∧ ¬Q) −→ C es una tautología tendremos que P −→ Q también lo es y. es por ello que este método de demostración es conocido. Lo demostraremos por contradicción o reducción al absurdo. como demostración por reducción al absurdo.

2k + 1 = 4l2 De donde se sigue que 1 = 4l2 − 2k = 2(2l2 − k). Y como si l y k son enteros. obviamente. por lo tanto ´esta es falsa siendo cierta la contraria. el 1 es par. es una contradicción. lo cual. 2l2 − k también lo es (lo llamaremos m). n no es impar. sin embargo. es decir. tendremos que hemos encontrado un número entero m tal que 1 = 2m es decir. Veamos la demostración a través de implicaciones. Lo que nos ha llevado a la contradicción es la suposición de que n no era impar. tendremos que n2 es impar y n es par de aquí que por la definición de número impar tengamos que existan dos números enteros k y l tales que n2 = 2k + 1 y n = 2l Luego. n2 = 2k + 1 y n2 = 4l2 Por lo tanto. n2 impar y n no es impar =⇒ n2impar y n es par =⇒ ∃k: n2 = 2k + 1 y ∃l: n = 2l {Definición de impar y par =⇒ ∃k: n 2 = 2k + 1 y ∃l: n2 = 4l2 {Elevando l al cuadrado} =⇒ ∃k y ∃l: 2k + 1 = 4l2 {Igualando} =⇒ ∃k y ∃l: 1 = 2(2l2 − k) {Haciendo operaciones} =⇒ ∃m: 1 = 2m Tomando m = 2l2 − k =⇒ 1 es par {Definición de número par} =⇒ Contradicción . n es impar.10 Supongamos que n2 es impar y que. Entonces.

11 La refutación por contradicción Refutar la proposición “el cuadrado de todo número impar es un número par”: Como todo número impar se puede escribir de la forma 2n + 1. Todos los números primos son impares Lo anterior es falso ya que 9 15 y 21 son números primos y no son impares 2. la proposición dada implica que: (2n + 1)2 = 2m para algún n y algún m o. Ninguna fruta es amarga Lo anterior es falso ya que hay frutas que no son amargas . donde n es un entero. Ejemplos: 1. en todo caso pone en evidencia un caso en el cual la proposición no es verdadera. la proposición dada es falsa. Demostración por Contraejemplo El método de contraejemplo podría tomarse como una excepción a una regla general propuesta. pero el miembro de la izquierda no es divisible por 2. mientras que el de la derecha si es divisible por 2. por lo tanto. Esto es una contradicción evidente y. 4n2 + 4n + 1 = 2m Se supone que ambos miembros deben representar el mismo entero. y puesto que todo número par se puede escribir en la forma 2m. con m un entero.

Todos los maestros no son estudiantes Lo anterior es falso ya que puede haber maestros que pueden ser alumnos 4. y x.12 3. entonces P=X/Q No es verdadero para todos los números reales p. No sólo nos permite demostrar propiedades interesantes acerca de la corrección y eficiencia de los algoritmos. quizá no haya ninguno más importante que lo inducción matemática. el cual es fácil de calcular. Si PQ=X. La inducción matemática se emplea cada vez más por los expertos en computación. Entonces (1) (0) = 0 pero 1= 0 / 0. Demostración por el Principio de Inducción Matemática Principio de Inducción Matemática: De las herramientas matemáticas básicas útiles en la algoritmia. Digamos que p = 1. P (l) es verdadero. ya que la división entre 0 no está definida. La inducción matemática es una técnica de demostración. pero no es compuesto 5. . sino que además puede incluso utilizarse para determinar qué propiedades es preciso probar. además asumo que: Paso Base. la cual se puede definir de la siguiente formo: Suponga que se tiene una función proporcional P(n) cuyo dominio de discurso es el conjunto de los números naturales. La suma de dos números compuestos siempre será un número compuesto Lo anterior es falso ya que 8 + 9 = 17 el cual es un numero primo. q. q = 0 y x = 0.

entonces: 2 + 6 + 10 + .. . . + ( 4 k – 2 ) + ( 4 ( k + 1 ) – 2 ) )2 = 2(k + 1 ( Tesis ) . Suponga verdadero para un k el cual pertenece o los números naturales. . c) Sea n = k + 1. entonces P (k) se debe asumir verdadero. + (4 n – 2) = 2 n 2 a) Sea n = 1. Ejemplo: Demuestre por inducción matemática que: 2 + 6 + 10 + . . d) Demostración: 2 + 6 + 10 + . . Si P (k) es verdadero se debe comprobar para el siguiente término. entonces: 4n – 2 = 2 2n2 = 2 (Verdadero). . . b) Sea n = k. + (4 k – 2) = 2 k 2 (Por hipótesis de inducción).13 Hipótesis inductiva. . . + (4 k – 2) = 2 k 2 (Hipótesis de inducción). . . Por lo tanto. se debe concluir que P(n) es verdadero para todo n en los naturales. . . . . Verificación. entonces: 2 + 6 + 10 + . . es decir P (k+ 1).

observa el siguiente ejemplo: Daniel escucha la siguiente afirmación “Si llueve hace frío” En la siguiente “escena”.14 2 + 6 + 10 + . + ( 4 k – 2 ) + ( 4 ( k + 1 ) – 2 ) k + 2 Por lo tanto 2 + 6 + 10 + . es decir “llueve” ¿Qué puede concluir Daniel? Que hará frío. En este ejemplo. Daniel observa llover. . la cual denominaremos MPP ó Modus Ponendo Ponens. . Daniel ha utilizado la más común de las inferencias lógicas. . . . . . . las proposiciones simples son: p = llueve q = hace frío Ejemplo: . . . + ( 4 k – 2 ) + ( 4 ( k + 1 ) – 2 ) = 2 (k + 1)2 Conceptualización leyes de inferencia lógica Modus ponendo ponens y modus tollendo tollens ¿Cómo interpretar esta ley?. + ( 4 k – 2 ) + ( 4 ( k + 1 ) – 2 ) = 2k2 = 2k2 + 4 + (4( k + 1) – 2) 2 + 6 + 10 + . . es decir “hace frío” Para obtener tan “obvia” conclusión. .

. (De donde) representa la conclusión de las premisas dadas. es la proposición q Modus Tollens (M.. nos permiten expresar en lenguaje natural lo expresado en lenguaje simbólico así: p → q que equivale a: Si llueve hace frío Así que nuestro ejemplo puede ser representado en el lenguaje simbólico de la siguiente manera: p → q Se lee: si p entonces q p Se lee: ocurre p . ~ p Se lee: de donde ~p Esta regla de inferencia dice que. es decir que la conclusión. simbólicamente se expresa así: [(p → q) Ʌ ~q] → ~p Ejemplo 2 .15 Las proposiciones así declaradas....T) o Modus Tollendo Tollens (MTT) p → q Se lee: si p entonces q ~ q Se lee: ocurre ~q . q Se lee: de donde q El símbolo. entonces su antecedente será necesariamente falso.. si una implicación es verdadera y su consecuente es falso. en este caso.

entonces la suma de los otros dos ángulos es menor de 90º. Premisa 2: La suma de los otros dos ángulos no es menor de 90º. Conclusión: Un ángulo de un triángulo no es mayor de 90º. también llamado modus tollens y generalmente abreviado MTT o MT. no A Ejemplo: . Premisa 1: p → q Premisa 2: ~ q Conclusión: ~ p Modus Tollendo Tollens Modus tollendo tollens: El modus tollendo tollens (en latín. modo que negando niega).16 Premisa 1: Si un ángulo de un triángulo es mayor de 90º. q: La suma de los otros dos ángulos es menor de 90º. es una regla de inferencia que tiene la siguiente forma: Si A entonces B No B. Simbólicamente: p: Un ángulo de un triángulo es mayor de 90º. Por lo tanto.

Retomamos nuestro ejemplo: p:"hago mucho deporte" q:"estoy cansado" Según este esquema tautológico: "Si hago mucho deporte. y no es cierto que estoy cansado.17 Si son las 6 am entonces amaneció. entonces estoy cansado. No estoy cansado reglas de Inferencia . El Modus Tollens o razonamiento indirecto: La tautología conocida como Modus Tollens. traducido al lenguaje natural sería algo así como si p implica q. y q es falsa. entonces estoy cansado. no amaneció. por lo que no hago mucho deporte” Recurriendo a su forma argumental: Si hago mucho deporte. entonces p también debe ser falso. No son las 6 am Por lo tanto. adquiere la siguiente forma de ley lógica: [(p→ q)¬q]¬p Que.

Esta soleado.18 El modus Ponendo Ponen y Tollendo Tollen son clasificados como reglas de inferencia. es una regla de inferencia que tiene la siguiente forma: Si A. entonces es de día. Por lo tanto. entonces B A Por lo tanto. un razonamiento que sigue la forma del modus ponens podría ser: si esta soleado. Las usamos para obtener conclusiones que consideramos normalmente válidas. Modus Ponendo Ponens también llamado modus ponens y generalmente abreviado MPP o MP. es de día. MPP Otra manera más formal de presentar el modus ponens es: MPP Y aun otra manera es a través de la notación del cálculo de secuentes MPP Modus Tollendo Ponens (MTP) o Silogismo Disyuntivo . B Por ejemplo. que son utilizadas continuamente en el lenguaje natural.

es una forma válida de argumento que dice: .. caso A. entonces se podría concluir que "Plutón es un planetoide". es de noche. o es el caso B Si No es A Por lo tanto. toca quedarse con la otra. entonces la conclusión es: Juan no ha terminado el libro por lo tanto no ha ido a devolverlo hoy a la biblioteca. Con conectivas lógicas es. Por lo tanto. Explicación: Si se sabe que "Plutón es un planeta o un planetoide"...19 La regla sencillamente dice que cuando se tiene que elegir entre dos alternativas y se descarta alguna de ellas. Tengo 2 casos posibles. lógicamente es B Entonces.. Juan no ha terminado el libro. el caso A no es posible. A través de la notación del cálculo de secuentes Lógica Proposicional Modus ponendo tollens o MPT Modo que afirmando niega. (la contradicción) …. O más simple = Juan no ha ido a devolverlo hoy a la biblioteca.. Ejemplo: Un razonamiento que sigue la forma del silogismo disyuntivo exclusivo podría ser: O es de día o es de noche. Juan ha terminado el libro(A) o no ha ido a devolverlo hoy a la biblioteca (B). No es de día. pero se demuestra que "Plutón no es un planeta". Entonces si no ha terminado el libro.

pero no ambos. entonces el razonamiento sería inválido. sino inclusiva. aprende y si Juan aprende amplía sus opciones de empleo". o bien B A. es decir que o bien se da A. Silogismo hipotético y silogismo disyuntivo 1. Por lo tanto. El silogismo hipotético tiene como fundamento el planteamiento de una precisa hipotética. amplía sus opciones de empleo". "Si Juan estudia. es decir que esta puede ser condicional. o bien se da B.20 O bien A. Si la disyunción no fuera exclusiva. no B Es importante aclarar que la disyunción que forma parte del modus ponendo tollens es una disyunción exclusiva. Ejemplo tomado de la guía del curso: "Si juan estudia. en conclusión. Representemos la ley en el lenguaje simbólico: Declaración de proposiciones simples: p= Juan estudia q= Juan aprende r = Juan amplía sus posibilidades de empleo Luego la ley será: [(p -->q) ^ (q -->r)]---> (p-->r) En la segunda representación: .

las cuales deberán ser condicionales de tal forma que su demostración sea disyunta... veamos la representación simbólica: .. El curso aporta El curso mejora El curso mejora sus notas finales Con lo anterior se podrían tomar los valores anteriores. ¿Qué podemos concluir? . mejorara. "que la moneda cae sello” ¿verdad? Esta forma de razonar se conoce como Silogismo Disyuntivo o Modus Tollendo Ponens. 2.21 p -->q q -->r _____ p-->r Ejemplo propio: Si el curso aporta. Ejemplo tomado de la guía del curso: "Si Juan lanza una moneda. Silogismo Disyuntivo: Partiendo de por lo menos tres premisas lógicas una disyuntiva y dos condicionales o compuestas. esta puede caer cara o sello".. teniendo además como referencia el caso hipotético. y si aporta individualmente mejorara sus notas finales. encontramos que la moneda no cae cara.. La disyuntiva parte de dos posibilidades.

en conclusión. cae sello. esta es la representación del MTP ó SD es: [(p v q)^¬p]--> q Recordemos la segunda representación aprendida: pvq ¬p _____ Q Ejemplo propio: Si choca. y ocurre que no cae cara [(p v q) ^ ¬p] --> q = La moneda cae cara o sello. En conclusión. ira más veloz RàS Choca. o avanza El vehículo se avería o ira más veloz PàQ PVR QVS . y ocurre que no cae cara. el vehículo se avería PàQ Si el vehículo avanza.22 p = La moneda cae cara q = La moneda cae sello p v q = La moneda cae cara o sello (p v q) ^ ¬p = La moneda cae cara o sello.

Veamos su representación: p ^ q = se lee. Juan ha realizado un razonamiento lógico válido. o bien Q es falsa o S es falsa. El dilema constructivo es la versión disyuntiva del modus tollens.23 RàS PVR QVS Dilema constructivo y absorción Es el nombre de una regla de inferencia de válida de lógica proposicional. si dos condicionales son verdaderos. Es una inferencia que dice: si P implica Q y R implica S y. maría estudia . En este momento. posteriormente. dado que Juan ha simplificado la información que le ha dado María. entonces P o R debe ser falsa. En suma. Juan se encuentra con Diego y le comenta que María estudia. entonces uno de sus antecedentes tiene que ser falso. María estudia y trabaja p = se lee. pero uno de sus consecuentes es falso. La regla puede afirmar: Simplificación y ley de la conjunción -Simplificación Sim: "María le comunica a Juan que estudia y trabaja". en conclusión. denominado simplificación.

Diego estudia y trabaja Ley de adición (La) Esta ley expresa el hecho que si tiene una proposición que es cierta. Diego trabaja p ^ q= se lee. entonces la disyunción de aquella proposición y otra cualquiera ha de ser también cierta. que "Diego estudia y trabaja".: P V Q Ejemplo: Este libro es azul Q: este libro es azul Q Q Q R N B . Juan ha realizado un razonamiento lógico válido. P Q -------- -------- . En este momento.: P V Q . Pedro le comunica a Juan que Diego trabaja “¿Qué puede concluir Juan? por supuesto. Diego estudia q = se lee. Veamos su representación: p = se lee. denominado conjunción.24 -Conjunción Conj: "María le comunica a Juan que Diego estudia".

Y si no aprueba el periodo académico. Pero.: Q V R . R: es rojo N: es nuevo B: es viejo Solución problemas individuales Problema 1 Si Bibiana aprueba el periodo académico entonces Johanna y Santiago sus hermanos se enojan con ella. pierde los beneficios de la beca obtenida en la Universidad.: Q V N .: Q V B Podríamos decir que. Bibiana aprueba el periodo académico o no lo aprueba. Johanna y Santiago sus hermanos se enojan con ella o pierde los beneficios de la beca obtenida en la Universidad.25 . Contiene 3 premisas: P= Aprueba el periodo Q= Se enojan con ella R= Pierde la beca Formula seria: (p→q) ∧ (~p →r) → (p ∨~p) → (q ∨ r) . Por lo tanto.

Milena se ha esforzado por mantener un sólido hábito de estudio. pero hay momentos en que sus deberes son tantos. entonces desarrollaré las demostraciones con las Leyes de Inferencia. se posee una metodología educativa que realmente forma profesionales competentes. Si el Director de Curso no activa la etiqueta .26 Tabla de Verdad p q r ~p (p→q) (~p→r) (p→q) ∧ (~p→r) (p∨~p) q ∨ r (p→q) ∧ (~p→r) → (q ∧ r) V V V F V F F V V V V V F F V V V V V V V F V F F F F V V V V F F F F V F V V V F V V V V V V V V V F V F V V V V V F F F F V V V V V V V V F F F V V V V V F F Problema 2 En la Universidad Nacional Abierta y a Distancia – UNAD. para lo cual se debe ser muy disciplinado con los hábitos de estudio adquiridos para cumplir con las actividades académicas. que no logra cumplir a cabalidad con las actividades del periodo académico y se le presenta la siguiente situación: “Si el Director de Curso de Pensamiento Lógico y Matemático activa la etiqueta del Examen Nacional. a través del “Aprendizaje Autónomo”.

me pondré al día con las notas pendientes de Química General”. haré el trabajo final de Química General 3-Si aprovecho y hago el trabajo final de Química General. entonces desarrollaré las demostraciones con las Leyes de Inferencia. haré el trabajo final de Química General. me pondré al día con las notas pendientes de Química General”. me pondré al día con las notas pendientes. .27 del Examen Nacional. Y si aprovecho y hago el trabajo final de Química General. 2-Si el Director de Curso no activa la etiqueta del Examen Nacional. si no desarrollo las demostraciones con las Leyes de Inferencia. si no desarrollo las demostraciones con las Leyes de Inferencia. 4-Por lo tanto. me pondré al día con las notas pendientes. P: Curso de Pensamiento Lógico y Matemático activa la etiqueta del Examen Nacional Q: Examen Nacional R: demostraciones con las Leyes de Inferencia S: trabajo final de Química General T: Notas pendientes V: Leyes de Inferencia Premisas: 1-Si el Director de Curso de Pensamiento Lógico y Matemático activa la etiqueta del Examen Nacional. Por lo tanto.

Milena debe ponerse al día con las notas pendientes de Química General.28 Conclusión. Por lo tanto. [(P→Q) ∧ (R →S) ↔ (S→ (T∧~Q)) ∧ (V→T) ∧ (S→P)] → T Tabla de verdad .

Si llegan tardíamente las ayudas internacionales. Si el índice se disminuye y las esperanzas de la recuperación social son menores. La calamidad pública es un hecho y las ayudas internacionales llegan de manera tardía. la sociedad ira recuperándose lentamente”. . Luego. el índice de sobrevivientes disminuye. las esperanzas de la recuperación sociales menores serán. entonces la sociedad ira recuperándose lentamente. analicemos lo siguiente: “si hay una situación de calamidad pública. el índice de sobrevivientes disminuye.29 Problema 3 Todos nos sentimos afligidos por la situación ocurrida en Ecuador el día 16 de abril. las esperanzas de la recuperación social serán menores. por el terremoto que ha generado una tragedia para los habitantes de dicha nación. Identificación de las proposiciones: P: si hay una situación de calamidad pública Q: Índice de sobrevivientes disminuye R: Llegan tardíamente las ayudas internacionales S: Las esperanzas de la recuperación social son menores T: Sociedad ira recuperándose lentamente Premisas: 1-Si hay una situación de calamidad pública. 2-Si llegan tardíamente las ayudas internacionales.

Conclusión. La Sociedad Irá recuperándose Lentamente. (q Λ s) → t 4. entonces la sociedad lentamente irá recuperándose. r → s 3. p Sim 4 .30 3-Si el índice de sobrevivientes disminuye y las esperanzas de la recuperación hijo sociales menores. p → q 2. 4-La calamidad pública es un hecho y las ayudas internacionales llegan de manera tardía. Premisas: Premisa 1: (p → q) Premisa 2: (r → s) Premisa 3: (q Λ s) → t Premisa 4: p Λ r Conclusión: t Fórmula: [(P → q) Λ (r → s) ↔ ((q Λ s) → t)] → ((p Λ r) → t) Demostración por inferencias t: 1. pΛr 5.

7. s MPP 2. qΛs Conj.8 10. r Sim 4 7.31 6.5 8. q MPP 4.9 q r s t p→ r→s q^s p^r q p→q^ (q^s) →t r→s [(P → q) Λ (r ((p Λ [(P → q) Λ (r → s) ↔ ((q r)→ → s) ↔ ((q Λ Λ s)→ t)] t)V s)→ t)] → ((p Λ r)→ t) V V V V V V V V V V V V V T V V V V F V V V V F F F V T V V V F V V F F V V F V V T V V V F F V F F V V F F V T V V F V V V V V F V V V V T V V F V F V V V F F F V V T V V F F V V V F F V V V V T V V F F F V V F F V V V V T V F V V V F V F V V F V V T V F V V F F V F V V F F V T . t p MPP 3.6 9.

32 V F V F V F F F V V F V V T V F V F F F F F V V F F V T V F F V V F V F F V F V V T V F F V F F V F F V F V V T V F F F V F V F F V F V V T V F F F F F V F F V F V V T F V V V V V V V F V V V V T F V V V F V V V F F F V V T F V V F V V F F F V F V V T F V V F F V F F F V F V V T F V F V V V V V F V V V V T F V F V F V V V F F F V V T F V F F V V V F F V V V V T F V F F F V V F F V V V V T F F V V V V V F F V V V V T F F V V F V V F F V V V V T F F V F V V F F F V F V V T F F V F F V F F F V F V V T F F F V V V V F F V V V V T F F F V F V V F F V V V V T F F F F V V V F F V V V V T .

33 F F F F F V V F F V V V V T Problema 4 Mañana se cierra la Fase Individual del Trabajo Colaborativo Tres del curso Herramientas Digitales para la Gestión del Conocimiento. Leí la guía de actividades en el Correo Interno o en el Entorno de Información Inicial. el aporte está en el E-Portafolio”. Si subí el archivo en el grupo de Skype entonces el aporte está en el E-Portafolio. Si leí la guía de actividades en el Correo Interno entonces está en el E-Portafolio. Respuesta el ejercicio planteado: Ante la propuesta obtenemos las siguientes preposiciones simples. Si leí la guía de actividades en el Entorno de Información Inicial entonces el aporte está en el Foro de Interacción y Producción. . Por lo tanto. R: Guía de actividades en el Correo Interno S: El Entorno de Información Inicial. Mariana se hace reflexiona para poder recordar donde quedó su aporte: “Si el aporte está en el Foro de Interacción y Producción lo habría visto al ingresar al Entorno de Aprendizaje Colaborativo. Mariana desarrolló el ejercicio de las Redes Sociales en su afán subió el aporte al aula virtual y no lo encuentra para hacer unas modificaciones. P: El aporte está en el Foro de Interacción y Producción Q: Entorno de Aprendizaje Colaborativo. No vi el aporte al ingresar al Entorno de Aprendizaje Colaborativo.

Conclusión. Premisa 2: Leí la guía de actividades en el Correo Interno o en el Entorno de Información Inicial. No vi el aporte al ingresar al Entorno de Aprendizaje Colaborativo. el aporte está en el E-Portafolio Por lo tanto. Si leí la guía de actividades en el Entorno de Información Inicial entonces el aporte está en el Foro de Interacción y Producción. Premisa 3: Si leí la guía de actividades en el Correo Interno entonces está en el EPortafolio. Premisa 4: Si subí el archivo en el grupo de Skype entonces el aporte está en el EPortafolio. Premisa 1: Si el aporte está en el Foro de Interacción y Producción lo habría visto al ingresar al Entorno de Aprendizaje Colaborativo.34 T: Grupo de Skype V: E-Portafolio En este orden encontramos las premisas. P: El aporte está en el Foro de Interacción y Producción →Q: Si Entonces lo habría visto al ingresar al Entorno de Aprendizaje Colaborativo Q: Lo habría visto al ingresar al Entorno de Aprendizaje Colaborativo V R: O Leí la guía de actividades en el Correo Interno .

No vi el aporte al ingresar al Entorno de Aprendizaje Colaborativo. V: Por lo tanto. podemos afirmar que es una Tautología . Si leí la guía de actividades en el Entorno de Información Inicial entonces el aporte está en el Foro de Interacción y Producción. (T→V) & (S→P): Si subí el archivo en el grupo de Skype entonces el aporte está en el EPortafolio.35 Q→ (V &~P): Si leí la guía de actividades en el Correo Interno entonces está en el EPortafolio. el aporte está en el E-Portafolio La ecuación se expresaría así: [(P→Q) & (R V S) & (R→ (T&~Q)) & (V→T) & (S→P)] →T Por lo tanto.

entonces vamos a hacer la consulta por el portal virtual E-Biblioteca. p: vamos a consultar en el edificio de la Unad q: esta caluroso el día ¬p: no vamos a consultar la tarea en el edificio de la biblioteca de la UNAD r: entonces vamos a hacer la consulta por el portal virtual E-Biblioteca. s [(p ᶺ q) ᶺ (¬p → r) ᶺ (r → s)] → s p q r s ¬p (pᶺq) (¬p→r) (r→s) (pᶺq) ᶺ (¬p→r) [(p ᶺ q) ᶺ (¬p → r) ᶺ (r → s)] [(pᶺq) ᶺ (¬p→r) ᶺ (r → s)]→ s V V V V F V V V V V V V V V F V V F V F V F . entonces vamos a descargar el libro en PDF. Por lo tanto. Premisa 1: (p ᶺ q) Premisa 2: (¬p → r) Premisa 3: (r → s) Conclusion. vamos a descargar el libro en PDF. Si no vamos a consultar la tarea en el edificio de la biblioteca de la UNAD. S: vamos a descargar el libro en PDF. vamos a descargar el libro en PDF. de lo cual conversan lo siguiente: “Vamos a consultar la tarea en el edificio de la biblioteca de la UNAD si está caluroso el día. S: Por lo tanto.36 Problema 5 Los estudiantes que conformaron el CIPAS de Álgebra Trigonometría y Geometría Analítica se han reunido y deben buscar bibliografía del tema de secciones cónicas. Si vamos a hacer la consulta por el portal virtual E-Biblioteca.

lo que significa que no tenemos elementos necesarios para demostrar la validez o no del argumento Debemos entonces. el argumento no es válido. por lo tanto. p q r s ¬p (pᶺq) (¬p→r) (r→s) Conclusión s V V V V F V V V V V V V F F V V F V V V F V F V V V V V V F F F V V V F V F V V F F V V V V F V F F V F V F .37 V V F V F V V V V V V V V F F F V V V V V F V F V V F F V V F F V V F V F F F V F F F V V F F V F F V V F F V V F F F F F V V F F V F V V V V F V V F F V F V V F V F V F F F V F V F V V F F V F F V F V F F V F F V F F V F F V V V F F V F F V F F V F V F V F F F V F F F V V F F V F F V F F F F F F V F F V V En este caso tenemos una contingencia. Se tiene entonces la siguiente tabla: Si se da la existencia del caso donde las premisas son verdaderas y la conclusión falsa. utilizar las tablas de verdad evaluando la existencia del caso en que las premisas sean verdaderas y la conclusión sea falsa.

38 V F F V F F V V V V F F F F F V V V F V V V V F V V V F V V F V F V F V F V F V V F F V V F V F F V F F V V F F V V V F F V V F F V F V F V F V F F F V V F F V V F F F F F F V V V .

co/contenidos/90004/Logica_matematica_90004_AVA_201 5-01/Lectura-1.co/ecbti04/pluginfile. Módulo Lógica Matemática.edu.es/pensamientomatematico/sites/default/files/lenguajesmatematicos/las_matematicas_y_su_lenguaje.unad. G.php/5598/mod_forum/intro/Orientacio nes%20Trabajo%20Colaborativo%20Tres. (2012).upm.pdf Las Matemáticas y su Lenguaje. Medellín.pdf Orientación a trabajo colaborativo 3.unad. Antioquia. Entender.http://campus03. Recuperado de: http://datateca.39 Referencias Acevedo.edu.pdf . Demostrar y Resolver Matemáticas. http://innovacioneducativa.