DESARROLLO DE LA GUIA INTEGRADORA PASO 3 UNIDAD 3

Socializar la conceptualizacin y mnimo tres ejemplos de alguna de las

terminologas de los diferentes tipos de Demostracin en la Lgica
Matemtica (slo selecciona una e informa en el foro cual escogi, para
que no sea escogido por otro integrante), la terminologa es la siguiente:

o Demostraciones Directas e Indirectas.

o Demostracin por Contraposicin.
o Demostracin por Contradiccin (Reduccin al Absurdo).
o Demostracin por Contraejemplo
o Demostracin por el Principio de induccin matemtica

Que es un teorema
Mediante los smbolos, los conceptos primitivos, las definiciones y los
axiomas podemos descubrir propiedades que tiene los objetos
matemticos que no estn incluidas en sus definiciones. Estas
propiedades no son evidentes y es necesario demostrarlas.
Un teorema es una propiedad que se justifica o se demuestra
mediante un razonamiento o deduccin lgica
La demostracin matemtica es un razonamiento o deduccin
lgica que partiendo de una hiptesis nos permite llegar a una tesis
o conclusin
Demostracin por contraejemplo
Aveces podemos encontrar un ejemplo, que se llama contraejemplo,
para demostrar que la hiptesis es falsa
Ejemplo; Todos los nmeros pares son mltiplos de 4
Contraejemplo; basta con tomar el 6, que es un nmero par pero
no es un mltiplo de 4
 La suma de dos nmeros compuestos siempre es un nmero
compuesto. Este enunciado es falso, como contraejemplo, 4+9=13

Segunda etapa:
Socializar la conceptualizacin y mnimo tres ejemplos de alguna de las
terminologas de las leyes de inferencia lgica (slo selecciona una e
informa en el foro cual escogi, para que no sea escogido por otro
integrante), la terminologa de las leyes de inferencia es la siguiente:
o Modus Ponendo Ponens y Modus tollendo Tollens.
o Silogismo Hipottico y Silogismo Disyuntivo.
o Dilema Constructivo y Absorcin.
o Simplificacin y Ley de la conjuncin
o Ley de Adicin y Tollendo Ponens

Modus Ponendo Ponens

Generalmente abreviado MPP o MP, es una regla de inferencia que tiene
la siguiente forma
Si P, entonces Q
Por lo tanto, Q
La forma de argumento tiene dos premisas (hiptesis). La primera
premisa es la si-entonces o reclamacin de condicional, a saber: que P
implica Q. La segunda premisa es que P, el antecedente de la alegacin
condicional, es cierto. A partir de estas dos premisas se puede concluir
lgicamente que Q, el consecuente de la reclamacin de condicional,
tambin deber ser verdad
Ejemplo;
Si hoy es martes, entonces Juan se ira a trabajar.
Hoy es martes
Por lo tanto, Juan ira a trabajar

Si son las 6 AM, entonces ya amaneci.

Son las 6 AM.
Por lo tanto, Ya amaneci
Modus tollendo Tollens
Es una regla de inferencia que tiene la siguiente forma
Si P entonces Q
No B
Por lo tanto, no A
El argumento tiene dos premisas, la primera es una condicional si-
entonces. Por ejemplo que si P entonces Q. La segunda premisa es que
no es el caso de Q. A partir de estas dos premisas, se puede concluir
lgicamente que no es el caso de P
Ejemplo
Si el perro guardin detecta un intruso, el perro guardin ladra
El perro guardin no ladr
Por lo tanto, el perro guardin no detect ningn intruso

O bien esta soleado, o bien esta lluvioso.

No Esta soleado.
Por lo tanto, esta lluvioso

Tercera etapa:
Planteamiento y resolucin (utilizando las operaciones necesarias de las
tablas de verdad) y la aplicabilidad de las leyes de inferencia lgica de
uno de los problemas de enunciados tipo argumento del ANEXO 1;
adems adjuntar un pantallazo de la comprobacin de la tabla de verdad
con el simulador TRUTH dicho simulador est dispuesto en el entorno de
Aprendizaje Prctico. En el foro de Interaccin y Produccin encontrar
un link que le permitir descargar un PDF con un ejemplo de cmo realizar
el proceso de demostracin de la validez del argumento con el uso de la
tabla de verdad. (Recuerde slo seleccionar uno e informar en el foro el
seleccionado para que no sea escogido por otro integrante)

Declaracin de proposiciones simples:

P: Si el cliente de Juan gana la apelacin
Q: Mara se retira del buffet de abogados
R: Si y solo si Alberto el cliente de Juan no es llevado a Prisin

Declaraciones de premisas compuestas proposiciones

compuestas en lenguaje natural
Premisa 1: Si el cliente de Juan gana la apelacin entonces Maria se retira
del buffet de abogados
Premisa 2: Mara se retira del buffet de abogados si y solo si Alberto el
cliente de Juan no va a prisin
Conclusin: Por lo tanto si el cliente de Juan gana la apelacin, entonces
no es llevado a prisin
Declaracin de premisas en lenguaje formal
1. (p q)
2. (q ~r)
3. (p ^q)
4. (p ~r)
Demostracin por tablas de verdad

SITUACIN PROBLMICA DE LA INFERENCIA LGICA

FASE GRUPAL

La Escuela de ciencias Bsicas Tecnologas e Ingenieras ECBTI de la UNAD

realiz como evento disciplinar unas Olimpiadas Matemticas Virtuales. El Lder
Nacional de la Escuela le ha informado al decano Nacional de Escuela como fue
la premiacin, el primer lugar recibir un computador porttil, el segundo lugar
recibir una Tablet y el tercer lugar recibir una coleccin de libros de
matemticas Schaun; para dicho fin el lder Nacional hizo el siguiente
razonamiento: Si Ximena se gan el computador entonces Johan recibi la
Tablet o Ricardo fue quien recibi la Tablet. Si Ximena fue quien recibi la Tablet,
entonces Ximena no obtuvo como premio el computador. Si Carlos fue quien
recibi la Tablet entonces Ricardo no fue quien recibi la Tablet. Ximena se gan
el computador. Por lo tanto, Carlos no fue quien recibi la Tablet.

Analisis del enunciado

Si Ximena se gan el computador entonces Johan recibi la Tablet o
Ricardo fue quien recibi la Tablet. Si Ximena fue quien recibi la Tablet,
entonces Ximena no obtuvo como premio el computador. Si Carlos fue
quien recibi la Tablet entonces Ricardo no fue quien recibi la Tablet.
Ximena se gan el computador. Por lo tanto, Carlos no fue quien recibi
la Tablet

Declaracin de proposiciones
Ximena se gan el computador
Johan recibi la Tablet
Ricardo fue quien recibi la Tablet
Ximena fue quien recibi la Tablet
Ximena no obtuvo como premio el computador
Carlos fue quien recibi la Tablet
Ricardo no fue quien recibi la Tablet
Carlos no fue quien recibi la Tablet

p: Ximena se gan el computador

q: Johan recibi la Tablet

r: Ricardo fue quien recibi la Tablet

s: Ximena fue quien recibi la Tablet

t: Carlos fue quien recibi la Tablet

Declaracin de premisas
Premisa 1: ()
Premisa 3: ( )

Conclusin:

Declaracin de proposiciones compuestas

Si p entonces q o r. Si s, entonces p. Si t entonces r. p. Por lo tanto,
t
{[( ())( )( )]}
Verificacin en la tabla de la verdad Premisa 2:

p q r s t p r t () ( ())( )
V V V V V F F F V F F V F
V V V V F F F V V F V V F
V V V F V F F F V V F V V
V V V F F F F V V V V V V
V V F V V F V F V F V V F
V V F V F F V V V F V V F
V V F F V F V F V V V V V
V V F F F F V V V V V V V
V F V V V F F F V F F V F
V F V V F F F V V F V V F
V F V F V F F F V V F V V
V F V F F F F V V V V V V
V F F V V F V F F F V F F
V F F V F F V V F F V F F
V F F F V F V F F V V F F
V F F F F F V V F V V F F
F V V V V V F F V V F V V
F V V V F V F V V V V V V
F V V F V V F F V V F V V
F V V F F V F V V V V V V
F V F V V V V F V V V V V
F V F V F V V V V V V V V
F V F F V V V F V V V V V
F V F F F V V V V V V V V
F F V V V V F F V V F V V
F F V V F V F V V V V V V
F F V F V V F F V V F V V
F F V F F V F V V V V V V
F F F V V V V F F V V V V
F F F V F V V V F V V V V
F F F F V V V F F V V V V
F F F F F V V V F V V V V
( ())( )( ) [( ())( )( )] {[( ())( )( )]}
F F V
F F V
F F V
V V V
F F V
F F V
V V F
V V V
F F V
F F V
F F V
V V V
F F V
F F V
F F V
F F V
F F V
V F V
F F V
V F V
V F V
V F V
V F V
V F V
F F V
V F V
F F V
V F V
V F V
V F V
V F V
V F V
Razonamiento de contingencia no es posible demostrarlo por leyes de inferencia.
 CONCLUSIONES

Al igual que en trabajos pasados, es muy til la informacin y

procedimientos que se pueden obtener mediante la
documentacin interactiva que se proporciona para la unidad

Se solucionaron todos los problemas propuestos en la gua de

aprendizaje paso 3
 REFERENCIAS BIBLIOGRAFICAS

Rodrguez, V. R. (2013). "... El ser humano vive inmerso en la naturaleza". ProQuest

(Ed). Conjuntos numricos, estructuras algebraicas y fundamentos de lgebra lineal.
Volumen I: conjuntos numricos, complementos. (pp. 17-29). Madrid, Espaa:
Editorial Tbar Flores. http://hdl.handle.net/10596/6534 Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=18&docID=10
995629&tm=1489710145734

Bustamante A. A. (2009). "Un argumnto geomtrico para demostrar el Teorema de

Pitgoras". En ProQuest (Ed). Lgica y Argumentacin: De los argumentos inductivos a
las lgebras de Boole. 1. Edicin. (pp. 9-54). Mxico D.F., Mxico: Editorial Pearson.
Recuperado de: http://hdl.handle.net/10596/7960

Zazueta B. L. Clix L. C. (2008). "Qu es una tabla de verdad?" Lgica II. Primera
Edicin. (pp. 91 197). Mxico D.F., Mxico: Universidad Autnoma de
Sinaloa. Recuperado de: http://hdl.handle.net/10596/7963

Villalpando, B. J. F. (2000). "... como observa las proposiciones p y q". En ProQuest

(Ed). Matemticas discretas: aplicaciones y ejercicios. (pp. 29 38). Guadalajara,
Mxico: Larousse - Grupo Editorial Patria. http://hdl.handle.net/10596/6544
Recuperado
de: http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=110135
70&ppg=30

Giraldo, J. (2016) Uso de las Leyes de Inferencia en la demostracin de la validez de

un argumento. Recuperado de http://hdl.handle.net/10596/7964

scar J. Gmez [scar J. Gmez]. (2017 Marzo 01). [Motivacin Conceptual Inferencia
Lgica]. Recuperado de: http://hdl.handle.net/10596/11541

Wisniewski, P. M., & Gutirrez, B. A. L. (2011). Introduccin a las matemticas

universitarias. Mxico: McGraw-Hill Interamericana. Recuperado:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10473069