UNIVERSIDAD LATINA DE COSTA RICA SEDE HEREDIA ESCUELA DE ARQUITECTURA Y URBANISMO BACHILLERATO EN ARQUITECTURA Y URBANISMO

CURSO: ANLISIS DE LA INFORMACIN

TEMA: SISTEMAS DE RAZONAMIENTO LGICO

PROFESOR: GERARDO SNCHEZ VILLALTA

ALUMNOS: ROY DANI ARGUEDAS LPEZ FREDDY ALBERTO ASTORGA GARCA DAVID ALBERTO JIMNEZ DAZ CESAR LEONARDO OREAMUNO CANIZAL ALLAN MORENO FECHA: 12 DE OCTUBRE DE 2010

A) Teorema : Un teorema es una afirmacin que puede ser demostrada como verdadera dentro de un marco lgico. Demostrar teoremas es el asunto central en la matemtica. Postulado: Proposicin que se toma como base para un razonamiento o demostracin,cuya verdad se admite sin pruebas. Axioma: En lgica y matemtica, un axioma o postulado es una frmula bien formada de un lenguaje formal que se acepta sin demostracin, como punto de partida para demostrar otras frmulas. Tradicionalmente, los axiomas se eligen de entre las dems frmulas por ser "verdades evidentes" y porque permiten deducir a las dems frmulas deseadas. Sin embargo, no todos los tericos estn de acuerdo con esta aproximacin. Silogismo: El silogismo es una forma de razonamiento deductivo que consta de dos proposiciones como premisas y otra como conclusin, siendo la ltima una inferencia necesariamente deductiva de las otras dos. Enunciado: En pragmtica, un enunciado es un acto de habla (acto locutivo) mnimo, normalmente realizado mediante una oracin o una expresin sintctica ms pequea que una oracin. Informalmente se usa enunciado como sinnimo de oracin, aunque pragmticamente existen diferencias. Empirico: El conocimiento emprico es el aquel basado en la experiencia y, en ltimo trmino, en la percepcin, pues nos dice qu es lo que existe y cuales son sus caractersticas, pero no nos dice que algo deba ser necesariamente as y no de otra forma; tampoco nos da verdadera universalidad. Consiste en todo lo que se sabe y que es repetido continuamente sin tener un conocimiento cientfico. Empirico significa conocimiento adquirido a travs de la experiencia cotidiana. Racionalismo: El racionalismo (del latn, ratio, razn) es una corriente filosfica que apareci en Francia en el siglo XVII, formulada por Ren Descartes, que se opone al empirismo y que es el sistema de pensamiento que acenta el papel de la razn en la adquisicin del conocimiento, en contraste con el empirismo, que resalta el papel de la experiencia sobre todo el sentido de la percepcin. Modo inductivo: El inductivismo o mtodo lgico inductivo es un mtodo cientfico que saca conclusiones generales de algo particular. Modo deductivo: En lgica, una deduccin es un argumento donde la conclusin se sigue necesariamente de las premisas. En su definicin formal, una deduccin es una secuencia finita de frmulas, de las cuales la ltima es designada como la conclusin (la conclusin de la deduccin), y todas las frmulas en la secuencia son, o bien axiomas, o bien premisas, o bien inferencias directas a partir de frmulas previas en la secuencia por medio de reglas de inferencia.
1

Hiptesis: Una hiptesis es una proposicin aceptable que ha sido formulada a travs de la recoleccin de informacin y datos, aunque no est confirmada sirve para responder de forma tentativa a un problema con base cientfica. Premisa mayor: Premisa menor: Conclusion:

BIBLIOGRAFIA:
1 2

http://es.wikipedia.org/wiki/Teorema http://es.wikipedia.org/wiki/Archivo:Entidades_sint%C3%A1cticas_2.svg http://www.wordreference.com/definicion/postulado

3 4 5 6 7

http://es.wikipedia.org/wiki/Axioma http://es.wikipedia.org/wiki/Silogismo http://es.wikipedia.org/wiki/Enunciado http://es.wikipedia.org/wiki/Racionalismo

http://es.wikipedia.org/wiki/Conocimiento_emp%C3%ADrico http://es.wikipedia.org/wiki/Inductivismo http://es.wikipedia.org/wiki/Deducci%C3%B3n