FASE INDIVDUAL

PASO TRES USOS DE LAS REGLAS DE INFERENCIA

XXXXX

XXX

PENSAMIENTO LOGICO Y MATEMATICO

200611A_360

GRUPO

140

TUTORA

XXXXX

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

UNAD-CEAD YOPAL

2017
Objetivos

Definir y ejemplarizar el concepto de Demostracin por contraposicin

Conceptualizacin Ley de inferencia Simplificacin y Ley de la conjuncin
Dar resolucin del enunciado problemtico de la Lgica Proposicional, mediante el
uso de tablas de verdad.
Hacer uso del Simulador TRUHT para verificar la solucin del enunciado
problemtico
Demostrar la validez del enunciado problemtico aplicando las leyes de inferencia.
Introduccin

Cuando se habla de lgica se refiere a la disciplina encargada de los mtodos de razonamiento,

suministrando reglas y tcnicas las cuales definirn si una argumentacin o deduccin es
correcta o no. Esta es la base principal de cualquier razonamiento matemtico y tiene numerosas
aplicaciones en construccin, diseo de circuitos, en ciencias sociales y en la vida diaria.
El presente trabajo se encontrara el uso de las reglas de inferencia que son argumentos basados en
tautologas son mtodos de razonamiento universalmente correctos. Donde la solucin de un
enunciado problemtico deber pasar por declarar proposiciones simples, declarar premisas,
declarar premisas en lenguaje formal, razonamiento en lenguaje formal por medio de tablas de
verdad, donde se comprobara si hay tautologa en la expresin, para de esta manera
 Conceptualizacin tipo de demostracin Lgica seleccionada.

Demostracin por contraposicin

Esta es la primera tcnica de demostracin indirecta, es conocida tambin por el nombre

de demostracin contra reciproca.
Esta demostracin lgica esta conformado por dos silogismos, donde se establece que la
negacin de un consecuente implica la negacin de su antecedente. Es decir, si una
primera premisa implica una segunda premisa, se puede concluir que la negacin de
la segunda premisa implica la negacin de la primera premisa. En consecuencia, la
implicacin original y su contrarrecproco son equivalentes.

. Utiliza la equivalencia lgica:

(A > B) = (-B > -A) Explcitamente, la contraposicin de la declaracin "si A, entonces
B" es "si no es B, entonces no A."

Ejemplo 1 implicacin:

Est haciendo calor, por lo tanto, ir a piscina

es equivalente a su contraposicin

No ir a piscina, por lo tanto, no est haciendo calor

Ejemplo 2 implicacin:

Si hoy es martes entonces maana es mircoles

es equivalente a su contraposicin
Maana es mircoles, por lo tanto, hoy es Martes
Ejemplo 3 implicacin:
"Llueve, por tanto, el suelo est mojado"
es equivalente a su contraposicin
El suelo esta mojado, por lo tanto, llueve

Mtodo Supongo Concluyo

Demostracin directa- directa ... Indirecta

A B
 indirecta

Reduccin al absurdo directa ... contradiccin

A y no B

directa ... Indirecta

Contraposicin no B no A

Conceptualizacin de una de las terminologas de las leyes de inferencia

Simplificacin y Ley de la conjuncin

Esta ley se aplica a unas proposiciones Unidas con (&), es decir ambas premisas siendo
ciertas la conclusin tambin lo ser, por tal motivo es que se permite a las proposiciones
pasar a una conjuncin

EJEMPLO: Obviamente, es la operacin inversa. Si disponemos de un enunciado formado por

dos miembros unidos por una conjuncin, podemos hacer de los dos miembros dos enunciados
afirmados por separado.

A&T Tengo Sueo y Tengo Hambre

A: Tengo Sueo
T: Tengo hambre
La premisa o conclusiones conjuntivas que pueden simplificarse en cualquiera de sus miembros
A&T A&T
---------- ----------
A T

Desde muy joven empec a trabajar para poder buscar tener una buena calidad de
vida, pero siempre me fue complicado poder ingresar a hacer mis estudios
superiores; hoy en da afortunadamente la UNAD ofrece una excelente oportunidad
de formacin acadmica para quienes tenemos una vida laboral muy densa, pues la
virtualidad, aunque demanda de disciplina y adecuados hbitos de estudio, nos
permite contar con las 24 horas del da, los siete das de la semana para ingresar a
realizar las actividades segn las fechas lmites establecidas; esto es algo que me ha
alegrado mucho y le hice el siguiente comentario a mis amigos, para que se
motiven e ingresen a estudiar en la UNAD: He ingresado a estudiar
administracin en Salud y lograr materializar mi proyecto de vida. Si he ingresado
 a estudiar en la UNAD Administracin en Salud, entonces conseguir un mejor
estatus laboral. Por lo tanto, conseguir un mejor estatus laboral y lograr
materializar mi proyecto de vida. Por medio de los diferentes mtodos de
demostracin con las tablas de verdad y el uso de las leyes de inferencia,
determinar si mi razonamiento es vlido.

Declarar proposiciones simples:

A: He ingresado a estudiar administracin en Salud
B: lograr materializar mi proyecto de vida
C: conseguir un mejor estatus laboral

Declarar premisas:
Premisa 1: He ingresado a estudiar administracin en Salud y lograr materializar mi
proyecto de vida
Premisa 2: Si he ingresado a estudiar en la UNAD Administracin en Salud, entonces
conseguir un mejor estatus laboral
Conclusin: Conseguir un mejor estatus laboral y lograr materializar mi proyecto de
vida

Declarar premisas en lenguaje formal:

Premisa1: (A&B)
Premisa 2: (A>C)
Conclusin: (C&B)

Razonamiento en lenguaje formal:

[(A&B)&(A>C)]>(C&B)

A B C (A&B) (A>C) [(A&B)&(A>C)] (C&B) [(A&B)&(A>C)]>(C&B)

V V V V V V V V
V V F V F F F V
V F V F V F F V
V F F F F F F V
F V V F V F V V
F V F F V F F V
F F V F V F F V
F F F F V F F V

Evidencia Simulador TRUTH

 La tabla es una tautologa decimos que el razonamiento es valido

Demostracin por leyes de inferencia

Premisa1: (A&B) Conclusin: (C&B)

Premisa 2: (A>C)
----------------------------------------
P3: B S1
P4: A S1
P5: C PP 2,4
P6: C&B A 5,3

Conclusiones
 Toda lgica est contenida en las tablas de verdad, en ellas se nos manifiesta todo lo
que implican y las relaciones sintcticas entre las diversas proposiciones.
Las demostraciones en la lgica matemtica permiten conocer mediante los enunciados
la veracidad de cada argumento.
Las reglas de inferencia permiten conocer nueva informacin partiendo de la informacin
ya conocida.
 Bibliografa
Rodrguez, V. R. (2013). Conjuntos numricos, estructuras algebraicas y fundamentos de
lgebra lineal. Volumen I: conjuntos numricos, complementos. Madrid, ES: Editorial Tbar
Flores. (pp. 17-29). Recuperado de: http://hdl.handle.net/10596/6534

Bustamante A. A. (2009). Lgica y Argumentacin: De los argumentos inductivos a las lgebras

de Boole. 1. Edicin. Mxico: Editorial Pearson. (pp. 9-54). Recuperado
de:http://hdl.handle.net/10596/7960
Zazueta B. L. Clix L. C. (2008). Lgica II. Primera Edicin. Mxico: Universidad autnoma de
Sinaloa. (pp. 91 197). Recuperado de: http://hdl.handle.net/10596/7963
Villalpando, B. J. F. (2000). Matemticas discretas: aplicaciones y ejercicios. Larousse - Grupo
Editorial Patria. (pp. 29 38). Recuperado de: http://hdl.handle.net/10596/6544

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