manuel

Ciencias forales:
Ciencia formal es aquella que busca comprender y destacar la verdad de las cosas. Utilizan la deducción como método de búsqueda de la verdad. El objeto de estudio de la cienciaformal no son las cosas ni los procesos, sino las relaciones abstractas entre signos, es decir, se estudian ideas. Son ciencias formales la lógica y la matemática.
Métodos
Abstracción:
Cienciasfáticas
están basadas en buscar la coherencia entre los hechos y la representación mental de los mismos (nos informan cosas de la realidad). Esta coherencia es necesaria pero no suficiente, porqueademás exige la observación y la experimentación. Por lo tanto, el objeto de estudio de la ciencia fáctica son los hechos
lógicaes una ciencia formal que estudia los principios de la demostración, otambien se puede decir que es un Método o razonamiento en el que las ideas o la sucesión de los hechos se manifiestan o se desarrollan de forma coherente y sin que haya contradicciones entre ellas.Lenguaje: es un sistema de comunicación estructurado para el que existe un contexto de uso y ciertos principios combinatorios formales. Existen contextos tanto naturales como artificiales.
Lenguajenatural: el lenguaje natural es la lengua o idioma hablado o escrito por humanos para propósitos generales de comunicación. Son aquellas lenguas que han sido generadas espontáneamente en un grupo dehablantes con propósito de comunicarse
Lenguaje simbolico:
Silogismo: El silogismo es una forma de razonamiento deductivo que consta de dos proposiciones como premisas y otra como conclusión, siendo laúltima una  HYPERLINK "http://es.wikipedia.org/wiki/Inferencia" \o "Inferencia" inferencianecesariamente deductiva de las otras dos
PropocicionesProposiciones universales son aquellas cuyo sujeto refierea todo el universo contenido en la extensióndel término
PROPOSICIONES SIMPLES: tambien denominadas proposiciones atómicas. Son aquellas proposiciones que no se pueden dividir.
PROPOSICIONES...