Primera Unidad PDF

Apuntes de Lgica
Primera Unidad
2012
CESAR AUGUSTO POMA HENOSTROZA
CAPOHE
2012
Apuntes de Lgica Mg. Csar Augusto Poma Henostroza
1
http://www.cesarpoma.com cesar.poma@gmail.com profesor@cesarpoma.com

LECCIN N 1
GENERALIDADES

La Lgica es una Ciencia formal que se constituye como un instrumento de anlisis y
sntesis de la racionalidad, destacando que ella es base o preexistente en todo quehacer
racional libre de contradicciones y de rigurosidad. Como ciencia implica la adquisicin, por
parte del alumno, de mtodos y tcnicas, lenguajes formalizados o simblicos cuyo fin es
alcanzar la precisin en la enunciacin de proposiciones para formular inferencias,
construccin de frmulas, as como la determinacin de su validez basados en mtodos
decisorios coadyuvados por software especializados; adems de la aplicacin al Derecho
en cuanto a la interpretacin lgica e introduccin a la argumentacin jurdica.

1.1. CONCEPTO DE LGICA

Como trmino general significa razonamiento correcto. Lgica como trmino
deriva del griego "" (logik-logiks), que a su vez es "" (logos), que
significa razn.

Se considera que Aristteles fue el que fund la Lgica como
propedutica, herramienta bsica para todas las Ciencias.
La lgica tradicional se basaba en el silogismo como razonamiento basado en el
juicio categrico aristotlico. Hoy da la lgica utiliza como unidad bsica la
proposicin y las reglas de inferencia en la argumentacin discursiva
La lgica es una ciencia formal, que nos ofrece un conjunto de instrumentos o
herramientas (reglas, leyes, formulas, principios, etc.); y, a travs del uso correcto
de los mismas nos permiten determinar la validez o invalidez de las deducciones.
1

La deduccin o inferencia es un proceso de carcter racional que consiste en

1
POMA HENOSTROZA Csar Augusto, (1999) Lgica, CAPOVI /Editores, Lima Per, pg. 09
2
pasar de un conjunto de proposiciones llamadas premisas (antecedentes) a otras
llamadas conclusiones (consecuentes).

La deduccin es valida cuando las premisas son verdaderas y existe entre estas
una relacin de interdependencia. A la vez, la conclusin debe ser verdadera y
necesariamente derivada de las premisas. Caso contrario, la deduccin es
invalida.
Ejemplos:

1) Todos los abogados son letrados (V)
Todos los letrados saben leer (V)
--------------------------------------------------------------------
// Todos los abogados saben leer (V)

2) Todos los peces viven en el agua (V)
La ballena es un pez (F)
--------------------------------------------
// La ballena vive en el agua (V)
Deduccin invlida

1.2 IMPORTANCIA DE LA LGICA
La lgica es muy importante para el hombre y est presente en cada momento y en toda
decisin de nuestra vida cotidiana resolviendo problemas. En el campo aplicativo general
la lgica es til por las razones siguientes:
a) Permite clarificar nuestros razonamientos o pensamientos a travs de la distincin
de la correccin e incorreccin de stas.
b) Permite reducir los procedimientos verbales extensos y ambiguos a simples
operaciones con smbolos breves.
c) Permite adquirir destrezas y habilidades en el uso de las argumentaciones.
Premisas
(Antecedente)

Conclusin
(Consecuente)
Vlida

3
d) La eficacia de las argumentaciones o razonamientos nos permite actuar en la vida
con xito, evitando los fracasos.
e) Prepara para el uso de una buena argumentacin, la cual nos conduce a un mejor
conocimiento de la realidad y a acortar el camino a la verdad.
f) Constituye el instrumento imprescindible para el ejercicio serio de la tarea
cientfica. Aplicndose en todas las reas del saber etc.
g) Permite analizar los razonamientos deductivos o recursivos
h) Resuelve el problema de la comunicacin eficaz entre personas en distintos
niveles de exactitud.
La lgica aplicada al derecho tiene una importancia en la prctica jurdica.
Fundamentalmente, jueces y abogados litigantes como fiscales y notarios son en la
prctica razonadores que parten de evidencia proporcionados a ellos mediante pruebas
documentales, confesionales, periciales y testimoniales.
Para los jueces, el uso de los cdigos jurdicos es muy importante para motivar mediante
una argumentacin muy complejo su fallo en una sentencia judicial y para los abogados
litigantes presentar razonamientos persuasivos para las causas que representan para los
fines y practica de estos dos sectores.
La lgica proporciona conceptos y tcnicas, sumamente tiles. A pesar de la importancia
que reviste el conocimiento de conceptos y tcnicas de la lgica, en el ejercicio del
derecho, no existen libros en espaol en donde se aplique los elementos mas recientes.
Por esta razn es importante para un estudiante de derecho saber la lgica desde la
perspectiva de una base terica y concretamente el uso de esos conceptos en el ejercicio
de su labor profesional cualquiera sea el campo en que se desempea.

1.3 REFERENCIA HISTRICA
Histricamente la palabra lgica ha ido cambiando de sentido. Comenz siendo una
modelizacin de los razonamientos propuesta por los filsofos griegos y posteriormente
ha evolucionado hacia diversos sistemas formales, relacionados con la teora.
4
La lgica formal como un anlisis explcito de los mtodos de razonamientos se desarroll
originalmente en tres civilizaciones de la historia antigua: China, India y Grecia entre el
Siglo V y el Siglo I a.C.
En China no dur mucho: la traduccin y la investigacin escolar en lgica fue reprimida
por la dinasta Qin, acorde con la filosofa legista. En India, la lgica dur mucho ms: se
desarroll hasta que en el mundo islmico apareci la escuela de Asharite, la cual
suprimi parte del trabajo original en lgica. (A pesar de lo anterior, hubo innovaciones
escolsticas indias hasta principios del siglo XIX, pero no sobrevivi mucho dentro de la
India Colonial).

Entre tantos enfoques respecto a la historia de la lgica, existe una propuesta aceptable
en la que Aristteles es el gran referente; as tenemos:

1.3.1 LGICA PRE ARISTOTLICA
Exista una leyenda medieval de acuerdo a la cual el griego filsofo Parmnides
(siglo V A.C.) invent la lgica mientras viva en una roca en Egipto. La historia es
pura leyenda, pero esto refleja el hecho de que Parmnides fue el primer filsofo
en usar un amplio argumento para sus opiniones, antes que simples
proposiciones, una visin de realidad. Pero usar argumentos no es lo mismo como
estudiarlos, y Parmnides nunca formul sistemticamente o estudi principios de
argumentacin de su propio pensamiento. Realmente, no hay evidencia de que l
fue el que implement las reglas de inferencia usadas en la presentacin de su
doctrina.
Quizs el uso de argumentos de Parmnides fue inspirado por la prctica de los
primeros griegos matemticos entre ellos Pitgoras. As que es significativo que
Parmnides haba tenido un maestro, Pitgoras. Pero la historia del
pitagoreanismo en este periodo inicial esta envuelto en un misterio, y es difcil
separar hechos de leyendas.
5
Si Parmnides no fue informado de las reglas generales subrayadas en sus
argumentos, lo mismo quizs no es verdad para su discpulo Zenn de Elea (siglo
V.a.C.) Zenn fue el autor de muchos argumentos, conocidos colectivamente
como "Paradojas de Zenn",
Otros autores tambin contribuyeron a que el inters de los griegos creciera en
deduccin y prueba. Los retricos y sofistas Gorgias, Hippias, Prodicus, y
Protagoras (todo siglo V a.C.) cultivaron el arte de defender o atacar una tesis por
significado de los argumentos. Esto concerniente a las tcnicas de argumentos en
ocasiones simplemente gua un despliegue verbal de debate de habilidad, al cual
Platn llamaba "heurstica". Tambin es verdadero que los sofistas fueron
personas para traer la argumentacin a la posicin central, esto viene a sujetar el
pensamiento griego. Los sofistas fueron, los primeros en demandar que la moral
sea justificada por razones.

Ciertamente las enseanzas particulares de algunos sofistas y retricos son
significativas para los principios de la lgica. Por ejemplo, Pitgoras es reportado
de haber sido el primero en distinguir diferentes tipos de sentencias: preguntas,
respuestas, oraciones y requerimientos.
Prodicus aparece para mantener que dos palabras no pueden significar
exactamente la misma cosa. Por lo tanto, l se dedic con mucha atencin y
cuidadosamente, distinguiendo y definiendo el significado de sinnimos aparentes,
incluyendo muchos trminos ticos.
Platn continu el trabajo comenzado por los sofistas y por Scrates. En el caso
del Sofista, l se distingui afirmando de la negacin hizo la importante distincin
entre verbos y nombres (incluyendo sustantivos y adjetivos). l remarc que una
sentencia completa no puede consistir de un nombre o un verbo solamente pues
requiere por lo menos una de cada uno. Esta observacin indica que el anlisis del
lenguaje se ha desarrollado hasta el punto de investigar la estructura interna de las
sentencias, en adicin a la relacin de sentencias en su totalidad para alguna otra.
6
Este nuevo descubrimiento seria un arte de gran desarrollo para los pupilos
aristotlicos de Platn (384-322 a.C).
Hay pasajes en los escritos de Platn donde el sugiere que la prctica de
argumentos en la forma de dialogo (dialctica platnica) tiene un significado largo,
mas all del uso ocasional para investigar un problema en particular. La
sugerencia es que la dialctica es una ciencia de su propio criterio o quizs un
mtodo para llegar a una conclusin cientfica en otros campos.

1.3.2 LGICA ARISTOTLICA
Aristteles (padre de la lgica antigua o clsica), fue el primero en emplear el
trmino Lgica para referirse al estudio de los argumentos dentro del lenguaje
natural. En El Organon (instrumento del pensar) Aristteles la define como el
arte de la argumentacin correcta y verdadera.

El trabajo lgico de todos estos hombres, fue importante y debe ser recordado
como poco sistemtico y fragmentario. Ninguno de ellos fueron sistemticos,
investigadores sostenidos en la inferencia de su propio pensar. Eso parece haber
hecho Aristteles y al final de sus refutaciones sofisticadas, Aristteles reconoce
que en la mayora de los casos descubrimientos nuevos cuenta con labores
previas de otros, por lo que, mientras lo que los otros logran tal vez es pequeo,
pero son de gran influencia.
Aristteles fue el primer lgico en usar variables, esta innovacin fue muy
importante, sin ellas habra sido imposible alcanzar el nivel de generalidad y
abstraccin que l hizo. Muchas de las lgicas de Aristteles fueron concebidas
con cierto tipo de proposiciones que pueden ser analizadas como:
7
Usando un cuantificador ("cada", "alguno" o el universal "no"), un sujeto, una
unin, quizs una negacin, un predicado. Proposiciones analizables (mas tarde
fueron llamadas proposiciones).
En el libro De Interpretaciones (parte del Organon) Aristteles discuti la manera
en la cual las proposiciones negativas y afirmativas con el mismo sujeto y
predicado pueden ser opuestas una a la otra. El observaba que cuando dos
proposiciones son relacionadas como A y E, ellas no pueden ser verdaderas juntas
pero si pueden ser falsas. A estos pares Aristteles los llam contrarios.

La lgica de Aristteles presupuso descubrimientos principales que el
explcitamente no formulo acerca de las relaciones lgicas entre alguna
proposicin cualquiera, independiente de las proposiciones internas analizadas
dentro de la categora de cualquier otra forma.

1.3.3 LGICA POST ARISTOTLICA

Theophrastus de Eresus (371- 286 a.C) sucesor de Aristteles como lder de su
escuela en Atenas; quien dej las nociones de Aristteles de lo posible como
tambin de lo no imposible y adopt nociones alternativas de Aristteles como
simplemente que es no imposible. Esto le permiti una considerable simplificacin
de la teora modal de Aristteles.

As que su conversin de leyes a modal categrico fue exactamente paralela a las
correspondientes leyes de (for assertoric categoricals). Theophrastus tiene
tambin el crdito con investigaciones dentro de los silogismos hipotticos. El
extenso trabajo en esta rea es incierto, pero al parecer l investig una clase de
inferencias llamadas totalmente silogismos hipotticos, en el cual ambas premisas
y la conclusin son condicionales.

Theophrastus fue la primera persona en la historia de la lgica conocida por haber
examinado la lgica de proposiciones seriamente. Pues hasta ese momento no
haba investigaciones sustanciosas dentro de esa rea.
8

En el mundo antiguo, la lgica de Aristteles y sus seguidores fue la corriente
principal. Pero hubo tambin una segunda tradicin de lgica: Megricos y
Estoicos. Los megricos fueron seguidores de Euclides, dentro de lgica el ms
importante megricos fue Doidorus Cronus y su pupilo Philo de Mgara. Los
estoicos fueron seguidores de Zenn de Citium.

El ms importante lgico estoico fue Chrysippus (279-206 a.C.). La influencia de
los megricos en la lgica estoica es discutible, pero muchos detalles son
inciertos. Los megricos se interesaron en la lgica de enigma. Muchas paradojas
han sido atribuidas a ellos. Los megricos tambin discutieron como definir varias
notaciones modales y debatieron la interpretacin de proposiciones condicionales.
Diodorus propuso una interpretacin de proposiciones condicionales sostenido en
la proposicin "Si p, entonces q". A diferencia de los aristotlicos, los estoicos
desarrollaron una lgica proposicional a la desatencin de trminos lgicos. Ellos
se concentraron en proposiciones hipotticas como premisas. Theophrastus ya
haba dado algunos pasos en esta rea pero su trabajo no era de mucha influencia
para los estoicos. Al final la idea de las dos corrientes se redujo a comentarios y
libros para la educacin general.

Posteriormente, no hubo avances importantes en el campo de la lgica durante la
poca medieval por el secuestro de la iglesia catlica a todo campo cientfico. Solo
se observa un gran desarrollo a travs de Leibniz. Leibiniz creo en 1680 el clculo
simblico, que es similar al sistema de George Boole de 1847, y despus de esto
el estudio del clculo simblico fue en gran aumento.

De manera general, se puede decir que ambos fueron los menos influenciados en
la historia de la lgica.

Leibniz (padre de la lgica moderna) mas tarde desarroll un objetivo de diseo el
cual llam "universally characteristic language" (lengua caracterstica universal).
Representara conceptos con el despliegue de ms conceptos bsicos de los
cuales ellos estaban compuestos, adems naturalmente representados (de
9
manera grafica o de dibujos). El concepto de alguna manera poda ser
aprovechado por algunos lectores, no importando su lengua nativa. Otro y distinto
objetivo propuesto a la lgica fue "calculo racional". Leibniz uso 2 notaciones para
expandir el clculo lgico bsico. En su notacin "A B C" indica lo siguiente "A + B
= C" o "A B = C", tomando en cuenta que A, B, Y C son conceptos o propiedades y
no cosas individuales. Leibniz tambin us la yuxtaposicin de trminos que
pueden ser representados de la siguiente manera "A B = C" o "A B = C," significa
que todos los conceptos en ambos A y B constituyen el concepto C.

Como en los inicios de la lgica simblica, incluyendo la mayora desarrollada en
el siglo XIX el sistema de Leibniz tuvo dificultades con declaraciones particulares y
negativas, esto incluy una pequea discusin de lgica proposicional y un
tratamiento no formal de declaraciones cuantificadas relacionales, aunque Leibniz
merece llevarse el crdito por su gran originalidad en su lgica simblica,
especialmente en su lgica de ecuaciones y algebraica. Posteriormente los
trabajos simblicos de Lambert, Ploucquet, Euler y an Boole todos
aparentemente influenciados por Leibnitz o an Bernoulli, mostraron la extensin a
estos trabajos, considerados actualmente como una de las mejores ideas
matemticas.

En el siglo 18 hubo muchas contribuciones al desarrollo de la lgica formal:
Ploucquet, Lambert y Euler, aunque ninguno de ello fue ms all de Leibniz y
nadie influencio a los desarrolladores subsecuentes de la manera en que Boole y
Frege mas tarde hicieron.

Leonhard Euler, populariz tcnicas de dos dimensiones, estas tcnicas y su
relacin con los diagramas de Venn son especialmente importantes en la
educacin de la lgica.

En el mtodo de Euler el rea interior de los crculos representa (intencionalmente)
el concepto ms bsico creando un concepto o propiedad.

10
Los mtodos de Euler fueron sistemticamente desarrollados por Josheph Diez
Gergonne en 1816-17. Por razones complicadas, casi todos los alemanes que
desarrollaron la lgica formal se relacionan con reas de protestantes.

Dos de los ms importantes contribuyentes a la lgica britnica en la primera mitad
del siglo diecinueve. Su trabajo va en contra de lo que hasta esa fecha se haba
logrado por figuras como Whately, George Bentham, Sir William Hamilton y otros.
Boole fue el ms grande formulador de la lgica simblica extensional que hoy en
da se imparte en clases. Public dos trabajos "El Anlisis Matemtico de la
Lgica" en 1847 y "Una investigacin de las Leyes del Pensamiento" en 1854. El
primero representa el resultado de dos corrientes de influencia: la corriente
tradicional y el rpido crecimiento en el siglo diecinueve de discusiones de lgebra
y anticipaciones algebraicas no estndares. Estos ltimos conceptos gradualmente
evolucionaron a lgebra abstracta "no estndar" tales como vectores, lgebra
lineal, quaternions, lgebra boleana.

De Morgan puntualiz y despus fue extensivamente repetido por Peirce y Frege,
que las inferencias relacionales son el corazn o la base de la inferencia
matemtica y el razonamiento cientfico; las inferencias relacionales no son slo un
tipo de razonamiento sino que son el tipo ms importante de razonamiento
deductivo. Tambin se le atribuye a De Morgan la observacin de que la lgica
aristotlica fue intil en mostrar la validez de la inferencia.

Charles Sander Peirce, es el descubridor del lgebra lineal y primera figura
americana significante en la lgica. Su trabajo puede verse como una exploracin
de propiedades formales y abstractas de su relacin lgica distintiva. La utiliz
para expresar la inclusin de clases, el conector de la lgica de proposiciones
"si...entonces", la relacin entre premisas y la conclusin de un argumento.
Abandon los estrictos caracteres algebraicos e increment la notacin utilizando
cuantificadores modernos.

11

Glottlob Frege, joven matemtico alemn (1879) cuya especialidad fue el clculo,
public el mejor libro de lgica simblica del siglo diecinueve "Notacin
Conceptual", contiene un cuidadoso uso de cuantificadores y predicados (aunque
los predicados son descritos como funciones, sugiriendo la tcnica de Lambert); la
notacin de Frege fue nica y problemticamente de dos dimensiones, lo que
ocasion que fuera poco ledo. Frege conoca la importancia de las funciones
matemticas y de que estas forman la base para la notacin de predicados
(funciones).

La lgica en el siglo XX, contempla cinco proyectos empezados en el siglo IX y
fueron continuados en el siglo XX, especialmente en los trabajos de "Principia
Matematica" de Russelll y Whitehead. Estos fueron el desarrollo de un conjunto
consistente o propiedades de teora (originados en el trabajo de Cantor y Frege), la
aplicacin del mtodo axiomtico (incluyendo no-simblico), el desarrollo de
cuantificadores lgicos y el uso de la lgica para entender los objetos matemticos
y la naturaleza de las races de las matemticas. Estos cinco proyectos se
unificaron en un esfuerzo general para usar tcnicas simblicas, algunas veces
llamadas matemticas o formales. La lgica se va convirtiendo en matemtica en
dos sentidos. El primero, en un intento para usar mtodos simblicos como
aquellos que han llegado a dominar las matemticas. El segundo, un propsito
dominante de la lgica, llega a ser usado como herramienta, para entender la
naturaleza de las matemticas- tal como en la definicin de conceptos
matemticos, caracterizando sistemas matemticos o describiendo la naturaleza
de races matemticas ideales.

12

LECCIN N 2
LGICA DE ARGUMENTOS

2.1 ARGUMENTOS
Se concepta como un conjunto de proposiciones coherentes, que necesariamente deben
tener dos elementos importantes: premisas y conclusin.

2.2 ELEMENTOS
Un argumento tiene:

a) Premisas o antecedentes: Son los motivos, causas, razones,
circunstancias, mviles, fundamentos, etc., que nos conduce a un
desenlace.
b) Conclusin o consecuente: Son los efectos, resultados concretos
derivados de las causas. Surgen como respuesta

2.3 RECONOCIMIENTO DE ARGUMENTOS

Para reconocer un argumento necesariamente debemos de encontrar las
premisas y conclusin, sin dejar de identificar en ellas otros elementos
que nos ayudarn a identificar las partes que la conforman:
a) Marcadores: Son trminos que unen las proposiciones
consideradas premisas; es decir, unen una premisa con otra.
Corresponde a la conectiva conjuntiva y o sus equivalentes: porque,
pero, empero, tambin, a la vez, no obstante, sino, ms,
adems, sin embargo, tanto como, etc.
13

b) Indicadores: Son trminos de enlace que sirven para unir las
premisas con la conclusin, o la conclusin con las premisas.
Existen 2 tipos de indicadores:

1) Indicadores de Premisa: Si los trminos dado que, puesto que,
porque, si, en vista de que, ya que, cuando, a condicin de que,
debido a que etc., estn en la parte central de un argumento, entonces
podemos asumir que las proposiciones que estn despus de estos
trminos corresponden a las premisas y las que anteceden son las
conclusiones.
Ejemplo:
El imperio Inca fue una cultura expansionista porque invadi a las
culturas Chimu y Chincha.
2) Indicadores de Conclusin: Si los trminos luego, por lo tanto, en
consecuencia, entonces, por ello, por ende, en conclusin, por
consiguiente, etc., se encuentran en la parte central de un argumento,
entonces las proposiciones que se encuentran antes de estos trminos
son las premisas o antecedentes y a las que aparecen despus
corresponden a conclusin o consecuente.
Ejemplo:
Jeanette Torres estudia Derecho y Ciencias Polticas en la
Universidad Inca Garcilaso de la Vega por lo tanto ser una
eficiente abogada.

2.4 DIAGRAMACIN DE ARGUMENTOS
Todo argumento se diagrama siguiendo el procedimiento siguiente:
a) Leer cuidadosamente todo el argumento para reconocer las premisas,
conclusin, indicadores, marcadores y signos de puntuacin.
14
b) A todas las proposiciones se subraya y numera secuencialmente; a los
indicadores se encierra con un crculo y representa a travs de una flecha vertical
con direccin abajo (), a los marcadores se representa con el smbolo (+).
Nota: En todo diagrama, la conclusin debe ubicarse necesariamente en la parte inferior.

Ejercicios desarrollados: Determinar los argumentos y diagramar:
1) Argumentar es un juego del lenguaje y pensamiento, es decir, una prctica lingstica
sometida a reglas (Wittgestein) que se produce en un contexto comunicativo
mediante el pretendemos dar razones ante los dems o ante nosotros. Las razones
que presentamos para crtica y precisamente a travs de ella llegar a acuerdos
comunicativos.
Respuesta: No es Argumento

2) La qumica es una ciencia esencialmente experimental, por lo tanto en su enseanza
la actividad prctica est ntimamente relacionada con el experimento docente
vinculado a su objeto de estudio; las sustancias y sus transformaciones. En
consecuencia, el experimento qumico juega un papel decisivo en determinados
aspectos del proceso de enseanza de esta ciencia.

Respuesta: Si es argumento:

3) En los ltimos aos la computacin ha tenido un desarrollo acelerado y ha contribuido
en forma notable a la aparicin de nuevas tecnologas y a la organizacin de la
sociedad. Este desarrollo se ha llevado a cabo en un periodo muy corto de tiempo, de
manera que la mayor parte de las personas adultas hoy en da, crecieron teniendo
poco o nulo contacto con las computadoras, percatndose tiempo despus de la gran
importancia que estas tienen, ya que estn presentes en casi todos los aspectos de
nuestras vidas. En consecuencia, esto ha ocasionado que todo el mundo este
familiarizado con las computadoras, pero que por otro lado, sean pocas las personas
que tienen conocimiento de lo que realmente son.

1

2

3
15
2 + 3 + 4

5
1 6
7
4) Las interrelaciones entre crecimiento demogrfico y crecimiento econmico han
originado grandes debates en bsqueda de soluciones al problema del hambre
generalizada que afecta hoy a varios sectores del planeta. Algunos entienden que el
crecimiento de la poblacin es un obstculo para el crecimiento econmico, otros, que
es un estmulo para lograrlo.
Respuesta: No es Argumento

5) El concepto de mobbing est vinculado a la moral; en vista de que, se
refiere en trminos generales a una conducta hostil y carcter de tica
dirigida de forma sistemtica por una persona o un grupo contra otra a la
que se coloca en situacin de indefensin o abandono.
2 + 3

1

16

LECCIN N 3
LGICA PROPOSICIONAL

3.1 PROPOSICIN
Como trmino tiene otras equivalentes, dependiendo del lgico usarlas como: enunciado
o sentencia. Los lgicos aristotlicos prefieren usar juicio u oracin. El papel que cumple
la lgica moderna respecto a la antigua, radica en el manejo de la lgica proposicional
plasmado a travs del lenguaje simblico.

Algunos lgicos consideran que proposicin es equivalente a una oracin. Esta afirmacin
sin embargo, no necesariamente es cierta porque hay oraciones que no son
proposiciones. Ejemplos:

a) Luis Gonzles Acua es periodista
b) Luis Gonzles Acua es una computadora.

Como se puede apreciar, ambas son oraciones porque tienen sujeto, verbo y predicado,
pero, slo a) es proposicin. Por qu b) no es proposicin?. La primera es porque es
posible que Luis Gonzles Acua sea periodista; y de dicha afirmacin es asumida como
tal porque se puede demostrar su verdad o falsedad. Mientras que el segundo ejemplo no
es posible que ocurra, el hombre no es ni ser un artefacto.

En resumen, la proposicin es un enunciado o una expresin que tiene como caracterstica principal de ser
verdadero o falso, y debe cumplir la funcin informativa del lenguaje, debe existir coherencia entre sujeto y
predicado, debe estar sujeto a comprobacin. Por lo tanto, toda proposicin debe estar basada en aspectos
reales, posibles, factibles, probables, realizables
2
.

Ejemplos:
a) La tierra es un planeta del sistema solar
b) Vctor Ral fue un lder poltico continental
c) La gnoseologa es una disciplina filosfica
d) El socialismo es un sistema poltico caduco
e) Francisco Pizarro no fue conquistador sino invasor

2
POMA HENOSTROZA Csar Augusto, (1999)- Lgica, CAPOVI / Editores, Lima Per, pg. 41
17

Nota: La proposicin no debe tener contradicciones ni ambigedades en el contenido de su mensaje.
Ejemplo: Manuel aprob y no aprob el curso de lgica (contradiccin). El espejo del auto (ambiguo)

3.2 PSEUDOPROPOSICIN
Es una expresin que parece ser proposicin, pero se diferencia de esta, porque est
basado en aspectos irrealizables, improbables, no factibles, no posibles. Se relaciona con
la funcin expresiva del lenguaje.

Ejemplos:
a) Yshel Yasmn Poma se fue caminando hasta el sol.
b) Los ptalos de la rosa son inteligentes
c) Los hombres son inmortales
d) Los libros hablan con el lector
e) La bicicleta vuela por el espacio

3.3 EXPRESIONES NO PROPOSICIONALES
Por regla, las expresiones sueltas (que no denotan informacin o son incompletas) como:
maana, el gobierno, San Martn, etc. no son proposiciones porque les falta el predicado.
Tambin las que se encuentran en este grupo las expresiones que se encuentran entre
signos de admiracin e interrogacin as como las que expresan mandatos u rdenes a
cumplirse. Se relaciona con la funcin operativa del lenguaje.

Ejemplos
a) Cinco
b) Auxilio!
c) El hijo de Huayna Cpac
d) La deuda externa
e) Cunto tiempo dur la poca colonial?
f) Jos Carlos Maritegui
g) Presente usted el informe urgente!

18

LECCIN N 4
CLASES DE PROPOSICIONES

Existen varias clasificaciones, pero desarrollaremos el sintctico.

4.1 SIMPLES
Llamados tambin atmicas, mondicas o monarias. Son a su vez de dos tipos:

Predicativas.- Su estructura gramatical est compuesta por un sujeto y un
predicado.
Ejemplos:-
- Jorge Paredes es ingeniero industrial
- El Per es un pas indoamericano

Relacionales.- Su estructura gramatical est compuesta por ms de un sujeto y
un slo predicado.
Ejemplos:
- Romero am a Julieta
- Susar Mariella y Angela Indhira Poma son hermanas
- Piura y Tumbes son departamentos limtrofes.
- Gabriel Castillo es primo de Gonzalo Barreto

4.2 Compuestas.- Llamadas tambin moleculares, son las que estn conformadas por
ms de dos proposiciones simples (predicativas y/o relacionales). Necesariamente una
proposicin compuesta tiene una letra, trmino de enlace o algn smbolo que tcitamente
implica unin.

Ejemplos:
1) La medicina y enfermera son carreras profesionales.
2) Si estudias, aprobars el curso.
3) Hace fro, entonces baj la temperatura.

19
En los ejemplos anteriores: y, , (coma) y entonces son las conectivas o enlazadores.

Las Conectivas Lgicas.- Son conocidas tambin como nexores, functores, smbolos de
enlace, operadores, uniones, conectores, coligantes, etc. Cumplen el papel de unir dos
proposiciones simples para convertirla en una compuesta.

Entre las ms comunes tenemos:
Mondica:
a) La negacin ( no )
Didicas:
b) Conjuncin (--- y ---)
c) Disyuncin dbil (--- o ---)
d) Disyuncin fuerte (O ---, o ---)
e) Condicional (Si --- entonces ---)
f) Bicondicional (--- si solo si ---)
g) Negacin Alterna (--- no o no ---)
h) Negacin Conjunta (--- no y no ---)

ACTIVIDADES:
Determinar si las expresiones siguientes son proposiciones, pseudoproposiciones
o expresiones no proposicionales

01) La economa del pas no mejora -----------------------
02) Los nios juegan muy contentos -----------------------
03) La clonacin es una muestra del avance cientfico -----------------------
04) La carpeta es til en el saln de clases -----------------------
05) Todos los exmenes son fciles -----------------------
06) La noche est muy triste -----------------------
07) Tu mirada dulce me embriaga -----------------------
08) Me he sentado a caminar -----------------------
09) Esta maana habl con Dios -----------------------
10) Mi hermano Nstor es un nmero -----------------------
11) Auxilio por favor! -----------------------
20
12) Cul es tu nombre? -----------------------
13) El libro rojo -----------------------
14) Prohibido fumar -----------------------
15) Te irs a la farmacia a comprar una medicina -----------------------
16) En estos das, todo el viento del mundo sopla en tu direccin -----------------------
17) La medicina es necesaria para combatir las enfermedades -----------------------
18) Los polticos casi siempre incumplen sus promesas -----------------------
19) Todos los limeos son presumidos -----------------------
20) La lgica es una ciencia formal y dialctica -----------------------
21) Solo te pido que con tu luz llenes mi espacio -----------------------
21) No irn de viaje -----------------------
22) Entre el cielo y t no hay diferencia -----------------------
23) Hasta cuando no podr verte corazn? -----------------------
25) En estos das no sale el sol sino tu rostro -----------------------

AUTOEVALUACIN

I) Diagramar el siguiente argumento.

Rosa Garca Salazar llevaba dos aos trabajando intensamente en un guin, pero no
pudo concluir dado que sufra permanentemente de migraa. No obstante, despus de
un ltimo esfuerzo entreg a su editor, ya que la obra se deba estrenar. Rosa Garca
Salazar recuper el crdito de sus lectores y obtuvo un premio al mejor guin original.

II) Teniendo en cuenta el siguiente diagrama elaborar un argumento usando
trminos de su carrera.

2 + 3

1

4

III) Escribir si es proposicin (1), pseudoproposicin (2) y expresin no
proposicional (3).

21
3.1 La msica es un arte que no todos podemos componer ( )
3.2 Algunos pensamientos son claros y oscuros ( )
3.3 Ciertos nios, jvenes y adultos ( )
3.4 El puente entre la vida y la muerte es solo un segundo ( )

BIBLIOGRAFA
AGAZZI, E. HERDER.. 1967. Introduccin a la Lgica.
COPI, IRVING. EUDEBA. 1987. Introduccin a la Lgica.
POMA HENOSTROZA, Csar. 1988. Lgica.

Primera Unidad PDF

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Primera Unidad PDF

Diunggah oleh

Hak Cipta:

Format Tersedia

Apuntes de Lgica

Anda mungkin juga menyukai