Nombre: Maria Fernanda Moretta Franco

Curso: 2do semestre B Computacin e Informtica

El razonamiento
1) Definicin.
Obtener a partir de verdades conocidas (premisas) otra verdad que era desconocida (conclusin).
2) Deduccin o silogismo.

Definicin: parte de una premisa universal para alcanzar una conclusin particular.

Elementos.
Premisa mayor.
Premisa menor.
Conclusin.

Tipos.
Categrico.
Hipottico.
Disyuntivo.

3) Induccin.

Definicin: Parte
experimentales).

Tipos.

de casos

particulares para

alcanzar

una

verdad universal (ciencias

Completa.
Incompleta.

Un argumento es un hecho o postulado que se usa para defender o validar un punto de vista sobre
algo. Un razonamiento es una sucesin de deducciones o inducciones, que intentan probar,
defender, o validar una idea.
El argumento contiene un solo postulado. El razonamiento es una cadena de varios postulados. El
razonamiento tiene ms 'peso'.

Conceptos Bsicos
Enunciado (proposicin, sentencia, juicio, afirmacin) se define como aquella expresin lingstica
de la cual se puede decir si es verdadera o falsa y no ambas a la vez.
Ejemplo:

Universidad Agraria del Ecuador

Nombre: Maria Fernanda Moretta Franco

Curso: 2do semestre B Computacin e Informtica
El enunciado: Mi nombre es Eva
Es una proposicin que resulta falsa para todas las personas que no respondan al nombre de Eva,
pero verdadera para todas las personas que se llamen as.
Enunciado atmico, es aqul enunciado nico, que en su expresin no incluye ningn conectivo
lgico, es decir, no une dos o ms enunciados.
Ejemplos:
Hoy es mircoles.
Vivo en el cantn Milagro.
Pablo es matemtico.
Enunciado molecular es aqul que consta de dos o ms enunciados.
Ejemplos:
Si todas las personas son perversas, entonces ninguna persona es de confiar.

Universidad Agraria del Ecuador

Nombre: Maria Fernanda Moretta Franco

Curso: 2do semestre B Computacin e Informtica

Las conectivas lgicas son cinco:

Que es lgica.
La denominacin de la lgica, est directamente relacionada con la palabra griega logos, cuyo
significado en griego antiguo es equivalente a pensamiento o razn, pero tambin palabra o
conocimiento; y logik era lo relativo al logos En definitiva, se trata del estudio de la forma en que
funciona la facultad humana de pensar y razonar.
Puede definirse la lgica como el conjunto de conocimientos que tienen por objeto la enunciacin de
las leyes que rigen los procesos del pensamiento humano; as como de los mtodos que han de
aplicarse al razonamiento y la reflexin para lograr un sistema de raciocinio que conduzca a
resultados que puedan considerarse como certeros o verdaderos.
Debe distinguirse entre la lgica formal y la lgica material:

La lgica formal tambin llamada lgica pura - que es la lgica propiamente dicha - es
precisamente la ciencia (en cuanto conocimiento) que determina cules son las formas
correctas y vlidas de los raciocinios; pero lo hace considerndolos en s mismos y con
prescindencia de los contenidos concretos de los razonamientos, es decir, considerando esos
contenidos como entes lgicos abstractos, de tal manera que las leyes a aplicar tengan
validez para cualquier contenido concreto.
El raciocinio puede definirse como un proceso del pensamiento (por tanto, exclusivamente
humano) que a partir de ciertos conocimientos establecidos (llamados premisas), conduce a
adquirir un conocimiento nuevo (contenido en la conclusin) sin que para ello haya que
recurrir a nuevas constataciones u observaciones sensibles distintas o adicionales a las ya
contenidas en las premisas.
Por lo tanto, la verdad a que conduce la lgica formal, es una verdad formal; que ser verdad
en tanto sea verdad el contenido de las premisas, e indicar solamente que existe una
congruencia de ese raciocinio, consigo mismo. Si en un razonamiento existe falsedad en las
premisas y la conclusin asimismo es falsa; de todos modos el razonamiento ser correcto o
vlido como razonamiento.

La lgica material tambin llamada lgica aplicada, es aquella en que un proceso de

raciocinio o de pensamiento se analiza en consideracin al contenido real de sus premisas, y
por lo tanto debe conducir a una verdad material, una conclusin que sea concordante con la
realidad.

Universidad Agraria del Ecuador

Nombre: Maria Fernanda Moretta Franco

Curso: 2do semestre B Computacin e Informtica
Mientras que las premisas (o predicados) que toma en consideracin la lgica pura
constituyen entidades abstractas y absolutamente precisas, respecto de las cuales no es
requerido que exista ningn objeto de la realidad que los verifique; es difcil encontrar en la
realidad conceptos de origen emprico-sensible que presenten exactamente las
caractersticas de los objetos lgicos.
Aparte de ello, respecto de todo concepto de origen emprico, no solamente es posible
concebir sino que tambin se encuentran en la realidad experimental, objetos respecto de los
cuales no es posible afirmar de manera absolutamente cierta que coinciden o que no
coinciden con esos conceptos.
Por lo tanto, respecto de proposiciones lgicas que utilicen esos conceptos, las leyes de la
lgica formal solamente sern aplicables con especial precaucin. De tal manera, las leyes de
la lgica formal solamente resultarn aplicables con alcance estricto en el campo de las
ciencias puramente exactas y abstractas, tales como las matemticas, la propia lgica, la
mecnica, y aquellas disciplinas exclusivamente normativas y abstractas tales como la
interpretacin jurdica.

Universidad Agraria del Ecuador