Usta
1983
1.14 Resumiendo: la lgica, segn lo que hemos visto, se ocupa del pensamiento
expresado en un lenguaje preferentemente escrito en cuanto formalmente correcto. En
qu consiste la correccin formal del pensamiento?
1.15 Cuando pensamos vamos de verdades conocidas al descubrimiento de verdades an
no conocidas
1.16 En un problema matemtico, por ejemplo, lo conocido son los datos y lo desconocido
es la solucin
1.17 Este proceso del conocimiento humano se llama comnmente demostracin,
raciocinio, razonamiento, etc. Nosotros lo nominaremos discurso.
1.18 Por ejemplo, el proceso empleado para llegar, a partir de los datos, a la solucin, es
un discurrir o discurso
1.19 Los datos de un problema, en lgica, se denominan premisas, y la solucin se llama
conclusin
1.20 As como en un problema llegamos a lo desconocido a partir de lo conocido, en lgica
llegamos a la conclusin a partir de convenientes premisas
1.21 Dado que la conclusin se saca de las premisas, podemos decir que est contenida o
implicadas en ellas.
1.22 Implicar quiere decir contener y estar implicada significa estar contenida
1.23. Entonces, dado que de alguna manera la conclusin est implicada en las premisas,
podemos decir que puede ser sacada o inferida de ellas.
1.24 Inferir es lo mismo que sacar de unas premisas dadas una conclusin
1.25 Cuando la conclusin est correctamente inferida de las premisas, decimos que es
formalmente correcta
1.26 Y, dado que sedo se puede dar lo que se tiene, la conclusin est bien inferida
cuando est efectivamente implicada en las premisas
1.27 La efectiva correspondencia entre inferencias e implicaciones se denomina en lgica
correccin o verdad formal. Lo contrario ser error o falsedad formal.
1.28 En la solucin de un problema el error puede originarse a) en la inexactitud de los
datos o falsedad de las premisas (error material o de contenido), b) en no seguir las reglas
del proceso, lo cual constituira un error formal
1.29 Por ejemplo, la operacin-suma se rige por unas reglas que determinan la forma
correcta de realizarse y que de no seguirse se cae en un error de forma o formal.
Pero puede suceder que la suma est formalmente bien hecha y el resultado no sea
materialmente correcto, ya que los datos pueden ser inexactos.
1.30 De modo anlogo, en el siguiente discurso:
Todos los animales tienen cuatro patas,
es as que los hombres son animales:
luego los hombres tienen cuatro patas.
La conclusin es materialmente
falsa, porque la premisa primera es por razn de su
contenido o significacin materialmente falsa.
1.31. Pero, en el ejemplo anterior, el lgico dira que pese a que se trata de un caso con
errores de contenido o materiales
sin embargo, el discurso es correcto formalmente,
porque no peca contra ninguna de las reglas lgicas del silogismo, que ms adelante
veremos.
1.32 El lgico, en cuanto tal, no responde por la verdad o falsedad material de los
contenidos o significaciones, sino por la correccin formal en las operaciones, segn reglas
de inferencia.
1.33 Por dicha razn, la lgica se ha denominado desde siempre LOGICA FORMAL.
1.34 La lgica formal se presenta bajo dos formas distintas: simblica y no simblica.
1.35 Cuando las inferencias se expresan en smbolos cuasimatemticos, distintos a los
usuales en el lenguaje cotidiano, se trata de una lgica simblica
1.36 Cuando las inferencias se exponen mediante reglas y ejemplos tomados del lenguaje
usual, sin hacer uso generalizado de smbolos especiales, entonces tenemos una lgica no
simblica
1.37 La lgica creada por Aristteles y perfeccionada por los Estoicos y Escolsticos, es
decir la lgica tradicional, es un modelo de lgica no simblica o filosfica.
1.38 La lgica creada por BOOLE, FREGE, RUSSELL, etc., que utiliza en su desarrollo un
lenguaje artificial semejante al de las matemticas, ser una lgica simblica
1.39 A diferencia de la lgica tradicional, que fue creada por filsofos, la lgica simblica,
creada por matemticos con el fin de encontrar el ltimo fundamento de las matemticas,
se llama, por dicha razn, lgica matemtica
1.40 En realidad, la lgica aristotlica y la lgica moderna no son dos ciencias distintas,
sino dos formas de una misma ciencia: la una ms intuitiva, la otra ms formalizada.
1.41 Ambas formas de la lgica son de tipo deductivo. Deducir consiste en inferir verdades
particulares contenidas en juicios o leyes universales. Por ejemplo, de la verdad: "todo
humano es mortal" puedo deducir que los pastusos son mortales
4
Lectura
5
II
6
posiciones atmicas del tem 2.7 quedaran convertidas en moleculares as: Cali y Medelln
son ciudades colombianas.
2.9
En el ejemplo anterior, la partcula "y" nos sirvi para unir o conectar dos
proposiciones atmicas.
2.10 La partculas que relacionan unas proposiciones con otras se denominan conectores.
Por tanto, toda proposicin molecular est necesariamente determinada o afectada por uno
o varios conectores
2.11 Observe los siguientes ejemplos de proposiciones moleculares:
Bolvar Y San Martn son dos grandes libertadores.
Se necesita empleada que sepa francs Y/0 ingls.
Una de dos: O nos casamos O terminamos el noviazgo.
SI es antioqueo, ENTONCES es colombiano.
Ir al Campn SI, Y SOLO SI, juega Santa Fe.
NI corta, NI presta el hacha.
Es INCOMPATIBLE ser a la vez colombiano Y paquistan.
Las partculas escritas en maysculas son conectores porque relacionan unas
proposiciones con otras.
12 La partcula NO, tambin se considera en lgica conector, porque, aunque no conecta,
afecta negativamente a proposiciones atmicas por separado, a relaciones entre
proposiciones.
3 Por ejemplo, en "no llueve" el conector afecta a la proposicin atmica llueve; en cambio,
en el siguiente ejemplo: "No es el caso que nieve y haga calor", la negacin est afectando
a la unin de las proposiciones: no es el caso que (nieve Y haga calor)
2.14 Resumiendo, las partculas que llamamos conectores son:
Conector
Nombre
No
Negacin
y
Conjuncin
y/o
Disyuncin inclusiva
o.o
Disyuncin exclusiva
Si, entonces
Condicional
Si, y solo si
Bicondicional o coimplicacin
Ni..ni
Conjunta o binegacin
Incompatible y
Incompatibilidad
2.15 En los ejemplos que siguen subraye las partculas que son conectores:
Luis estudia, pero no aprueba.
Si tiene ttulo y/o experiencia entonces ser admitido.
Necesariamente est vivo o muerto, si, y slo si, la vida y la muerte son dos
realidades incompatibles.
Ni hace ni deja hacer, pero se las da de buen ejecutivo.
2.16 Pues bien, la parte de la Lgica que estudia los diversos modos de relacin de las
proposiciones en un discurso, sin entrar en el anlisis de la estructura de las mismas, se
denomina LOGICA PROPOSICIONAL, sentencial o de enunciados. Proposicin, sentencia
o enunciado son trminos sinnimos
2.17 Por ejemplo, sea el discurso:
Si todos los pastusos son colombianos,
entonces no existen pastusos ecuatorianos;
A la lgica proposicional, en este caso, le interesa solamente el anlisis de los conectores
"si... entonces no..." que unen las proposiciones:
todos los pastusos
existen pastusos
2.18 A un segundo nivel, la lgica puede entrar al anlisis de elementos tales como:
sujeto y predicado (pastusos, colombianos, ecuatorianos)
extensin de los trminos (todos), etc.
Del anlisis interno de los mltiples trminos que componen las proposiciones se ocupa
parte de la lgica, llamada de PREDICADOS de trminos
2.19 Ahora bien, toda ciencia, para informar con mximo rigor acerca de su objeto,
necesita apartarse de las ambigedades del lenguaje idiomtico y forjar sus propios
trminos tcnicos o terminologa. Adems, si se trata de una ciencia formal, como las
matemticas y la lgica, elabora sus propios smbolos o simbologa
2.20 En Lgica proposicional simbolizamos las proposiciones atmicas mediante letras
proposicionales tales como: P, Q, R, S. P', Q', R', S', etc. o, en forma libre, con cualquier
otra letra mayscula del alfabeto romano como A, D, M, T segn convenga.
2.21 Por ejemplo, en la proposicin molecular: "Si Juan viene, entonces vamos al cine",
podramos representar
Juan viene, porP
Vamos al cine, por.Q
Entonces, la anterior proposicin se podra simbolizar, sustituyendo las proposiciones por
las letras: si P entonces Q
2.22 Para simbolizar los diferentes conectores se utilizan los siguientes smbolos:
Signo
v
.
w
Nombre
Negador
Disyuntor inclusivo
Conjuntor
Disyuntor exclusivo
Condicionador o implicador
Bicondicioador o coimplicador
Binegador o flecha de sheffer
Anticonjuntor o barra de sheffer
Se lee
no
o
y
o..o
si, entonces
si y solo si
ni, . ni
incompatible
2.23 Las siguientes proposiciones moleculares constan cada una de dos proposiciones
atmicas representando con P la primera y con Q la segunda y utilizando los smbolos de
los conectores, que acabamos de ver; escriba la frmula correspondiente a cada caso:
(RESPUESTA A LA DERECHA)
Per y Chile son pases andinos ...P
Sartre es filsofo y/o literato P v Q
Una de dos: o vienes o voy P w Q
Si vienes vamos al cine .P Q
Me casar si, y slo si, terminas la carrera....P Q
Ni hace, ni deja hacerP Q
No puede haber (es incompatible) paz con injusticias...P Q
2.24 Dado que es posible negar, adems de proposiciones atmicas tambin los
conectores que unen proposiciones entre s, simbolice los ejemplos siguientes:
En ciertos lugares de Amrica nunca llueveP
No es el caso que (Cuzco y Puno sean ciudades chilenas)(P.Q)
No ocurre que (por miedo a controles oficiales no suban los precios) (P
Q)
2.25 En dos de las frmulas, la utilizacin del parntesis es necesaria para indicar que el
negador est afectando la unin de ambas proposiciones
2.26 De modo anlogo al lgebra, en lgica, para determinar el alcance de los diversos
conectores en frmulas macro-moleculares, se utilizan los siguientes signos de agrupacin:
cuyo nombre es:
parntesis ( )
corchetes [ ]
llave { }
2.27 En el siguiente ejemplo: "Si Juan recibe el mensaje y an est interesado, entonces
con seguridad viene", cuntas proposiciones atmicas se deben distinguir?: tres
10
11
&
et
o
v
oo
w
sie
sii
Nini
imcomp
NOTA: En adelante emplearemos "sie" como abreviatura de "si, entonces" y "sii" de "si y
slo si...".
12
Lectura
Lgica y Lenguaje Idiomtico
Tomado de: MARQUINEZ, Germn y Hoyos
Matemtica, Bogot, Ed. USTA, 1974, pp. 108-110.
Gregorio.
Lgica
Por otra parte, no es menos difcil reconocer cmo funciona una determinada expresin
atendiendo solamente a la materialidad de la misma. El hombre es un animal poltico y
diplomtico que casi nunca dice las cosas in recto, sino a travs de rodeos y con segundas
intenciones. Con frecuencia no se nos revela el sentido de una expresin sino atendiendo
a la intencin del que habla. Para ilustrar estas sutilezas del' lenguaje usual bastarn
algunos ejemplos.
Cuando una mam le dice al pequeo, que sigue pegado a las sbanas:
Mi hijo, son las siete!, hace algo ms que darle una informacin.
Informativamente le insta a levantarse para ir al colegio.
Cuando el esposo le pregunta a la seora, que se est arreglando:
Mi amor, qu hora es?
lo hace para que ella se entere, mirando al reloj, y se d prisa. La
pregunta en este caso equivale a una informacin y a una orden.
Cuando al trmino de un discurso largo y aburrido felicitamos al orador de turno:
El discurso ha estado brillante
es evidente que se trata de una expresin de cortesa o adulacin de tal manera
que obrara ingenuamente si la tomara como una informacin objetiva.
Finalmente, para no multiplicar sin fin los usos hbridos, cuando un cliente le dice al
camarero:
Me gustara tomar un whisky
hara mal ste si tomara la expresin como un deseo platnico y no como un
mandato.
Si bien nos fijamos, salvadas las dificultades descritas, vemos que slo las expresiones del
lenguaje en funcin informativa tienen la propiedad de ser verdaderas o falsas. De las
restantes expresiones una pregunta, un mandato, un deseo, etc. podr decir que son
oportunas o inoportunas, adecuadas o inadecuadas, justas o injustas, pero nunca
verdaderas o falsas.
A las expresiones del lenguaje informativo las llamaremos proposiciones. A las que
pertenecen a las restantes funciones se conocen como simples oraciones gramaticales. El
lgico no se ocupa de estas ltimas, ni tampoco de las proposiciones en cuanto oraciones,
sino de las proposiciones en cuanto tales. Esta sera una de las diferencias esenciales
entre el punto de vista del lgico y del verdadera o falsa la expresin en cuestin. Por
ejemplo, no tiene sentido afirmar que sean verdaderas o falsas las siguientes expresiones:
Prohibido fumar
Ojal haga buen da maana
Qu hora es?
14
Desde antiguo se conoca esta distincin que deslinda el quehacer del lgico del quehacer
del gramtico. A este propsito, escriba Aristteles: "No toda oracin es una proposicin;
slo aquellas que contienen verdad o falsedad. De tal suerte, una splica es una simple
oracin, porque ni es verdadera ni falsa".
Nuestra lgica es por tanto una lgica de la informacin, es decir, de la razn discursiva.
No negamos que la voluntad y el corazn tengan su propia lgica, pero estos campos
estn an poco explorados. Aparte de la literatura, relativamente abundante, sobre lgicas
jurdicas, cf. "Hacia una lgica de las preguntas", captulo XX, muy interesante, del libro: F.
WAISMANN, Los principios de la filosofa lingstica, Mxico, Ed. UNAM, 1970. Dichos
trabajos revelan que no est cerrada la puerta de la comprensin lgica de las otras
funciones del lenguaje).
Hablar, incluso solamente en funcin informativa, es una operacin muy compleja. El
lenguaje, ha escrito Ortega y Gasset, es un sacramento de muy difcil administracin. Con
frecuencia nos sirve ms para encubrir que para descubrir lo que pensarnos "El lenguaje
disfraza el pensamiento Y de tal modo que por la forma externa del vestido no es posible
concluir acerca de la forma del pensamiento disfrazado" (Wittgenstein). Por esta razn, es
muy difcil captar de inmediato la lgica subyacente al lenguaje idiomtico.
El lenguaje lgico es la expresin de la lgica inherente al discurso idiomtico, el esqueleto
que lo vertebra. Est dentro, no se ve a simple vista pero sin l el discurso sera un montn
informe de palabras sin coherencia ni sentido y la conversacin un hablar entre locos. El
lenguaje lgico en cuanto expresa las puras formas del discurso es una abstraccin. No
existe un lenguaje lgico al lado del lenguaje idiomtico. Toda la realidad que expresa el
lenguaje lgico se encuentra dentro, inherente y subyacente al pensamiento que adems
de formas, conlleva contenidos. Esto no obsta para que el lgico, como el matemtico,
pueda prescindir de los contenidos para dedicarse al estudio de las formas discursivas.
En el estudio de las formas lgicas, a partir de las formas gramaticales, el lgico tropieza
con una dificultad: la pluriforme riqueza de stas. El lenguaje idiomtico es exuberante en
forma y muy rico en matices. El lenguaje lgico debe traducirlas a unos pocos modelos
unvocamente determinados en su significacin. En esta traduccin se pierde gran parte de
la riqueza de aqul, pero se gana en seguridad y potencia generalizadora.
EJERCICIOS
15
RESPUESTA
PQ
PQ
PvQ
PwQ
PQ
P Q
(P v Q) R
(P Q)R
P (Q R)
(P Q) R
P (Q R)
ESCRIBE LA RESPUSTA
P y no Q
PoQ
oPoQ
si P entonces Q
P si, y slo si,
P o Q, entonces R
P y Q, entonces R
si no P, entonces Q y R
ni P ni Q, y (pero) R
si P, entonces Q y R son incompatibles
16
EJERCICIO
a) Si no P entonces Q o no P
b) No es el caso que P y no P
c) O P o no Q, y no Q, entonces: no P
d) P o Q, si y slo si, Q o P
e) No P implica no Q, y slo si, Q implica P
f) Si no P, entonces P
g) Ni P ni Q, si y slo si, no P y no Q
h) Si no es el caso que P y Q, entonces P
incompatible Q
i) Si P entonces Q, y si Q entonces no R,
entonces: si P entonces no R
j) No es el caso que o P o Q, implica, P si y slo si
Q
k) Si P entonces Q, implica: R o P, implica, R o Q
RESPUESTA
P (Q v P)
(P P)
[(P w Q) Q] P
(P v 0) (Q v P)
( P Q) (QP)
PP
(P Q) ( P Q)
(P Q)(PQ)
[(PQ) (QR)] (P R
(P w Q) ( P Q)
(P Q) [(R v P)(R v Q)]
(R v 0)]
PQ
P(P vQ)
(P v P) P
( P P)
[(PQ)w(P.Q)]
(P wQ)[(PQ).(P
Q)]
(R v Q)[(QP).(
RQ)]
{[(PR).(QR].(P v Q)}R
5. Seale con una "O" las simples oraciones y con una "P" las oraciones que son proposiciones, (Respuesta a la derecha)
a)
iCunto me agradara!
b)
iOjal no me llame!
c)
Cmo te llamas?
d)
e)
P
0
17
f)
g)
Si l quisiera?
h)
Me llamo Luis
i)
Me gustara verte
j)
Publquese y cmplase
III
MATRICES O TABLAS DE VERDAD
3.1 Toda proposicin atmica necesariamente o es verdadera o, por el contrario, es falsa o
18
verdadera
3.2 Por ejemplo, de la proposicin "Bolvar naci en Caracas" se puede decir que tiene la
propiedad de " que es verdadera, y de "San Martn naci en Quito que es falsa
3.3 Cuando una proposicin atmica es verdadera se dice que es portadora de "valor de
verdad verdadero", que simbolizaremos mediante el nmero 1. De la proposicin "Bolvar
naci en Caracas" podemos decir que tiene valor de verdad verdadera o que vale 1
3.4 Cuando una proposicin atmica es falsa se dice que tiene "valor de verdad falso", que
se simboliza mediante el nmero 0. As la proposicin "San Martn naci en Quito" tiene
valor de verdad falso o vale 0
3.5 Si unimos las dos proposiciones atmicas anteriores obtenemos la proposicin
molecular "Bolvar naci en Caracas y San Martn en Quito", cuyo conector es la partcula
"y" que recibe el nombre de conjuntor
3.6 La anterior proposicin molecular, como totalidad, evidentemente es falsa, puesto que
una de las proposiciones es falsa.
3.7 Como regla general, la verdad o falsedad de una proposicin molecular cualquiera
depende de la verdad o falsedad de las proposiciones atmicas que la componen, teniendo
en cuenta la naturaleza del conector que las relaciona.
3.8 Volviendo a la conjuncin: si "Cali es una ciudad colombiana" vale 1, y si "Medelln es
una ciudad colombiana" vale tambin 1; entonces "Cali y Medelln son ciudades
colombianas" es una proposicin molecular que tiene valor de verdad 1.
3.9 "Lima y Bogot son ciudades colombianas", como proposicin molecular, vale
evidentemente 0, porque la primera de las proposiciones atmicas es falsa.
3.10 De anloga manera, "Pasto y Buenos Aires son ciudades colombianas" resulta ser
una proposicin molecular con valor 0, porque la segunda proposicin atmica es falsa.
3.11 Finalmente, "Tegucigalpa y Mxico son ciudades colombianas" es una proposicin
molecular con valor 0, porque las componentes son falsas.
3.12 Observando stos y otros ejemplos de proposiciones conjuntivas, podemos concluir
que para que la conjuncin sea verdadera es necesario que las atmicas componentes
sean verdaderas en todos los casos; la proposicin molecular, por el contrario, ser falsa si
alguna de las proposiciones atmicas unidas conjuntivamente es falsa.
3.13 Teniendo en cuenta que las letras P y Q representan dos proposiciones atmicas, sus
posibles valores de verdad, si las relacionamos entre s, pueden ser:
Verdadera verdadera
Falsa verdadera
Verdadera falsa
Falsa falsa
Esto supuesto, ponga los valores correspondientes al conjuntor en cada uno de los cuatro
casos:
19
P
1
0
1
0
Q
1
1
0
0
PQ
1
0
0
0
Q
1
1
0
0
PwQ
0
1
1
0
20
P
1
0
1
0
Q
1
1
0
0
PvQ
1
1
1
0
Q
1
1
0
0
PQ
1
0
0
1
Q
1
1
0
0
PQ
1
1
0
1
Q
1
1
0
0
PQ
0
0
0
1
P
1
0
1
0
Q
1
1
0
0
PQ
0
1
1
1
3.37 En cuanto al negador es evidente que cambia los valores (verdadero o falso) a signo
contrario, por ejemplo:
Bolvar naci en Caracas, vale1
Bolvar no naci en Caracas, vale.0
Bolvar muri en Caracas, vale..0
Bolvar no muri en Caracas, vale1
3.38 Entonces, la tabla para la negacin ser si P vale 1, no P vale 0 y viceversa.
P
1
0
P
0
1
Formas
idiomticas
Ejemplos correspondientes
no
in
El Magdalena es un ro incontrolable.
im
des
Es un pintor desconocido
dis
anti
No se da el caso
que
No sucede que
nieve en Bogot
No ocurre que
sepa la leccin
No es verdad que
Nunca . . .
me toca la lotera
Jams.
miente Ricardo
nada
espacial es espiritual
ningn
Ni . . . ni . . .
No tampoco.
no venga el director
Observaciones:
La forma ms sencilla y natural de negar consiste en anteponer al verbo de la proposicin
la partcula "no". En todo caso, para que una proposicin sea negativa, la negacin debe
afectar de manera directa o indirecta al verbo o predicado, y no al sujeto, por ejemplo: no
llover perjudica al agricultor, es afirmativa.
En el lenguaje idiomtico no siempre dos negaciones afirman; a veces se refuerzan
mutuamente, por ejemplo:
No s nada
No lo har nunca
No, no ha venido tu amigo
La negacin no slo niega proposiciones, sino tambin los conectores biargumentales
mediante los cuales unimos unas con otras. Ejemplos:
No es verdad que (si nieva hace calor) No ocurre que (estudie y no
apruebe)
Es falso que (ni hace ni deja hacer)
No se da el caso que (no me visite o no me escriba).
Aunque el ni... ni... tiene su propio conector (), sin embargo se puede representar
24
Ejemplos correspondientes
Cali y Medelln son ciudades millonarias
Colombia, Ecuador y Venezuela son productores de petrleo
Bogot, Quito, Lima, Santiago son capitales
Luis estudia, tambin Pedro
En Cali hace calor, igualmente en Cartagena.
En Pasto hace fro, del mismo modo en Tunja
En Miami hace calor, mientras que en N.Y. fro.
Andrs tiene novia, pero no se casa de momento
Federico corre, mas sin suerte
Ricardo no viene, sin embargo escribe todos los meses
Francisco no estudia, no obstante tiene la intencin de hacerlo
A pesar del buen tiempo, no puede salir.
Pese a que lo sabe, no lo puede decir
La situacin en Bolivia no es buena, tampoco en Uruguay
Observaciones:
En el lenguaje usual unimos conjuntivamente dos o ms proposiciones cuando hay entre
ellas cierta afinidad. Quedan descartados usos tales como: Pars es la capital de Francia
y la yuca es muy sabrosa; Bogot est a 2.600 m de altura y Carlos Marx escribi El
Capital, etc... La lgica empero no est sujeta a esta limitacin idiomtica. Basta que dos
proposiciones sean verdaderas para que puedan ser unidas conjuntiva-mente, porque la
lgica vaca las proposiciones de contenidos.
La conjuncin expresa con frecuencia una relacin entre dos o ms trminos. En tal caso
es intraducible en el lenguaje proposicional, a no ser que desdoblemos las
proposiciones. Pedro y Roberto son iguales, equivaldra a: Pedro es igual a Roberto y
Roberto es igual a Pedro.
25
Con frecuencia sucede que la conjuncin, adems de unir varias proposiciones, tiene
sentido temporal o indica sucesin. En tales casos, el orden de las proposiciones n es
indiferente. As, no es lo mismo: Tuvieron doce hijos y se casaron, que: se casaron y
tuvieron doce hijos. Vino, vio, venci, perdera su significacin si ordenamos las palabras
de otra manera: venci, vio, vino. Por razn de dicho matiz temporal no es posible en el
lenguaje idiomtico hacer conmutaciones en todos los casos. La lgica, al prescindir de
dicho matiz, no est sujeta a esta restriccin.
Pero, mas, sin embargo, etc... son partculas conjuntivas con carcter adversativo;
establecen cierta oposicin entre las proposiciones que conjuntan. Dicho matiz, gramaticalmente importante, carece de importancia en lgica.
La partcula "o" del lenguaje idiomtico es con frecuencia ambigua, debido a que puede
tener hasta tres sentidos distintos, discernibles no tanto por razn de las formas, cuanto
por la materia, la circunstancia y la intencin del que habla. Estos tres sentidos son
Disyuncin inclusiva o dbil, ordinariamente expresada en latn por la partcula vel de
cuya primera letra viene el smbolo v). en esta interpretacin la disyuncin significa que
al menos uno de los disyuntos es verdadero. Pueden por tanto, serlo ambos, lo nico
que se excluye es que ambos sean falsos (Cf. tablas). Hoy es corriente expresar este
sentido mediante el signo "y/o".
Disyuncin exclusiva o fuerte, ordinariamente expresada en latn mediante el aut aut
(de donde deriva el "o"), significa que al menos uno y slo uno de os disyuntos es
verdadero. Se excluye que puedan ser ambos verdaderos o ambos falsos.
La incompatibilidad (simbolizada en el lenguaje lgico mediante la barra de Sheffe), se
suele expresar en el lenguaje idiomtico tambin mediante el "o". Lo que se dice en tal
caso es que ambos disyuntos no pueden ser verdaderos, pero se admiten todos los
dems casos, incluso que ambos sean falsos. (Cf. Tablas).
Formas idiomtica
o
o
o
Oo
Una de doso
y/o
Ejemplos correspondientes
Se necesita empleado que sepa francs o ingls (inclusiva)
Borman est vivo o muerto (exclusiva por razn de la materia).
Es catlico o protestante (incompatilidad, si lo que se quiere decir
es que no se puede ser ambas cosas a la vez, pero se admite que
pudiera ser una tercera, ortodoxo por ejemplo)
O es colombiano o es cubano (exclusiva).
Una de dos: o gano o me retiro definitivamente (exclusiva).
Se necesita profesor con ttulo y/o experiencia (inclusiva).
Observaciones:
En la literatura, sobre todo jurdica, est muy generalizado el uso del y/o para evitar
equvocos.
Cuando se duplica el o... o... y sobre todo cuando la duplicacin se introduce en forma
"una de dos: o... o " es seguro que se trata de una disyuncin intencionalmente
26
exclusiva.
En el lenguaje lgico es corriente prescindir del "o" exclusivo. El "y" representara lo que
tienen de comn ambas disyunciones, es decir, que al menos un disyunto es verdadero.
En este caso para expresar la disyuncin exclusiva, cuando haga falta, se recurre a la
frmula: (P v Q) (P Q)
La implicacin material es un concepto lgico que expresa un mnimo comn que se da
en todas las condiciones del lenguaje idiomtico. El antecedente y el consiguiente de
una condicional pueden estar ligados de muchas maneras:
Si pongo la mano sobre el fuego, entonces me quemo (enlace causal)
Si es una recta, entonces.es la distancia ms corta (enlace por
definicin) Si gana nuestro equipo, entonces hacemos fiesta (enlace por
decisin)
Si viene el lunes, entonces an llega a tiempo (enlace por cincunstancia
temporal)
Estos y otros matices (causacin, definicin, decisin, circunstancia, etc...) no se tienen
en cuenta en la implicacin material. Esta no dice de qu manera estn unidos
antecedente y consiguiente, sino tan slo que si es verdadero el antecedente, lo tiene
que ser igualmente el consiguiente, puesto que en caso de no serlo la implicacin
material ser falsa. Ella presenta varias formas idiomticas.
Forma idiomtica
Si, entonces
Si,
, si
Suponiendo que
Si de hecho
Si por hiptesis
Con tal que
Aun en el caso que
Aunque
Ejemplos correspondientes
Si nieva, entonces hace fro
Si vienes, vamos al cine.
Luis estudia, si hay examen
Suponiendo que gane Cochise, hacemos fiesta.
Si de hecho sale el sol, hace calor.
Si por hiptesis A, entonces B.
Con tal que estudie, Luis aprueba.
Aun en el caso que llueva, voy.
Aunque haga mal tiempo, no pierdo clases.
Observaciones:
La partcula causal porque, que juega un papel tan importante en el discurso idiomtico,
no constituye una funcin de verdad, y por tanto no tiene inters lgico, debido
precisamente a la relacin causal que expresa. Prescindiendo del carcter de causacin,
podran ser expresadas las causales en trminos de si. . , entonces. . . . pero ya no
seran causales. Sea por ejemplo: Scrates es mortal, porque es hombre, podra ser
expresado condicionalmente: si Scrates es hombre, entonces es mortal, y es hombre,
luego es mortal.
Lo mismo se puede decir de las partculas consecutivas o ilativas: Luego, pues, por
consiguiente, por tanto, as que, etc.
La bicondicional, tambin llamada complicacin, no presenta mayores dificultades, si se
27
Ejemplos correspondientes
Nieva si, y slo si, hace fro.
Ir al Campn, solo si hace buen tiempo.
Me duermo nicamente si no hay ruidos.
Ir a la corrida solo en el caso que toree el Cordobs.
Para que vaya a la corrida es necesario que toree Cceres.
Si no juega Santa Fe, entonces no voy al Campn.
a)
b)
Para realizar bien el trabajo aconsejamos, al menos tratndose de principiantes, dar los
pasos siguientes:
a.
b.
c.
d.
e.
28
a) Elementos extralgicos:
" iQu dolor! saber que la biblioteca de Alejandra, que atesoraba miles de volmenes de
los grandes genios de Grecia y Roma, fue quemada por Omar en virtud de una
argumentacin tan absurda como la que sigue" ... "se deca el gran guerrero" ... "porque
estn de ms ya que nada nuevo aaden" ... "porque en este caso lo contradicen o van
contra el Corn".
b)
c)
Asignacin de letras:
"Dicen lo mismo que el Corn"..P
"No dicen lo mismo que el Corn" P
"Hay que quemarlos" .R
d)
e)
(entonces R) = R
Hechas estas sustituciones obtenemos la frmula:
{[(P w P) (P R)] ( P R} R
Omar discurra lgicamente. Lo absurdo del argumento se debe a la materia, no a la
forma misma del discurso. En cuanto a la forma, la anterior es una argumentacin que
se llama Dilema Simple (Cf Unidad y).
Si hace sol, la casa est caliente; no est la casa caliente, por consiguiente
no hace sol.
2.
3.
4.
Si tengo tiempo y dinero, voy a la fiesta; tengo tiempo pero no dinero, luego
no voy a la fiesta.
5.
Si vienen Ana y Rosa, voy de paseo; voy de paseo, luego vienen Ana y
Rosa.
6.
Una de dos: o voy al cine o al teatro; no voy al teatro, luego voy al cine.
30
7.
Luis sabe francs o ingls o ambos; no sabe ingls, por consiguiente sabe
francs.
8.
9.
10.
11.
12.
13.
Si Santo Toms tiene razn, Dios es el fin del hombre; si Epicuro tiene
razn, el placer es el fin del hombre; uno y otro tienen razn; por
consiguiente, Dios o el placer constituyen el fin del hombre.
14.
15.
16.
17.
18.
31
IV
ANALISIS DE CERTEZA
4.1Sea una proposicin cualquiera representada por la letra proposicional P.
Todos los posibles valores de verdad asignables a dicha letra son verdadero o
falso o sea: 1- 0
4.2 Podramos, entonces, colocar debajo de P, en forma de columna, dichos
valores, y quedara as:
P
1
0
32
P
Verdadero
falsa
verdadera
falsa
Q
verdadera
verdadera
falsa
falsa
Representables por:
P
1
0
1
0
Q
1
1
0
0
4.4. Los anteriores son ejemplos de columnas de referencia. Las columnas de referencia
ofrecen todas las posibles combinaciones de valores de verdad, representados por 1 - 0
para una, dos o ms
proposiciones relacionadas entre s.
4.5. El nmero de posibles combinaciones de valores de verdad se establece por
frmula 2n, donde el exponente "N" representa el nmero de letras proposicionales que
entran en relacin; la base, el nmero de Valores que en lgica bivalente son dos. Por
ejemplo, las combinaciones posibles para:
P
seran 21 =
P Q
seran 22 =
P Q R
seran 23 =
P Q R S
seran 24 =
16
P Q R S
P
seran 25 =
32
4:6. Las columnas de referencia para tres letras proposicionales seran las siguientes
ocho combinaciones posibles:
P
1
0
1
0
Q
1
1
0
0
R
1
1
1
1
33
1
0
1
0
1
1
0
0
0
0
0
0
Q
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
0
R
1
1
1
1
0
0
0
0
1
1
1
1
0
0
0
0
S
1
1
1
1
1
1
1
1
0
0
0
0
0
0
0
0
4.10 .Las columnas de referencia que hemos aprendido a construir, se pueden aplicar a
la solucin de mltiples problemas combinatorios. En lgica se emplean para conocer
todos los posibles valores de los argumentos de una frmula dada. A continuacin
construya las columnas de referencia de uno a cinco argumentos. Deben ser 32.
4.11. Supuestas las columnas de referencia, entre los mtodos que permiten conocer los
valores de verdad de una frmula macromolecular cualquiera, est el llamado mtodo en
cruz. que usted mismo va a realizar, siguiendo las siguientes indicaciones:
4.12 Trace una cruz:
4.13 En la parte superior derecha de la cruz escriba la frmula: si P, entonces P v Q
34
P (P v Q)
4. 14. En la parte superior izquierda escriba tantas letras o argumentos cormo tiene la
frmula:
4. 15. Debajo de las letras en la parte inferior izquierda escriba las columnas de
referencia correspondientes a dos argumentos:
4.16 Establezca a continuacin los valores del disyuntor teniendo en cuenta las
columnas de referencia y las tablas de verdad para dicho conector:
4.17 Los valores obtenidos bajo el disyuntor definen el valor del parntesis. Dado que el
implicador une a P con dicho parntesis, para establecer los valores del implicador
relacione usted mismo los valores de P con los del disyuntor, para obtener como
resultado final: Observe el ejemplo:
P
1
0
1
0
1
1
0
0
P(P v
Q)
1
1
1
1
1
1
1
0
4.18 Observe que a partir de las columnas de referencia hemos procedido a deducir los
valores del conector de mnimo alcance para terminar en el alcance mximo que define
siempre el valor total de la frmula, y que, en el caso resuelto da una columna de slo
UNOS.
4.19 La anterior frmula representa una forma de pensar vlida para TODOS LOS
CASOS, puesto que bajo el conector de mximo alcance result una columna de slo
unos. En lgica, a tales frmulas se las conoce como TAUTOLOGIAS
4.20 Por tanto, una tautologa es una frmula que es correcta en TODOS
los casos
posibles y se reconoce porque al comprobarla da siempre UNOS O VERDADEROS en
el conector de mximo alcance.
4.21 Verifiquemos ahora la frmula siguiente: coloque las columnas de referencia debajo
de los argumentos:
P
1
0
1
0
Q
1
1
0
0
[(P w Q).
Q]P
Negador:
Disyuntor: w
Negador:
Conjuntor: .
Implicador:
4.23 De acuerdo al orden sealado en el tem 4.22, saque el valor correspondiente al
primer negador, teniendo en cuenta la tabla de la negacin:
P
1
0
1
0
1
1
0
0
[(P w Q).
Q]P
0
1
0
1
1
0
1
0
1
1
0
0
[(P w Q).
Q]P
0
1
1
0
0
0
1
1
1
0
1
0
1
1
0
0
[(P w Q) .
Q]P
0
1
0
1
0
0
0
0
1
1
1
1
Q
1
[(P w Q) . Q]P
0
1 0 0
36
0
1
0
1
0
0
1
0
1
0
0
1
0 0
0 1
1 1
4.27 Finalmente, establezca los valores del conector de mximo alcance, es decir, el
implicador relacionando los valores del conjunto) y de P:
P
1
0
1
0
Q
1
1
0
0
[(P w Q) . Q]P
0
1 0 0
1
1
0 0 0
1
0
0 0 1
1
1
1 1 1
0
4.28 Como puede observar, en la columna del implicador, que es la que define el valor
total de la frmula hay, adems de tres unos, un CERO; lo cual significa que cuando en
la
columna
definitiva
resulta una mezcla de unos y ceros en cualquier posicin la frmula
es
INDETERMINADA, es decir, que representa formas de pensar no siempre correctas para
TODOS los casos posibles.
4.29. Finalmente, cuando debajo del conector de mayor alcance resulte solo ceros para
todos los casos posibles se denomina en lgica CONTRADICION, esto es, una frmula
que presenta formas de pensar siempre formalmente incorrectas. Como puedes
comprobar en la formula siguiente:
P
1
0
1
0
1
1
0
0
(P . Q )
(PQ)
1
0
0
0
0
0
0
0
0
0
0
1
4.30. Resumiendo, el resultado dela verificacin de una frmula cualquiera puede ser:
Tautologa
Indeterminacin
Contradiccin
37
LECTURA
Tautologas y contradicciones
Tomada de: LUDWING WITTGENSTEIN, Tractatus LogicoPhilosophucis, Madrid, Ed. Rev. de Occidente, 1957, pp. 99-103.
Entre los posibles grupos de condiciones de verdad, hay dos casos extremos. En uno la
proposicin es verdadera para todas las posibilidades de verdad , de las proposiciones
elementales. Nosotros decimos que las condiciones de verdad son tautologas.
En el otro caso la proposicin es falsa para todas las posibilidades de verdad: las
condiciones de verdad son contradictorias.
La proposicin muestra aquello que dice: la tautologa y la contradiccin muestran QUE
NO DICEN NADA.
La tautologa no tiene condiciones de verdad, pues es incondicionalmente verdadera; y
la contradiccin, bajo ninguna condicin es verdadera.
38
EJERCICIOS RESUELTOS:
Verifique las siguientes frmulas, indicando al final de cada una si es tautolgica,
contradictoria o indeterminada. Antes de resolver el ejercicio no mire las soluciones.
1. Ejercicios
RESPUESTA
P
1
0
1
0
1
1
0
0
[(PQ) . Q)]
P
[(PQ) . Q)]
39
1
1
0 1
1
0
0
0
PASO
S
1
1
0
1
1
P
0 0
0 0
0 1
1 1
3 2
1
1
1
1
5
0
1
0
1
4
40
RTATAUTOLOGIA
2. Ejercicio.
P
[( P
1
1
1
0
1
1
1
0
1
0
0
1
1
1
0
0
1
0
1
0
0
0
0
0
Orden de
procedimient
o
1
0
1
0
1
0
1
0
1
0
1
1
1
0
1
1
1
3
(1,2
)
0
0
1
1
0
0
1
1
2
Q . ( Q R )] (P .
R)
0
0
1
0
0
0
0
1
0
0
0
0
1
0
0
0
0
1
0
0
0
0
1
1
1
0
0
1
0
1
1
1
1
1
1
1
1
0
0
1
5
4
8
7
6
(4,3) (5,7 (7,6
)
)
RTA-
INDETERMINADA
3. Ejercicio.
P
1
0
1
0
1
0
1
0
1
1
0
0
1
1
0
0
1
1
1
1
0
0
0
0
[Pv(Q.R)][(Pvq).(Pv
R)]
RPTA- TAUTOLOGIA
1
1
1
1
1
0
1
1
INDETERMINACION
5. Solucione:
3.1.
(P . P) (P v P)
3.2.
P)
3.3.
( P w P )] ( Q v S)
3.4.
P) P]
RTA.
(P Q) ( Q
[( P Q) . (P S) .
[P (P P)] [(P
V
INFERENCIAS TAUTOLOGICAS
5.1. Podramos comparar la lgica a un juego. Todo juego procede de acuerdo a unas
REGLAS
5.2. En la mayora de los juegos las regias son convencionales. Las reglas lgicas, por el
contrario, representan leyes naturales por las que se rige el pensamiento.
5.5 Como hemos podido observar, una inferencia es un proceso lgico en el que de una
o varias premisas se saca una o varias conclusiones
5.6. En un problema lgico, las premisas representan datos conocidos de los que se
infiere una nueva verdad lgica.
5.8 Por ejemplo, si tomamos la proposicin "est muerto" como premisa, podemos sacar
la misma proposicin como conclusin en la forma: "si est muerto, est muerto".
5.12 Por el ejemplo anterior podemos ver que dos negaciones, cuando una niega a la
otra, se anulan; por tanto, la doble negacin equivale a una simple afirmacin.
En
el lenguaje cotidiano empleamos, con frecuencia, dos negaciones para reforzar la
negacin. Entonces las dos negaciones niegan
5.13 Por consiguiente, si tenemos como premisa A podemos sacar como conclusin A,
cuyo esquema es:
A A
5.15 Por lo mismo, si tomarnos A, B (por separado) como premisas, podemos sacar
como conclusin:
A B A B
O de otra manera:
A
B
____
AB
es decir, la conjuncin de ambas.
inclusivo dado que una es verdadera, la resultante "Ecuador o Panam est al norte de
Colombia" ser verdadero.
5.19 Entonces partiendo del esquema A v B se infiere la conclusin por adicin, as:
A (A v B)
De otra manera:
A v B
A (A v B)
5.20 Nos vamos a referir a continuacin a los cuatro modos, que en la lgica moderna
conservan la misma terminologa que en la tradicional:
Modus:
ponendo ponens (poniendo pone)
tollendo tollens (quitando quita)
tollendo ponens (quitando pone)
ponendo tollens (poniendo quita)
5.21 Comencemos por el PONENDO PONENS. Sea el ejemplo dado en el tem 5.4; es
evidente que si la condicional "si llueve, entonces hace fro" es verdadera, y si, adems,
el antecedente
es llueve es verdadero,
entonces se puede sacar como conclusin la verdad del consiguiente, o sea: hace fro
5.23 Sean los siguientes esquemas, en los cuales se afirma la verdad no slo de la
condicional sino tambin del antecedente de la misma; saque, en cada caso, las
conclusiones pertinentes por "ponendo ponens":
A B
A
_________
B
O
A B
A
___________
B
O tambin:
A B
A
____________
B
B
_____________
B
5.27 Los dos modos estudiados, el ponendo ponens y el tollendo tollens, se llaman
tambin silogismos hiptticos, porque una de las premisas es una proposicin
hipottica o condicional
5.32 Corno se trata de una disyuncin exclusiva, no pueden ser ambas verdaderas. Por
tanto, conocida la verdad de una cualquiera de las proposiciones disyuntas, se puede
concluir que la otra es falsa
AwB
B
___________
A
5.37 Podemos observar que se trata de un discurso en que todas las proposiciones son
condicionales, dispuestas de tal manera que el consiguiente de la primera hace en la
segunda proposicin de antecedente, y as sucesivamente; hasta llegar a una conclusin
cuyo antecedente es el de la primera, y el consiguiente el de la ltima.
Simple
Complejo
constructivo
destructivo
constructivo
destructivo
5.40 Simbolizadas las premisas del ejemplo en el esquema que sigue, saque Ud. la
conclusin pertinente:
MQ
DQ
MD
__________
Q
Que en forma lineal quedara: {[(M Q)
(D Q)] (M v D)} Q
5.41 Los tres dilemas restantes son menos utilizados en lgica; a ttulo de informacin
daremos los esquemas correspondientes:
a) SIMPLE DESTRUCTIVO:
MQ
MR
Q v R
______________
M
{[( M Q) (M R)] (Q v R)} M
b) COMPLEJO CONSTRUCTIVO:
DK
LN
DL
______________
KvN
{[( D K) (L N)] ( D L)} ( K v N)
c) COMPLEJO DESTRUCTIVO
DK
LN
K v N
______________
DvL
{[( D K) ( L N)] (K v N)} D v L
5.42 A continuacin encontrar agrupados, para que los pueda memorizar ms
fcilmente, los esquemas de las principales inferencias:
Nombres
Abrevi
aturas
Esquemas
Autoimplicacin
AUT
AA
Doble negacin
DN
A A
Adjuncin
ADJ
A , B A B
Simplificacin
SIMP
(A B) A , (A B) B
Adicin
ADC
Ponendo ponens
PP
[(AB) A] B
Tollendo tollens
TT
Tollendo ponens
TP
[(A B) B] A
[(A v B) A] B
Ponendo tollens
PT
[(A w B) A] B
Transitividad
TRANS
[(A B) (B C)] (A C)
DSC
destructivo
DSD
Dilema compuesto:
constructivo
DCC
destructivo
DCD
(A v B)
EJERCICIOS
5.43 Utilizando las reglas reseadas en el tem anterior, vamos a resolver algunos
problemas lgicos, sacando conclusiones a partir de premisas dadas.
A
C
1)
Ejercicios
DEMOSTRAR: K
1. B C
2. (D v B) K
3. BporS/MP en 1)
4. D v B..ADN en 3)
5. K PP ..
DEMOSTRAR: P v Q
1. R v S
2. R P
3. N S
en 2) 4)
4. W N
5. W .por SIMP en 4)
6. N ..por S/MP en 4)
7. S .por PP en 3) 6)
8. R .por TP en 1) 7)
9. P------------------------------------------------------ por PP en2) 8)
10. P v Q.. por ADC en 9)
DEMOSTRAR: S Q
1. P v Q
2. Q
3. P S
4. P. por TP en 1) 2)
5. S... por PP en 3) 4)
6. S Q por ADJ en 5) 2)
DEMOSTRAR: A B
1. C A
2. B v D
3. D C
4.
5.
6.
7.
8.
D por SIMP en 3)
C ...por SIMP3)
A ..por PP 1) 5)
B .por TP 2) 4)
A B ..por ADJ 6) 7)
DEMOSTRAR: P
1.
2.
3.
4.
AD
DvA
E P
D E
DEMOSTRAR: T
1.
2.
3.
4.
5.
6.
KvL
(M v H) (A v D)
L H
K M
AT
D (M v H)
7. M v H por DC en 4) 3) 1)
8. A v D. por PP en 2) 7)
9. D .por TT en 6) 7)
10. A.. por TP en 8) 9)
11. T .por PP en 5) 10)
VI
EQUIVALENCIAS TAUTOLGICAS
6.1 Si conmutamos 2 + 3 obtenemos la frmula equivalente es: 3 + 2
6.4 Son equivalentes, pues, aquellas frmulas que, aunque tengan escritura diferente,
tienen valores de verdad idnticos y el mismo sentido.
6.5
Consiguientemente,
si
unimos
dos
frmulas
equivalentes
mediante
el
6.6 Por ejemplo, verifiquemos la frmula del tem 6.3, completando los valores del
bicondicionador:
(C P) (P
C)
6.7 Hay que decir que las equivalencias no sirven, de por s, para llegar a nuevas
conclusiones, pero prestan buenos ser vicios en los procesos inferenciales debido a que
permiten cambios en la morfologa una determinada frmula.
6.11 asemos ahora a explicar la TRASPOSICION con un ejemplo: las proposiciones "si
llueve, hace fro" y "si no hace fro, es que no llueve" son equivalentes por trasposicin
6.12 Si, en el ejemplo anterior, representamos "llueve" por A, y "hace fro" por B,
tendramos la frmula A B, que transponindola dara origen a la equivalencia:
(A B)
(B A)
ABC
6.15 Haciendo uso del parntesis, los argumentos en las frmulas anteriores podran
quedar asociados de las siguientes formas:
(A B) C)
(A v B) v C
A (B C) A v (B v C)
Lo cual quiere decir que, en realidad, los signos de agrupacin en estos casos son
innecesarios y, por lo mismo, deberan suprimirse. Adems de los casos especificados,
se pueden asociar otras series, menos en el caso de la implicacin
6.18 Por tanto, la letra A en la frmula anterior se puede distribuir conjuntivarnente con B
y C por ser factores comunes, resultando las siguientes frmulas equivalentes:
[A(B v C)] [(A B) v (A C) ]
6.21 Por otra parte, si se niega el bicondicionador, resultarn debajo del negador los
valores:
(A B)
1
que como podemos observar son los mismos que los de la disyuncin exclusiva. Luego
una disyuncin exclusiva equivale a una bicondicional
negada
( A w B) (A B)
A B
(A B) ( A
v B)
(Por definicin, cualquier inferencia o equivalencia debe dar, al ser verificada, como
resultado una tautologa.
6.26 Prestemos atencin a las llamadas leyes de MORGAN, que son las siguientes:
Una conjuncin negada (A B), equivale a una disyuncin de negaciones ( A v
B) y viceversa,
(A B) ( Av B)
A B
(A v B) ( A B)
6.29 Veamos las leyes de la IDEMPOTENCIA. Es lgico que "llueve y llueve" equivale a
"llueve". Por tanto (P v P) tiene la misma potencia que P y (P v P) tiene la misma
potencia que P. Por tanto: (P P) P (P v P) P
6.30 Para terminar, preste atencin a las dos leyes siguientes que definen la FLECHA y
la BARRA en trminos de conjuncin:
6.31 Es evidente que la expresin "ni hace ni deja hacer" equivale a "no hace y
deja hacer, y que por consiguiente, la frmula P Q: equivale a P Q
Se trata de negaciones conjuntas.
6.32 De modo anlogo, decir que dos proposiciones son incompatibles equivale a
afirmar que no pueden ser ambas a la vez verdaderas. Por lo mismo, la frmula P / Q
equivale a (P Q)
Se trata, pues, de una anticonjuncin.
no
Abreviaturas
CONM
Esquemas
AB
Av B
BA
TRASP
ASOC
DISTR
(A B) C
(A v B) v C
A (B C)
A v (B v C)
A (B v C)
A v (B C)
(A B) v (A C)
BIC
COND
MORG
COR
IDP
FL
BAR
Asociacin
distribucin
disyuncin
(A B)
AB
(A B) (B A)
(A B)
(A B)
(A B)
A v B
AB
( A B)
A A
A
trasposicin
(A v B) (A v C)
AwB
(A ) B)
conmutacin
B vA
AB
B A
DISY
Nombres
bicondicional
condicional
Av B
(AvB)
A B
AvB
( A B)
AvA
A
AB
A B
AIB
(A B)
Morgan
corolarios
idempotencia
flecha
barra
6.34 Es claro que las anteriores equivalencias permiten: a) despejar unos conectores a
favor de otros cuando as convenga y b) cambiar de lugar los argumentos.
EJERCICIOS
En la solucin de los problemas que siguen, debe servirse de las equivalencias, adems
de las inferencias, utilizando las mismas tcnicas del captulo anterior.
Demostrar: K H
1 C v ( H l)
2 CI
3 C
por
SIMP
4 I
por
SIMP
5 HI
por
TP
6 H
por
TT
7 HvK
por
ADC
8
1
2
9
3
por
COND
por
por
TRANS
MORG
4 D
por
SIMP
5 K
por
SIMP
6 F
por
TT
7 K F
por
ADJ
H K
( D v K)
F
D H
K
D K
1
(PQ) (R
8 S )( K v F)
por MORG
2
Q S
3
P S
4
SP
po
r
5
S P
po
r
6
QP
po
r
7
P Q
po
r
8
R
po
r
9
R v S
po
r
1
R v S
po
0
r
11 S v R
po
r
e
n
e
n
e
n
e
n
e
n
e
n
e
e
n
n
e
n
e
n
e
n
e
n
e
n
2
2
1- 3
5-4
6
Demostrar: (K v F)
ADJ SIMP TT
8
1
3
3
2- 4
5- 6
Demostrar: S v R
TRANS
en 3
DN
en 4
TRANS
en 2- 5
TRANS
en 6
PP
en 1- 7
COND
en 8
DN
en 9
CONM
en 10
Demostrar: PQ
1
2
3
4
5
6
7
8
(P w Q)
PQ
(PQ) (QP)
PQ
Q P
PP
( P P)
PP
por
por
por
por
por
por
por
DISY
BIC
SIMP
SIMP
TRANP
COND
BAR
en
en
en
en
en
en
en
1
2
3
3
4- 5
6
7
Demostrar: A
1
2
3
4
5
6
7
8
9
1
0
11
1
2
1
3
1
4
A v (B C)
B v (C A)
(A v B) (A v C)
AvB
A v B
A B
(B v C) (B v A)
( B v A) (B v C)
B A
BA
por
por
por
por
por
por
por
por
DISTR
SIMP
DN
COND
DISTR
CONM
SIMP
COND
en
en
en
en
en
en
en
en
1
3
4
5
2
7
8
9
A A
AvA
por
por
TRANSP
COND
en
en
6 - 10
11
AvA
por
DN
en
12
por
IDP
en
13
Demostrar: p Q
1
2
3
4
5
6
7
8
PQ
por BIC
por SIMP
por SIMP
por TRANSP
por TRANSP
por ADJ
por BIC
Demostrar: R S
en
en
en
en
en
en
en
1
2
2
4
3
5- 6
7
(P Q) (Q P)
PQ
QP
P Q
QP
( P Q) ( Q P)
PQ
1
2
3
4
5
6
7
8
9
10
P v Q
QR
(P v Q)
S
por SIMP
por SIMP
por TP
por ADJ
por MORG
por PP
por ADJ
en
en
en
en
en
en
en
2
2
1- 5
6-5
7
3 -8
4-9
R
Q
P
P Q
(P v Q)
S
RS
en
en
en
en
en
en
en
en
en
en
en
1
5
6-2
3
8
9
10- 7
11
12
4- 13
14- 7
(P Q) (Q P)
QP
Q
T v (Q R)
(T v Q) (T v R)
TvQ
T
TvS
SvT
R
RQ
Demostrar: R Q
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
P Q
P
(Q R) v T
(S v T) R
por BIC
por SIMP
por TT
por CONM
por DISTR
por SIMP
por TP
por ADC
por CONM
por PP
por ADJ
Demostrar: A B
1 A B
2 (B v C)
3 por MOR
G
4 por SIMP
5 por TT
6 por ADJ
7 por FL
en
B C
en
en
en
en
3
1-4
5-4
5
B
A
A B
AB
Demuestre que se puede concluir con validez que: no se puede ser buen lector, si y solo si
se escribe bien, a partir de la proposicin:
Solo se lee bien cuando se escribe bien.
Demuestre la validez de la conclusin: los perros son fieles, a partir de las premisas:
VII
LOGICA DE TERMINOS O DE PREDICADOS
Nociones y smbolos en lgica de trminos
7.1 Empecemos recordando que una proposicin se define como una (Item 2.6):
Cadena de palabras
con sentido completo
verdadero o falso
7.2 Observemos la siguiente proposicin: "No todos los suecos son rubios y de ojos
azules".
Como vemos se trata de una cadena de palabras donde cada palabra, a su vez, forma
una unidad que llamamos trmino. Si contabilizamos los trminos de la proposicin en
cuestin resultaran diez
7.3 Analicemos los trminos de la proposicin anterior agrupndolos en las siguientes
columnas:
1a
Suecos
Son
Rubios
Ojos
azules
2a
No
Todos
Los
Y
de
Los trminos que denotan realidad (personas, animales, cosas, acciones, propiedades,
estados, etc.) son los de la columna 1.
7.4 Por el contrario, los trminos de la segunda columna, de suyo, no denotan ninguna
realidad, pero sirven para negar, relacionar y/o determinar a los trminos de la primera.
7.5 En lgica, a los trminos que denotan realidades los llamamos categoremticos y a
los dems sincategoremticos. Los conectores estudiados en la primera parte,
constituyen un ejemplo de trminos sincategoremticos
7.6 Especifique mediante una C o una S cules son categoremticos y cules
sincategoremticos en las siguientes listas:
Libro
Dolor
Para
Len
Andrs
Todos
Poder
Algunos
hoy
C
C
S
C
C
S
C
S
C
Aqu
De
Unos
Y
Oloroso
Llueve
Estoy
Bueno
Fin
C
S
S
S
C
C
C
C
C
7.7 La lgica que vamos a estudiar, en esta segunda parte, se denomina LOGICA DE
TERMINOS, porque estudia la estructura interna de las proposiciones entrando al
anlisis de los diversos trminos que la integran.
7.8 Entre los trminos categoremticos, que componen una proposicin, los dos ms
importantes son sujeto y el predicado 7.2 Por ejemplo, en la proposicin del tem
el sujeto es suecos
y el predicado rubios y de ojos azules
7.9 Como es sabido, "aquello-de-lo-cual" se dice algo afirmando o negando, se
denomina sujeto, y "lo-que-se-dice" del sujeto se llama predicado.
7.10 Todo trmino dice o significa algo. Por ejemplo, el trmino tringulo significa: figura
plana que consta de tres lados y tres ngulos. Segn esta definicin, las notas que
integran la significacin del trmino "tringulo" son:
figura
plana
tres lados
tres ngulos
7.11 El conjunto de notas que integran la significacin de un trmino se denomina en
lgica "comprensin". Por tanto, las cuatro notas o caractersticas enumeradas
constituyen la comprensin del trmino "tringulo".
7.12 El trmino "tringulo", adems de poseer las caractersticas apuntadas
(comprensin), se refiere a un determinado nmero de figuras planas que tienen como
propiedades comunes el tener:
tres lados
tres ngulos
7.13 El nmero de entidades o cosas de las cuales se puede predicar un trmino
constituye la extensin del mismo. Por ejemplo, la extensin del trmino "tringulo"
seran todos los tringulos.
7.14 Teniendo en cuenta el nmero de individuos que abarcan los trminos: (antioqueo,
animal, americano, viviente, hombre, colombiano), pngalos en orden de extensin decreciente:
viviente
animal
hombre
americano
colombiano
antioqueo
7.15 Observando la serie compuesta, vemos que el trmino "viviente" es ms extenso
que el trmino "hombre" porque hay vivientes que no son hombres, y el trmino
"hombre", a su vez, ms extenso que el trmino "antioqueo" porque los antioqueos no
son todos los hombres.
7.16 A continuacin, teniendo en cuenta los trminos del tem7.14, pngalos en orden de
comprensin decreciente:
antioqueo
colombiano
americano
hombre
animal
viviente
7.17 Es claro que el trmino "antioqueo" es el de mayor comprensin, pues tiene todas
las caractersticas de los otros, ms la de "antioqueidad"; y el trmino "hombre" es de
mayor comprensin que el de "animal" porque aade a las caractersticas de "animal" la
nota de racionalidad.
7.18 Comparando las series ordenadas del tem 7.14 y del 7.16, se puede deducir la ley
segn la cual la extensin y la comprensin de un trmino estn en razn inversa; lo cual
quiere decir que a mayor extensin corresponde menor comprensin y viceversa.
7.19 Observemos la extensin de los siguientes trminos:
Mao-Tse-Tung
algunos marxistas
todos los marxistas
a)
b)
a)
7.22 La estructura mental del hombre, desde nio, funciona agrupando las cosas en
conjuntos. Un conjunto es: una agrupacin de elementos que tienen alguna propiedad en
comn.
7.23 Dado que todo trmino se refiere a un conjunto, podemos definirlo sealando los
elementos que lo componen, es decir, por su extensin. Tambin podemos definirlo por
razn de la propiedad que tienen en comn los elementos a los que se refiere, es decir,
por su comprensin.
7.24 Dando un paso ms, en toda proposicin tpica se afirma o niega algo del sujeto de
la misma, es decir, tiene calidad afirmativa o negativa; y la afirmacin o negacin
puede recaer sobre algunos o sobre todos los elementos que integran el conjunto
representado por el sujeto; por tanto, por razn de la extensin una proposicin puede
ser universal o particular
7.25 Indique, en las siguientes proposiciones, la cantidad y calidad de cada una:
Universal
Afirmativa
Universal
Negativa
Particular
Afirmativa
Particular
negativa
7.26 En los anteriores ejemplos, las partculas "todos", "ningn", "algunos" sirven para
sealar la cantidad de "virus", "pastusos", "polticos" o "antioqueos" sobre los cuales
recaen los correspondientes predicados. Por ello, dichas partculas se denominan
cuantificadores.
7.27 De manera anloga a como hicimos en la primera parte con las proposiciones,
vamos a proceder a simbolizar algunos de los trminos. El predicado de una proposicin
cualquiera se simboliza mediante las maysculas:
F, G, H
llamadas "letras-predicado".
que se lee:
(x)
que se lee
para todo
x es F
Fx
Nada es material:
(x)
que se lee
para todo
x no es F
Fx
Algo es material:
(Ex)
que se lee
Fx
Algo no es material:
(Ex)
que se lee
Fx
7.37 Cuando en un esquema las letras-argumento estn cuantificadas o ligadas, se dice
que el esquema est cerrado. Los esquemas del tem 7.36 son ejemplos de esquemas
cerrados; cuando una o varias letras argumentos estn libres o sin cuantificar, por
ejemplo los esquemas de los tems 7.29, 7.30, 7.31, 7.32, entonces se dice que son
esquemas abiertos.
7.38 Para convertir un esquema didico abierto en cerrado, basta con poner entre
parntesis
dicho
esquema
anteponer
el
cuantificador
cuantificadores
univer
sal
Proposicio
nes
particu
lar
afirmati
Universal
va
negativ
afirmativa
Universal
a
afirmati
negativa
Particular
va
negativ
afirmativa
Particular
negativa
de inclusin. El conjunto que representa el predicado incluye o contiene al conjunto representado por el sujeto.
7.45 Si quisiramos expresar grficamente la relacin de inclusin,dibujaramos dos
crculos concntricos; el de menos rea, sera el conjunto S (sujeto), que estara
contenido en el de mayor rea o sea en P (predicado)
Teniendo en cuenta que el sombreado significa ausencia de elementos podramos
representar la inclusin por el diagrama siguiente:
TIPO A.
INCLUSIN
Represe que todos los elementos de S estn en P.
7.46 Pasemos ahora al anlisis del modelo E, o sea, de las proposiciones universales
negativas.
Sea la proposicin: "Ningn paquidermo vuela". Lo que se quiere decir en este caso es
que "si alguna cosa es paquidermo, entonces no vuela", o en trminos ms tcnicos:
"para todo x, si x es P, entonces x no es V", lo cual se podra formular:
(x) (Px Vx)
(x)(xP x V)
EXCLUSIN
Al sombrear la parte en comn de ambos conjuntos indicamos que P y V no tienen ni
siquiera un elemento en comn.
7.49 Analicemos a continuacin el modelo I, o sea la forma tpica de las proposiciones
particulares afirmativas, considerando el ejemplo: "algunos animales son cuadrpedos".
Lo que se quiere decir es que "existen algunos seres tales que son animales y son
tambin cuadrpedos". En trminos ms tcnicos: "Existen unos x tales que, x es A, y x
es C", cuya frmula sera:
(Ex) (Ax Cx)
7.50 En forma conjuntstica se podra expresar la anterior proposicin: "existen unos x
tales que, x pertenece al conjunto A y x pertenece tambin al conjunto C. O sea:
(E x) (xA xC)
7.51 Dado que el conjunto que representa S y el conjunto que representa P tienen
INTERSECCIN
En el que el rea marcada con x representa elementos comunes a S y P.
7.52 Veamos finalmente el modelo O, o sea, la forma tpica de las proposiciones
particulares negativas: "algunos animales no son mamferos". Lo que queremos decir es
que "existen algunos seres que son animales y que no son mamferos". En trminos ms
tcnicos: "existen algunos x tales que, x es A y x no es M". Cuya frmula sera:
(Ex) (Ax Mx)
7.53 En forma de conjunto se podra expresar la anterior proposicin diciendo: "existen
unos x tales que, x pertenece al conjunto A y x no pertenece al conjunto M, o sea:
(E x) (x A x M)
7.54 Dado que los conjuntos que representan S y P tienen algunos elementos que no
son comunes, stos constituyen la diferencia entre S y P, representable por el diagrama:
TIPO O
PERTENENCIA
En el que el rea marcada por la x representa los elementos que pertenecen a S y no
en lgica de conjuntos.
A
(Ex) (x F x G)
AUTOEVALUACION
Intente la respuesta usted mismo, luego verifique sus aciertos y/o desaciertos, y corrija.
1. Coloque en serie de comprensin creciente o extensin decreciente los siguientes
trminos:
(Americano, cuerpo, Rafael Nez, animal, cosa, hombre, viviente, colombino, costeo,
cartagenero).
cosa
cuerpo
viviente
animal
hombre
americano
colombiano
costeo
cartagenero
R. Nez
2. Defina por comprensin los siguientes trminos:
Trminos
Sudamrica
Definicin
conjunto de pases comprendidos entre
Hombre
Animal
3. Defina por extensin los anteriores trminos, enumerando los elementos contenidos
en los correspondientes conjuntos:
Trminos
Sudamrica
Hombre
Animal
Definicin
Colombia, Venezuela, Argentina, Chile
Asiticos, europeos, americanos, africanos
Aves, reptiles, mamferos
LECTURA
Las Cosas y sus Atributos
Tomado de L. CARROLL. El juego de la Lgica, Madrid, Ed. Alianza, 1972, pp. 31 a
39.
Introduccin
(3) Podemos pensar en una determinada clase que no sea la clase "Cosas"
e imaginar que hemos entresacado de ella todos aquellos miembros suyos que
poseen un cierto atributo no posedo por la clase entera. De este atributo se dice
que es 'peculiar' a la clase inferior as formada. En este caso, ja clase en la que
se ha pensado se llama un (Gnero, respecto a la clase inferior extrada de ella:
la clase inferior se llama una 'Especiera la superior: y su atributo peculiar se
llama su 'Diferencia'.
Por ejemplo, podemos pensar en la clase "ciudades" e imaginar que hemos
entresacado de ella todas las ciudades que poseen el atributo "alumbradas con
gas"; y podemos entonces formar la clase real "ciudades alumbradas con gas".
En este caso podemos considerar a "ciudades" como un gnero, a "ciudades
alumbradas con gas" como una especie de ciudades, y a "alumbradas con gas"
como su Diferencia.
Por lo tanto, cualquier cosa singular que podamos nombrar distinguindola de las
Una clase que contenga dos o ms miembros se considera a veces como una
sola cosa. Cuando se la considera as se le pueden asignar atributos que sus
miembros tomados separadamente no poseen.
As, la clase "los soldados del dcimo regimiento", cuando se considera como
una sola cosa, puede poseer el atributo "formados en cuadro", atributo que sus
miembros tomados separadamente no poseen.
3. La Divisin
1. Introduccin
La 'Divisin' es un proceso mental por el cual pensamos en una determinada
clase de cosas e imaginamos que la hemos dividido en dos o ms clases
inferiores.
[As, podemos pensar en la clase "libros" e imaginar que la hemos dividido en dos
clases inferiores: "libros encuadernados" y "libros sin encuadernar"; o en las tres
clases siguientes: "libros que cuestan menos de un cheln", "libros de a cheln" y
"libros que cuestan ms de un cheln"; o en las siguientes veintiocho clases:
"libros cuyo ttulo empieza por A", "libros cuyo ttulo empieza por B", etc.]
Una clase que ha sido obtenida mediante una determinada divisin se dice que es
'codivisional' con toda clase obtenida mediante esa divisin.
[As, la clase "libros encuadernados" es codivisional con cada una de las dos
clases "libros encuadernados" y "libros sin encuadernar".
De modo similar, se puede decir que la batalla de Waterloo fue "contempornea"
de todos los sucesos que tuvieron lugar en 1815.]
Por tanto una clase obtenida por divisin es codivisional consigo misma.
2. La Dicotoma
Si pensamos en una cierta clase e imaginamos que hemos extrado de ella una
determinada clase inferior es evidente que el resto de la clase superior no posee
la diferencia, es decir, el atributo especfico de la clase inferior. Por lo tanto, se
puede considerar a ese resto como otra clase inferior cuya diferencia se puede
formar a partir de la clase que habamos extrado anteriormente mediante el
prefijo "no", y podemos imaginar que hemos dividido la clase primitiva en dos
clases inferiores cuyas diferencias son contradictorias. A este tipo de divisin se le
llama 'Dicotoma'.
[Por ejemplo, podemos dividir "libros" en dos clases cuyas diferencias sean
"viejos" y "no-viejos".[
Al llevar a cabo este proceso podemos encontrarnos a veces con que los atributos
que hemos escogido se usan de una manera tan vaga en la conversacin
ordinaria que no es fcil decidir cules cosas pertenecen a una clase y cules a
otra. En un caso semejante sera necesario establecer alguna regla arbitraria que
determinara dnde termina una clase y empieza otra.
[As, al dividir "libros" en "viejos" y "no-viejos" podemos decir: "Consideremos
como 'viejos' todos los libros impresos antes del ao 1801 de nuestra era, y todos
los dems como 'no-viejos' ".]
Quede bien entendido a partir de ahora que si dividimos una clase de cosas en
dos clases cuyas diferencias tienen significados contrarios, cada diferencia ha de
ser considerada como equivalente a la otra con la palabra "no" delante.
[As, si dividimos "libros" en "viejos" y "nuevos", el atributo "viejo" ha de ser
considerado como equivalente a "no-nuevo", y el atributo "nuevo" como
equivalente a "no-viejo".]
Una vez que hemos dividido una clase, por el procedimiento de la dicotoma, en
dos clases inferiores, podemos subdividir cada una de stas en dos clases
todava ms pequeas, y este proceso se puede repetir una y otra vez,
obteniendo con cada repeticin un nmero doble de clases.
[Por ejemplo, podemos dividir "libros" en "viejos" y "nuevos" (es decir, "no-viejos):
podemos luego subdividir cada una de estas clases en "ingleses" y "extranjeros"
(es decir, no-ingleses"), obteniendo as cuatro clases:
(1)
(2)
(3)
(4)
"cosa material artificial compuesta de casas y calles ", "ciudad alumbrada con gas",
"ciudad pavimentada con oro", "libro ingls viejo".]
As como decimos que una clase es real o irreal segn que haya o no haya una cosa
existente que pertenezca a ella, as tambin se dice que un nombre es real o irreal
segn que haya o no haya una cosa existente representada por l.
[As, "ciudad alumbrada con gas" es un nombre real; "ciudad pavimentada con oro" es
un nombre irreal.]
Todo nombre es o bien un sustantivo o bien una expresin que consta de un sustantivo y
uno o ms adjetivos (o expresiones usadas como adjetivos).
Todo nombre, excepto "Cosa", se puede expresar normalmente de tres modos distintos:
(a)
El sustantivo "cosa" y uno o ms adjetivos (o expresiones usadas como adjetivos) que denotan los atributos.
(a)
Un sustantivo que denote una cosa y connote a la vez algunos de los atributos,
y uno o ms adjetivos (o expresiones usadas como adjetivos) que denotan los
dems atributos.
(b)
Un sustantivo que denote una cosa junto con todos sus atributos.
[As, la expresin "cosa material viviente, perteneciente al reino animal, dotada de dos
manos y dos pies" es un nombre expresado en forma (a).
Si optamos por agrupar el sustantivo "cosa" y los adjetivos "material, viviente,
perteneciente al reino animal" y formar as el nuevo sustantivo "animal", obtenemos la
expresin "animal que tiene dos manos y dos pies", que es un nombre (que representa
la misma cosa que el anterior) expresado en forma (b). Y si optamos por resumir la
expresin entera en una sola palabra y formamos el nuevo sustantivo "hombre",
obtenemos un nombre (que representa tambin la misma cosa que los anteriores)
expresado en forma (c).1
Un nombre cuyo sustantivo est en plural se puede emplear para representar:
(1)
(2)
[As, cuando yo digo "algunos soldados del dcimo regimiento son altos" o "los soldados
del dcimo regimiento son valientes", estoy usando el nombre "soldados del dcimo
1)
2)
3)
VIII
INFERENCIAS IMNEDIATAS
8.1 Observemos el siguiente discurso:
Todo pas subdesarrollado es dependiente
Es as que Angola es pas subdesarrollado: luego
Angola es pas dependiente.
Dado que para pasar de la primera premisa a la conclusin hemos necesitado de la
mediacin de la segunda premisa, el ejemplo es una inferencia mediata. De las
Todas las proposiciones anteriores tienen el mismo sujeto y el mismo predicado. Lo que
cambia en s los anteriores modelos es la cantidad y/o la calidad, porque unas son
afirmativas y otras negativas, unas universales y otras particulares.
5.6 En la respuesta del tem anterior ("cantidad y/o calidad") el disyuntor "y/o" significa
que las proposiciones en cuestin difieren entre s en tres formas, o sea, por razn de la:
cantidad y calidad
sola calidad
sola cantidad
5.7 Resumiendo: son opuestas aquellas proposiciones que teniendo el mismo S (sujeto)
y el mismo P (predicado), se diferencian entre s o bien por razn de la K (cantidad) y C
8.13 Tomando como referencia el cuadro anterior intente deducir Ud. mismo la verdad o
falsedad de las contradictorias partiendo de las siguientes hiptesis:
HIPOTESIS
Si A es
verdadera
A es falsa
enton
ces
RESPUE
A
O
O es
verdadera
O es falsa
E es
verdadera
E es falsa
I es
verdadera,
I es falsa
STA
es falsa
es
verdader
a
es falsa
verdader
a
falsa
verdader
a
es falsa,
verdader
a
8.14 En consecuencia, se puede dar como norma o ley que las proposiciones
contradictorias no pueden ser a la vez ambas verdaderas, ni ambas falsas, porque una
es la simple negacin de la otra y la afirmacin y la simple negacin tienen valores de
verdad contrarios. (Cf. tems 3.37 y 3.38).
8.15 Pasando a las contrarias, si observamos el ejemplo del cuadrado, vemos que A y E
no pueden ser a la vez verdaderas. Pero podramos poner ejemplos en los que ambas
fueran falsas: "todos los pastusos son ciclistas" y su contraria: ningn pastuso es
ciclista, son a la vez falsas.
Teniendo en cuenta, segn lo dicho, que las contrarias no pueden ser las dos a la vez
verdaderas, pero s falsas, saque Ud. mismo conclusiones de las siguientes hiptesis: si
A es verdadera, entonces
HIPOTESIS
Si A es verdadera
entonces
A es falsa
E es verdadera
E es falsa
E
E
A
A
RESPUESTA
es falsa
es indeterminada
es falsa
indeterminada
8.17 La razn por la cual las contrarias no pueden ser verdaderas es que una niega a la
otra y la verdad no puede estar en la afirmacin y en la negacin de lo mismo (Cf. tem
3.38). Pero podran ser falsas, porque una no es simple negacin de la otra; o lo que es
lo mismo, entre "todos" y "ninguno, tales como: algunos son, algunos no son, donde
puede emigrar la verdad que ordinariamente no gusta exageraciones. Muchas
afirmaciones o negaciones que son verdaderas por lo que dicen son falsas por el modo
universal como lo dicen.
8.18 Pasemos a considerar las subcontrarias, observando los ejemplos siguientes:
I - algunos colombianos usan ruana
O - algunos colombianos no usan ruana
claramente vemos que ambas proposiciones son verdaderas. Pero evidentemente no
pueden ser ambas falsas. En el ejemplo del cuadro se ve que O es falsa. Luego I no
puede ser falsa, porque la verdad tiene que estar en la afirmacin o en la negacin.
8.19 La norma o ley para las subcontrarias es que pueden ser las dos a la vez
verdaderas, pero no ambas falsas. Por consiguiente, deduzca Ud. las conclusiones
correctas a partir de las hiptesis siguientes:
HIPOTESIS
Si I es
entonces
verdadera
I es falsa
O es verdadera
O es falsa
RESPUESTA
es indeterminada
O
I
I
es verdadera
es indeterminada
es verdadera
8.20 La razn de que ambas no pueden ser falsas es que la una niega simplemente a la
otra (Cf. tem 3.38). Pero ambas pueden ser verdaderas ya que, al ser particulares,
pueden referirse a distintos elementos de un conjunto. As, dentro del conjunto de los
colombianos es verdad que hay elementos que usan ruana y otros que no la usan.
8.21 Finalmente, consideremos las subalternas. En el cuadro del tem, 8.12 podemos
observar que dado que A es verdadera, I tiene que ser verdadera, porque lo que se
predica de todos los elementos de un conjunto universalmente, se puede predicar de o
distribuir encada una de los elementos que lo integran.
8.22 Observa do en el mismo cuadro vemos que la subalternada O es falsa, luego la
subalternante E tiene que ser forzosamente falsa, porque dado que es un caso
contenido en la universal, es claro que la falsifica.
8.23 Es de notar que puede darse el caso que la universal sea falsa y la particular
verdadera como en:
ningn antioqueo es ladrn, es falso
algn antioqueo no es ladrn, es verdadero
En este caso, la universal es falsa no por lo que dice, sino por el modo universal como lo
dice.
Tambin puede darse el caso que la particular sea verdadera y la universal falsa, como
puede verse en el ejemplo analizado, porque al darle extensin universal podemos
falsificar el contenido de una proposicin.
8.24 De todo lo expuesto sobre la subalternacin, trate de sacar las conclusiones
correctas:
HIPOTESIS
Si A es
entonces
verdadera
A es falsa
I es verdadera
I es falsa
E es verdadera
E es falsa
O es verdadera,
O es falsa
RESPUESTA
es verdadera
I
A
A
O
O
E
E
es indeterminada
es indeterminada
es falsa
es verdadera
es indeterminada
es indeterminada
es falsa
8.25 Podramos resumir todas las posibles inferencias correctas, que permiten las leyes
de la oposicin, en la siguiente lista de frmulas (recordando que 1 significa "verdadera"
y O "falsa") que Ud. debe completar:
A
A
O
O
E
E
I
I
A
E
I
O
A
I
E
O
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
1
0
1
0
1
0
1
0
1
1
0
0
1
0
1
0
O
O
A
A
I
I
E
E
E
A
O
I
I
A
O
E
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
0
1
0
1
0
1
0
1
0
0
1
1
1
0
1
0
(x)
F x .(Ex) Fx
b)
(x)
Fx (Ex) Fx
c)
(Ex)
d)
(Ex) Fx (x) Fx
Fx (x) Fx
(x)
b)
(x)
c)
d)
En los tems 8.30 y 8.31 hemos puesto ejemplos de conversin simple, que
los especuladores son delincuentes"; tambin en este caso se podra hacer una
conversin en la siguiente forma: algunos delincuentes son especuladores.
Como se puede apreciar, en la conversin por accidente vara la
cantidad de la
conversa.
8.34
Observemos en los tems 8.30 y 8.31 que las proposiciones modelo I y modelo E
son convertibles simplemente por accidente y las modelo A por simplemente accidente
8.35
AUTOEVALUACION
1. A continuacin deber resolver los problemas que resultan de la descomposicin del
cuadro clsico de las oposiciones (tem 8.12). En cada problema coloque a continuacin
del signo igual el valor de verdad (1,0) correspondiente a cada letra, infirindolo de la
hiptesis establecida en el ngulo.
IX
INFERENCIAS MEDIATAS
9.1 Entre las inferencias mediatas la ms importante es sin duda el silogismo categrico.
La silogstica es la parte ms acabada y perfecta de la lgica clsica.
9.2 Analicemos el siguiente ejemplo de silogismo:
todos los colombianos son latinoamericanos,
es as que los opitas son colombianos:
luego los opitas son latinoamericanos.
En el silogismo anterior hay tres proposiciones.
Enumere los trminos categoremticos que existen en el silogismo anterior:
colombianos
latinoamericanos
opitas
Nota: Sobre silogstica es clsico el libro de LUKASIEWICZ, J. La silogstica de
Aristteles desde el punto de vista de la lgica formal moderna. Tcnos, Madrid,
1977. Vea tambin las importantes conclusiones sobre este punto a las que lleg
el alumno de esta Universidad Santo Toms en su tesis de grado: HERNANDEZ,
Samuel, "Algunos reparos a la lgica de la proposicin categrica aristotlicoescolstica desde el punto de vista de la lgica moderna". En Anlisis (BogotUSTA) n. 30 (1979).
9.3 De anloga manera que en el ejemplo, todo silogismo tpico consta de tres
proposiciones categricas, es decir que simplemente afirman o niegan algo bajo
condicin (De los
Lo que se quiere decir es que dado que ningn colombiano tiene la propiedad de ser
europeo, y dado que todos los boyacenses tienen la propiedad de ser colombiano, se
puede concluir que los boyacenses no tienen la propiedad de ser europeos
9.11 En forma general, el principio de discrepancia se puede enunciar: "si tenemos dos
cosas de las cuales una conviene en algo con una tercera, y la segunda no conviene en
ese algo con dicha tercera, entonces no convienen entre s". En forma grfica
9.12 En el esquema del tem 9.11 vemos que hay discrepancia "en-un-tercero", puesto
que S conviene con M y P no conviene con M. Podra darse el caso que ni S ni P
convinieran con el trmino medio, o sea con M. Entonces habra discrepancia "de-untercero" muy distinto de la discrepancia "en-un-tercero". Observe los siguientes grficos:
Por ser casos de discrepancia "de", lo mismo se puede concluir afirmativamente que
negativamente, lo cual quiere decir que en estos casos no se puede concluir
vlidamente.
9.13 No cualquier silogismo es formalmente correcto. Para cerciorarnos de la correccin
de un silogismo dado, los lgicos clsicos establecieron ocho reglas, de las cuales
cuatro se refieren a los trminos y cuatro a las proposiciones. Empezaremos por las que
se refieren a los trminos.
9.14 La primera regla dice que: un silogismo ha de tener tres y slo tres trminos. La
razn de esta regla , que es la fundamental y a la cual se pueden reducir de algn modo
todas las dems, es que por esencia el silogismo consiste en comparar dos cosas con
una tercera como se estableci en los tems anteriores.
9.15 Son frecuentes los silogismos que de una manera larvada pecan contra esta regla,
debido a que une de los trminos se toma en doble suposicin o sentido. Por ejemplo:
todos los zorros roban gallinas
es as que Maquiavelo era muy zorro:
luego Maquiavelo robaba gallinas.
Cul de los trminos se toma en doble sentido?: zorro.
silogismo hay estos cuatro trminos:
zorro (animal)
zorro (astuto)
robar gallinas
Maquiavelo
9.16 La segunda regla dice: el trmino medio debe ser tomado, al menos en una de las
premisas, universalmente. El siguiente ejemplo peca contra la regla enunciada:
algunas costeas son modelos
as que algunas costeas son monjas
luego algunas monjas son modelos
Cul es el trmino medio?: costeas
Qu extensin tiene en ambas premisas?: particular
Porque es sujeto de proposiciones particulares.
9.17 La razn de esta regla est en que, al no tomarse el trmino medio niversalmente
en ninguna de las dos premisas, puede darse el caso que "monjas" y "modelos", o sea
los trminos extremos, se refieran a distintas partes del conjunto de las "costeas".
9.18 La tercera reza: el trmino medio no puede figurar en la conclusin. La razn de la
misma es que el trmino medio cumple su funcin en las premisas; como puede verse
en los esquemas de los tems 9.9, y 9.11; lo que interesa en la conclusin es saber si los
extremos convienen o no convienen entre s; no hay, por tanto, cabida para el trmino
medio en ella.
9.19 Analicemos el siguiente ejemplo:
una cabra es madre,
es as que una cabra es tuya:
luego una cabra es madre tuya.
Cul es el trmino medio?: cabra
Aparece en la conclusin.
9.20 La cuarta regla se enuncia: los trminos extremos no pueden tener mayor extensin
en la conclusin que la que tienen en las premisas. La razn es que nadie puede dar
ms de lo que tiene, esto es: un trmino particular en las premisas, no puede resultar en
la conclusin teniendo extensin universal
9.21 Sea el ejemplo siguiente:
todos los tolimenses son colombianos,
es as que ningn pastuso es tolimense:
luego ningn pastuso es colombiano.
Cules son los extremos?: colombianos y pastusos
En la premisa mayor se quiere decir que los tolimenses son parte de los colombianos,
por lo que es claro que el trmino "colombianos" se toma particularmente
Todo S es P
Ningn S es P
Algn S es P
Algn S no es P
universal
Particular
Universal
Universal
Particular
Particular
Particular
Universal
9.29 Por tanto, si una de las premisas es negativa, la conclusin debe ser negativa, en
virtud del principio de "discrepancia-en" estudiado en el tem 9.11. Del mismo modo, si
una de las premisas es particular, la conclusin, como es natural, no podr ser de mejor
condicin, o sea universal. Sea el ejemplo:
todos los renos tienen cuernos
es as que algunos rumiantes son renos:
luego todos los rumiantes tienen cuernos
la conclusin correcta debera ser: algunos.
9.30 En el siguiente cuadro se sintetizan las ocho reglas expuestas. Complete las partes
en blanco:
Referentes a los trminos:
1. Un silogismo ha de tener 3 trminos, y slo 3
2. El trmino medio ha de ser tomado, al menos en una de las premisas
3.
4.
universalmente
El trmino medio no puede figurar en la conclusin
Los trminos extremos no pueden tener en la conclusin mayor extensin que
la que tengan en las premisas
6.
7.
8.
9.31 Si observa los ejemplos puestos para ilustrar las ocho reglas, caer en la cuenta de
que el trmino medio siempre ocupa la misma posicin y que, lgicamente, al cambiar de
posicin el trmino medio, deben cambiar tambin los extremos de lugar.
9.32 Sea el siguiente silogismo:
Todos los hombres son mortales,
es as que los pastusos son hombres:
luego los pastusos son mortales.
Simbolizando el trmino medio por M y los extremos por S (menor) y por P (mayor)
obtenemos el siguiente esquema:
M--------------P
S--------------M
S________P
En este esquema el tmino medio hace en la premisa mayor de sujeto, y en la menor de
predicado. Cuando sujeto, predicado se da esta posicin se trata de la primera figura.
9.33 El siguiente es un ejemplo de la segunda figura:
ningn colombiano es venezolano,
es as que los cariocas son venezolanos:
luego ningn carioca es colombiano
Con la misma smbolo empleado en el tem anterior complete usted el esquema de este
silogismo, colocando el trmino medio:
P --------------M
S---------------M
S_________P
Segunda figura:
Tercera figura:
Cuarta figura:
9.39 Por razones de brevedad prescindimos de dar las pruebas de estas leyes. Advertimos
que no pueden ser aplicadas si no es en asocio con las reglas del silogismo referentes a
las proposiciones.
9.40 Recordemos que todo silogismo tpico consta de tres proposiciones categricas y
dado que necesariamente cada proposicin est:
Universalment
Cuantificad
particularment
e
y tambin
afirmativamen
Cualificada
te
negativament
e
9.41 Barajando las cuatro letras que representan los modelos, obtendramos todos los
modos posibles de silogismos teniendo en cuenta la cantidad y
de
calidad
las
proposiciones.
9.42 Todas las combinaciones posibles resultan de combinar, de tres en tres, las letras A,
E, I, 0, de acuerdo con la frmula 43 (donde la base 4 significa el nmero de letras combinables y el exponente el nmero de premisas del silogismo). Los modelos o modelos
posibles son 64. Pero como existen cuatro figuras, multiplicando 64 X 4 obtendramos un
total de 256 modos posibles.
9.43 En el siguiente cuadro presentamos los 64 modos posibles para cada una de las
figuras:
9.44 Teniendo en cuenta las cuatro reglas referentes a las proposiciones y las leyes de las
figuras, deduzca !os modos legtimos o correctos para la primera figura:
AAA
EAE
All
EIO
(AAI
)
(EA
O)
Observe que en todos los casos la premisa menor es afirmativa y la mayor es universal
segn lo exige la primera figura.
9.45 Teniendo en cuenta los mismos criterios del (tem 9.44, deduzca los modos legtimos
para la segunda figura:
EAE
AEE
EIO
AO
O
(AE
O)
(EA
O)
Observe que una de las premisas es negativa y que la mayor es universal.
9.50 Si bien nos fijamos, de la misma manera que en una proposicin categrica tpica
relacionamos DOS conjuntos (Cf. cap. 7), un silogismo categrico en forma tpica representa una operacin en la que se relacionan tres trminos y por tanto
tres conjuntos.
relacin de:
inclusin
exclusin
interseccin
diferencia
9.52 Tambin vimos los diagramas de Venn mediante los cuales se representan los
distintos modelos. Solamente queremos recordar las convenciones all expuestas: El
sombreado significa ausencia de elementos. La parte o partes marcadas con una equis
significan presencia.
9.53 Esto supuesto, el mtodo de los diagramas de Venn para comprobar la validez o
invalidez de un silogismo cualquiera consiste en:
1. Dibujar
tres
crculos
intersectantes,
que
representen
los
conjuntos
el
ementos de A estn
d)
c) Se signa con una "x" la parte comn de C y M. Como dicha parte est dividida por
una lnea, la "x" debe colocarse sobre ella y se interpreta como que, al menos, una
de las dos zonas no es vaca.
AUTOEVALUACION
A. El siguiente es un test de seleccin mltiple. El objetivo del mismo es que se
ejercite en sacar conclusiones correctas , dadas unas premisas. Seale con una
equis la respuesta correcta.
1. Ningn animal al es inmortal
El len es animal
Por tanto,
a.
b.
c.
El len no es inmortal
d.
No es concluyente
2. El europeo es blanco
Algn hombre no es blanco
Por tanto,
a. Todo blanco es europeo
b. Algn blanco no es europeo
c. Algn hombre no es europeo
d. No es concluyente
3. Los alemanes son nazis
Los alemanes son hombres
Por tanto,
a) Todos los hombres son alemanes
b) Algn hombre es nazi
c) Todos los nazis son hombres
d) No es concluyente.
b.
c.
d.
b.
c.
No es concluyente
d.
b.
c.
d.
No es concluyente
7. Toda estrella es astro
Todo planeta es astro
Por tanto,
a.
b.
c.
d.
No es concluyente
A est al suroeste de C
b.
A est al sureste de C
c.
C est al nordeste de A
d.
No es concluyente
9. Algunos animales vuelan
El guila es un animal
Por tanto,
a.
b.
a.
b.
b. Lima
c. Cuzco
d. No
es concluyente
es concluyente
b. Algn
cuadriltero es issceles
c. Todo
cuadriltero es issceles
d. Todo
cuadriltero es paralelogramo
b.
c.
d.
No es concluyente
No es concluyente
b.
El crculo no es un polgono
c.
d.
A est entre B y Z
b.
No es concluyente
c.
d.
b.
c.
d.
No es concluyente
b.
c.
d.
No es concluyente
Correcto/incorrecto?........................incorrecto
Contra qu regla?..........................segunda y octava
Por qu?......................................."mamferos" es particular en ambas premisas y
la conclusin debiera ser particular puesto que lo es la premisa menor.
5. Todas las verduras son comestibles
es as que la yuca no es verdura:
luego la yuca no es comestible:
Correcto/incorrecto?..........................incorrecto
Contra qu regla?..........................cuarta
Por qu?......................................."comestible" tiene, por ser predicado de
negativa, mayor extensin en la conclusin que en la premisa mayor.
6. Los enunciados metafsicos son inverificables,
es as que "Dios existe" es un enunciado metafsico:
luego "Dios existe" no es un enunciado verificable.
Correcto/incorrecto?................................correcto
Contra qu regla?...................................ninguna
Por qu?
7. Algunos polticos dicen la verdad,
es as que algunos polticos son mentirosos:
luego algunos mentirosos dicen la verdad.
Correcto/incorrecto?..............................incorrecto
Contra qu regla?.................................segunda y sptima
Por qu?.............................................."polticos" es particular en ambas; las dos
premisas son particulares.
8. Todos los colombianos son sudamericanos,
es as que los sudamericanos son latinos:
luego todos los sudamericanos son colombianos.
Correcto/incorrecto?.......................... incorrecto
Contra qu regla?............................. tercera
Por qu?........................................... "sudamericano" no puede bajar a la
conclusin.
9. Todos los novelistas son escritores,
es as que algunos escritores no son novelistas:
luego algunos novelistas no son escritores.
Correcto/incorrecto?..................... incorrecto
Contra qu regla?......................... primera
Por qu?....................................... slo tiene dos trminos: novelistas y escritores.