1

PENSAMIENTO LOGICO Y MATEMATICO

USO DE LAS REGLAS DE INFERENCIA

GRUPO: 200611_97

PRESENTADO POR:

DARIO GOMES BASTO

COD.91458913

TUTOR: CRISTIAN JAVIER CUBILLOS

UNIVERSIDAD NACIONAL

ABIERTA Y A DISTANCIA

BUCARAMANGA

27-JUNIO-2017
 2

INTRODUCCIN

En el presente trabajo colaborativo se busca comprender y asimilar los principios que explican

conceptualizacin y algunos ejemplos de alguna de los Teoremas y Tcnicas de Demostracin

explorando las definiciones y teoremas relacionados con la demostracin. Donde se fundamentan

aplicacin de reglas de deduccin: fundadas ya sea en axiomas o en teoremas anteriormente

demostrados o en reglas bsicas de deduccin del sistema en cuestin, y dando a conocer la

conceptualizacin y ejemplos de algunas leyes de la inferencia lgica La conceptualizacin y

ejemplos concretos de alguna de las Leyes de Inferencia Lgica Para la comprensin y desarrollo

de este trabajo se requiere investigar e identificar las teoras y definiciones de esta.

 3

Objetivo General:

Identificar y utilizar en forma clara las reglas de inferencia lgica por induccin y deduccin en

formulaciones y demostraciones de razonamientos vlidos en situaciones especficas.

Objetivos Especficos:

Conceptualizar los procesos de demostracin lgica y clasificarlos en directas e indirectas.

Identificar y conceptualizar los diferentes tipos de leyes de inferencia lgica sus respectivas

representaciones en las tablas de verdad.

Interpretar un enunciado tipo argumento de una situacin polmica del mundo real y demostrar

su validez a travs de las tablas de verdad y de las leyes de inferencia

 4

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.

Proposiciones simples:

P: Ximena se gano el computador

Q: Johan recibio la tablet

R: Ricardo fue quien recibio la tablet

S: Carlos fue quien recibio la tablet

 5

Declaracion de premisas:

Premisa 1: Si Ximena se gano el computador entonces Johan recibio la tablet o Ricardo fue

quien recibio la tablet

Premisa 2: Johan fue quien recibio la tablet, entonces Ximena no obtuvo como premio el

computador.

Premisa 3: Carlos fue quien recibio la table entonces Ricardo no fue quien recibio la tablet.

Premisa 4: Ximena se gano el computador

Conclusion: Carlos no fue quien recibio la tablet

Declaraciones premisas en lenguaje formal:

Premisa 1: P Q R

Premisa 2: Q P

Premisa 3: S R

Premisa 4: P

Conclusin: S

Razonamiento en lenguaje formal:

{[(P => ( Q R)] ( Q => P) ( S => R) (P)]} =>( S

)

LEYES DE INFERENCIA COMPROBACION

 6

Premisa 1: (P =>(Q R)

Premisa 2: Q=> P

Premisa 3: Q => R

Premisa 4: P

Premisa 5: Q R PP(1).(4)

Premisa 6: QTT (2).(4)

Premisa 7: RDS (5).(6)

Premisa 8: STT (3).(7) Conclusion

COMPROBACION EN SIMULADOR DE TRUTH

 7

CONCLUSION

En este trabajo se desarrollaran diversas temticas correspondientes a las reglas de inferencia y

demostraciones lgicas lo que permitir la interpretacin de diversos problemas respecto

a situaciones reales donde se aplicaran los diversos mtodos de demostracin mediante un

lenguaje simblico hasta obtener la validez de acuerdo al orden de los argumentos y as

obtener las demostraciones adecuadas utilizando lo diversos s procesos operativos

adecuados dentro del mbito de la lgica matemtica

 8

BIBLIOGRAFIA

1) http://dit.upm.es/~gfer/ssii/rcsi/rcsisu28.html

2) https://www.youtube.com/watch?v=C_g-seH0a1Y

3) https://tecdigital.tec.ac.cr/revistamatematica/cursos-

linea/CALCULODIFERENCIAL/folletos/PracticaLogica.pdf

4) http://132.248.17.238/calculo/Logica/l_logic07_d.html 4.

http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/ 5.

file:///D:/soft/Documents/Downloads/c.%20Anexo%201%20-

%20Uso%20Tablas%20de%20Verdad%20(2).pdf