H I T E R S - SCHUL1

ZENTRAlBIBUOTHiS

Nuevo curso de
LGICA Y
FILOSOFA
Guillermo A.
Obiols

I(o7/)-I<p
OIWTXN3ANI

serlearquetipo KAPEIXJSZ
 Lgica proposicional

1. Razonamientos proposicionales Georgc Book

EL ANALISIS
Consideremos los siguientes razona- MATEMATICO
mientos deductivos: DE LA LOGICA
Si la historia ha llegado a su fin, entonces la hu-
manidad est condenada a repetirse. Efectiva- "... la lgica descansa,
mente, la historia ha llegado a su fin. Por lo tan- como la geometra, en
to, la humanidad est condenada a repetirse. verdades axiomticas, y
sus teoremas estn
construidos sobre la
Si las variables econmicas permanecen esta- doctrina general de los
bles, entonces hay reactivacin y crecimiento. smbolos..."
Las cifras indican que hay reactivacin y creci- G. Boole. El anlisis
miento. En consecuencia, las variables econmi- matemtico de la lgica. COfecCKMI M H R V I

cas permanecen estables.

Se trata, en ambos casos, de razona-

mientos deductivos que tienen dos premi-
sas y una conclusin que el lector ya habr
identificado. Sin embargo, no son silogis-
mos categricos cuya forma pueda abs-
traerse en trminos de "Todo... es..." o
"Ningn... es...", etc. En estos razonamien-
tos la conclusin se infiere a partir de la
presencia de ciertos trminos como "si...
entonces..." o "... y etc., que vinculan
entre s diversas proposiciones. Se los lla-
ma razonamientos proposicionales y su
estudio corresponde a la lgica simblica,
que proporciona t c n i c a s para decidir
acerca de la validez o invalidez de este tipo
de razonamientos. Sin embargo, desde ya
podemos anticipar que solamente uno de
estos razonamientos es vlido, mientras
que el otro es invlido. Cul es vlido y
cul no lo es?
2. Proposiciones atmicas
y moleculares
Las proposiciones se dividen en dos
grandes grupos: atmicas y moleculares.

51
 Las atmicas son las mnimas unidades de
las que tiene sentido predicar su verdad o
falsedad. As, por ejemplo, "Hoy es domin-
go" es una proposicin atmica. Cada pro-
posicin atmica se simboliza mediante las
letras "p", "q", "r", "s", llamadas variables
proposicionales. Las proposiciones mole-
culares estn compuestas por una o ms
atmicas y su valor de verdad, es decir, el
ser verdaderas o falsas, est en funcin o es
funcin del valor de verdad de las proposi-
ciones atmicas componentes. Por ejem-
plo, la proposicin "Hoy es domingo y ha-
ce mucho fro", es una proposicin mole-
cular, integrada por dos proposiciones at-
micas: "Hoy es domingo" y " H o y hace
mucho fro". La lgica no puede determi-
nar la verdad o la falsedad de las proposi-
ciones atmicas, slo la experiencia, por
ejemplo, observar un termmetro, puede
determinar el valor de verdad de la propo-
sicin "Hoy hace mucho fro"; pero, en
cambio, la proposicin molecular ser ver-
dadera o falsa segn lo sean las atmicas
que la componen. En este ejemplo, "Hoy
es d o m i n g o y hace m u c h o f r o " s e r
verdadera si y slo si es verdad que "Hoy
es domingo" y es verdad que "Hoy hace
mucho fro". Bastara con que una de las
dos atmicas fuese falsa para que la propo-
sicin molecular en su conjunto fuera falsa.
La mayor parte de las proposiciones mole-
culares est compuesta por dos o ms at-
micas, pero existe un tipo de proposicin
molecular, la proposicin negativa, que es-
t compuesta por una nica proposicin
atmica. Por ejemplo, "Sandy no es un t i -
gre" es una proposicin molecular com-
puesta de la proposicin atmica "Sandy es
un tigre". Est claro que el valor de verdad
de la proposicin molecular est en funcin
del valor de la atmica: la molecular ser
verdadera cuando la atmica sea falsa y se-
r falsa cuando la atmica sea verdadera.
Todas las proposiciones moleculares
que se estudiarn en las prximas pginas
52
poseen esta caracterstica definitoria: su
valor de verdad depende del valor de ver-
dad de las atmicas. Esta caracterstica se
denomina extensionalidad y se dice de las
proposiciones moleculares que constituyen,
"funciones de verdad".
3. Diversas clases de proposiciones
moleculares
a)Jbonjunciones/En ocasiones se afirma
en una nica proposicin la unin de dos
proposiciones atmicas. Por ejemplo, "Rin
Tin Tin es un perro y Siggy es un gato".
Este tipo de proposiciones se llama "pro-
posicin conjuntiva". La c o n j u n c i n de
dos proposiciones se simboliza " . ". En
castellano, la funcin conjuntiva es cum-
plida generalmente por "y", "pero", "aun-
que", etc. As, la proposicin ejemplificada
se simboliza "p . q".
JJ~na proposicin conjuntiva es verdades
ra si v slo si ambos componentes son v e ^
daderos, en cualquier otro caso es falsa.
La siguiente tabla, llamada tabla de ver-
dad, expresa grficamente los casos en que
una proposicin conjuntiva es verdadera y
los casos en que es falsa. Obsrvese que
entre dos proposiciones no pueden darse
ms que cuatro casos: que ambas sean ver-
daderas, en cuyo caso la conjuncin es ver-
dadera: que la primera sea falsa y la segun-
da verdadera o, la primera verdadera y la
segunda falsa o, que las dos sean falsas, en
estos ltimos tres casos, la conjuncin es
falsa.
p q
V V
p-q
V
F V F ciente para el consecuente. As, por ejem-
V F F plo, en la proposicin "Si estudia ingls
F F F entonces viajar a EE.UU.", la proposicin
b) unciones) La conectiva en las cin suficiente para que se d el conse
proposiciones disyuntivas es " o " . Por cuente, "Viajar a EE.UU.". El nexo "Si...
ejemplo, "Visitar Salta o Jujuy". La " o " entonces..." se simboliza "3".
es ambigua pues puede querer decir "o lo Una proposicin condicional es falsa si
uno, o lo otro o ambos" o por el contrario y slo si su antecedente es verdadero y su
puede querer decir "o lo uno o lo .tro, pero consecuente es falso. En cualquier otro ca
no ambos". La primera se llama disyun- so es verdadera. La correspondiente tabla
cin incluyente, la segunda disyuncin ex- de verdad es la siguiente:
cluyente. Distinguir entre una y otra no
siempre es fcil. En gran medida depende p^q
del contextokPor ejemplo, la proposicin
"Me servir postre o caf" expresada por V V v
alguien que inicia una comida puede ser F V v
interpretada en sentido incluyente: en cam- V F F
bio, l a proposicin " E l precio del men in- F F V
cluye postre o caf" al pie de un men de
precio fijo en un restaurante es claramente Las lneas 1 y 3 de esta tabla no ofrecen
excluyeme. mayores dificultades. Las lneas 2 y 4, en
cambio, pueden sorprender. En realidad,
Juna proposicin disyuntiva incluyente
son raros los condicionales con anteceden-
es falsa si y slo si ambos componentes
te falso en el lenguaje ordinario, pues ca-
son falsos.
recen de sentido. Las proposiciones condi-
Una proposicin disyuntiva excluyeme
cionales establecen una cierta relacin en-
es falsa si y slo si ambos componentes
tre el antecedente y el consecuente. El que
tienen el mismo valor de verdad.
afirma un condicional, no afirma " p " , ni
La disyuncin incluyente se simboliza
"v" y la excluyeme " w " . Las respectivas
tablas son:
p q pvq pwq
' >
l
V
F
V
V
F
V
i i
V
F
F
F
V
F 1 m Hi
i
&M
Adems de "o", traducen disyunciones, (y
"yA>", "o bien", "o bien... o bien...", "a me-
nos que", "salvo que", etc.
i 1
D -~
Han
c)(Condicionalesj En estas proposicio-
nes distinguimos un antecedente y un con-
secuente. E l antecedente es condicin sufi-
1 a
Mate en dos. Juegan las blancas.
La resolucin de este tipo de problemas es una cuestin
puramente lgica.
"Estudia i n g l s " , antecedente, es condi-
53

La proposicin "si se
suelta, se mata" es
falsa, si y slo si, se
suelta pero no
muere, en cualquier
otro caso es
verdadera. En la
ilustracin Harold
Uoyd en el film
Safery Las
(El hombre mosca)
de 1923.
p q p^q
afirma " q " slo afirma que "si p entonces
q", es decir que no puede ser que se d "p"
v v v sicin " N o fue al cine, pero concurri al
y no se d "q"; es decir que "p" sea verda-
dero y " q " sea falso. Slo en este caso,
F v F teatro" incluye una negacin y una con-
V F F sos.
cuando " p " es verdadero y " q " falso, el F F V proposicin solamente, en este caso. Esta
condicional es falso.
Otras expresiones que tienen la misma Adems de "...si y slo si...", se simbo-
funcin que "Si... entonces..." son "Si...,
lizan "s", las siguientes expresiones: "...
...", "... es condicin suficiente para...",
cuando y slo cuando...", "... es equivalen-
" C u a n d o . . . , s i . . . " , etctera.
te a...", "... es condicin necesaria y sufi-
ciente para...", etc.
)Bicondicionales) Son proposiciones
que expresan la equivalencia o mutua im-
)[egacioesJhdL negacin invierte el
p l i c a c i n entre sus componentes. Por
valor de uriaproposicin. Dada la proposi-
ejemplo: "Ingresa a la facultad si y slo si
cin "San Martn muri en Argentina", la
iiprucba el examen". Esta proposicin sig-
correspondiente proposicin negativa es
iiitiea "Si ingresa a la facultad entonces
"San M a r t n no m u r i en Argentina".
upiueba el examen y si aprueba el examen
Mientras que el resto de conectivas son
entonces ingresa a la facultad".
didicas, es decir, se aplican a dos proposi-
I :.\s proposiciones bicondicionales son
ciones atmicas, la negacin es una conec-
verdaderas si y slo si ambos componentes .
tiva mondica, pues se aplica a una propo
llenen el mismo valor de verdad. La tabla
sicin. El smbolo de la negacin es
ilr verdad del bicondicional es la siguiente:
54
La negacin de una proposicin verda-
dera es falsa y la negacin de una proposi-
cin falsa es verdadera. La tabla de verdad
de la negacin es la siguiente:
p -p
V F
F V
Las expresiones que expresan negacio-
nes son "no", "no es cierto que", "no es el
caso que", "no es verdad que", etctera.
4. Simbolizacin de proposiciones
y/tablas de verdad \
Hasta ahora se han simbolizado proposi-
ciones atmicas y moleculares en las que
aparece una sola conectiva: la conjuncin,
la disyuncin, etc. Ahora presentaremos la
manera de simbolizar proposiciones mole-
culares, en general, que combinan ms de
una conectiva. As, por ejemplo, la propo-
juncin; la negacin afecta a la primera
proposicin se simboliza " - p . q". Pero si
consideramos la proposicin "No es cierto
que fui al cine y al teatro", se advierte que
la negacin afecta a la conjuncin en su
conjunto; esta proposicin se simboliza
" - (p . q ) " . Los parntesis, corchetes y lla-
ves indican el alcance de una conectiva, de
modo similar como en matemtica deter-
minan el alcance de una operacin. Por
ejemplo, la proposicin "Si estudia mucho
y tiene buena suerte entonces aprobar el
examen", es una proposicin condicional,
cuyo antecedente es una conjuncin, por lo
tanto se simboliza "(p . q) => r"; sera in-
correcto simbolizarla "p . (q 3 r ) " . La pro-
posicin " N o es verdad que si ensanchan
la avenida y pasa la autopista, las casas se-
55
rn derribadas", es un poco ms compleja;
obsrvese que lo que "no es verdad" es
que "si ensanchan la avenida y pasa la au-
topista, las casas sern derribadas"; es de-
cir, la negacin afecta todo lo que sigue a
ella, y lo que sigue a ella es una proposi-
cin condicional cuyo antecedente es una
conjuncin. Esta proposicin se simboliza:
" - [{p.q)3r]".
Cuando una proposicin atmica se re-
pite, debe repetirse la variable preposicio-
nal que la simboliza. Por ejemplo, la pro-
posicin "Siggy comi y no comi la car-
ne" se simboliza "p . - p " . Por su parte, la
proposicin "Eduardo fue al cine o no fue
al cine", se simboliza "p v - p " . La pro-
posicin " N o es el caso que Pedro estudia
y no estudia" es una proposicin de la
forma " - (p . - p ) " . Las frmulas obteni-
das se llaman formas preposicionales.
Valindonos de las tablas de verdad de
las conectivas que conocemos se puede ha-
llar la tabla de verdad de cualquier forma
proposicional, por complicada que sea. Su-
pongamos una forma proposicional relati-
vamente simple como " - p . q". Hallar su
tabla de verdad requiere los siguientes pa-
t^USe asignan los valores de verdad a los
componentes atmicos en la forma que he-
mos procedido hasta ahora.
-P q
v v
f V
V f
f f
Esta asignacin agota todas las posibles
combinaciones de valores de verdad entre
"p"y"q".
(2jSe resuelve la tabla de verdad que rige
cada conectiva, en primer lugar las de me-
nor alcance, luego las de mayor alcance.

F V
V f
F V
V f
En este ejemplo, el signo " - " afecta s-
lo a " p " ; por lo tanto, es lo que primero se
ha resuelto (columna 1). Este resultado,
con la columna que contiene los valores de
" q " , da por resultado la columna 2, que es
la que contiene el resultado final.
En cambio, si la forma proposicional es
" - (p . q ) " , la tabla de verdad se halla co-
mo sigue:
1. Se asignan valores:
-(P q)
2. Se resuelve la tabla de verdad de cada
conectiva, pero en este caso, se empieza
por la conjuncin (columna 1) y a ese re-
sultado le aplicamos la negacin (columna
2); la columna 2 es la que contiene el re-
sultado final:
2 1
- (p q)
V v
F v
F f
f F f F
Si la forma proposicional presenta tres
variables (p, q, r), la asignacin de valores,
en lugar de tener cuatro hileras, va a tener
ocho. Por ejemplo:
56
pasar un rato agradable.
1 2 Falacias y Medios
r de Comunicacin * 16.Har fro, si sopla viento del sur.
(p q) te* distar come am) 17. Raquel y Patricia son primas o son her-
manas.
V V V V
V
.18. No es cierto que no ha renunciado.
F V V
-19. Si sale de casa, ir al cine o al teatro.
F f V V
20. Alicia vender su casa si y slo si compra
F f V V
/ / ^ ^ 1 un departamento.
V V V F f
21. No es cierto que si estudia aprueba.
f F V V f
22. Si no estudia, lo aplazan.
V F { V f En ocasiones, a travs
f 23. Que apruebe el examen es condicin ne-
f F f V m de las falacias se cesaria y suficiente para que ingrese a la
manipula a la opinin
pblica. facultad.
24. Llueve y no llueve.
Esto es as porque son ocho las posibles
25. Juan fue al cine o no fue al cine.
combinaciones de valores de verdad entre 26. No estudiamos ni nos divertimos.
tres proposiciones. En general, la frmula 27. O no estaba en la escena del crimen o no
para hallar el nmero de hileras que debe comprendo lo que ocurre.
tener una tabla de verdad es " 2 " " , donde vez a los efectos de determinar el nmero 28. No es cierto que si se modifica la orde-
" n " es el nmero de variables proposicio- de hileras de la frmula y se le asignan nanza municipal habr que derribar lo
nales que aparecen en la forma proposicio- siempre los mismos valores. construido y modificar los planos.
nal. As, por ejemplo, si " n = 1 " , el nme- 29. Si viaja a Japn y China, viaja a Japn.
ro de hileras es " 2 " ; si " n = 2 " , el nmero 30. La mesa es marrn y de madera si y slo
de hileras es " 4 " ; si " n = 3", el nmero de si la mesa es de madera y marrn.
H H B B Actividades ESiL^i.'.;.^
hileras " 8 " , etc. 31. Si Sacachispas desciende, sus simpati
zantes exigirn una asamblea y los diri
En general, un procedimiento prctico Abstraer la forma lgica de las siguien-
gentes no continuarn en el cargo, enton
para efectuar la asignacin de valores es tes proposiciones. ees se constituir una nueva comisin di
completar la columna correspondiente a la rectiva y se designar un nuevo druclor
primera variable alternando un valor " V ' . ' 1. Margarita va al cine. tcnico.
y un valor " F " ; completar la columna co- 2. Rogelio no es soltero. 32. La democracia se profundiza si y slo I
rrespondiente a Ta segunda variable~lter- 3. No es cierto que Laura estudia mucho. hay participacin popular. Pero si no hay
ando dos valores " V v dosTaTores " F L 4. David es arquitecto y Jos Luis es abo- participacin popular y la democmcln no
completar la columna correspondiente a la gado. se profundiza entonces puedo h.ilim un
tercera variable alternando cuatro valores. 5. Raquel y Patricia son primas. retorno al pasado.
" V " y cuatro valores " F " . U n poco de 6. Los uruguayos y los argentinos son america-
prctica en la asignacin de valores facili- nos. El Interpretar las siguientes formas pmpo
tar la misma. 7. Jos no estudia, pero trabaja.
sicionales.
8. Pablo estudia, sin embargo no trabaja.
Si la forma proposicional es "p v - p " ,
-9. No es cierto que Pablo haya viajado a
su tabla ser como sigue: 1. ( p ' q ) D h 2. p (qvr)
San Juan y Mendoza.
3. (p=>q)-(r=>s) 4. - [ ( p q ) r|
1 " 10. Jos no viaj a San Juan y no viaj a Men-
5. -(p-q) = (-pv-q) 6. (p >q) (|i i|)
doza.
11. Aunque Pedro estudia, no entiende.
"12. Alicia se servir postre o tomar caf, pe- Siendo " p " , "Delia es prol'cNorn d i l i
f V f ro no ambos. losofa" y " q " , "Juan es prol'esoi de lili
13. Toms visitar Salta o Jujuy. t o r i a " , interpretar las siguidltOl farfflll
Debe observarse que si una variable H. Horacio saldr de viaje a menos que em- proposicionales.
proposicional se repite como en la forma piece a trabajar.
proposicional precedente, se la cuenta una Si va al cine y la pelcula es entretenida, 1. p q 2. p i|
1 5 -
57
 3. - p q ' 4. p=>-q
5. p - q - 6. -p=>q
7. - ( p - q ) , 8. - ( p u q )
5. Tautologas, contradicciones
y contingencias
Algunas tablas de verdad dan por resul-
tado final todos valores " V " , otras dan por
resultado todos valores " F " y un tercer
grupo alterna en su resultado final, valores
" V " y " F " . Se dice que las primeras son
formas proposicionales tautolgicas, las
segundas contradictorias y las terceras
contingentes.
Las tautologas son formas proposicio-
nales que corresponden a proposiciones l-
gicamente verdaderas, es decir, verdaderas
por su sola forma lgica. Por ejemplo, " -
(p . - p ) " constituye una forma tautolgi-
ca, al reemplazar " p " por una proposicin
atmica se obtiene siempre una proposi-
cin verdadera: " N o es cierto que Juan
viaj a Japn y no viaj a Japn", etctera.
Refirindose a las tautologas se ha di-
cho:
...no por ser vacas de contenido las tautologas
son intiles: en muchos casos su verdad formal
no es evidente, y se requiere un detenido exa-
men para advertirla. Adems, si descubrimos
que un enunciado encierra una tautologa deja-
romos de inmediato de discutir sobre ella, perde-
remos inters en la averiguacin de sus presu-
puestos empricos (ya que no los tiene) y lo
que es ms importante podremos utilizarla co-
mo puonte para razonamientos ms complejos.
Por esto la lgica trata muy especialmente sobre
la;, tautologas, y por esto empleamos hoy m-
quinas las computadoras que son formida-
Mir. < onstructoras de relaciones tautolgicas:
il.ulo:. un programa y los datos con que se la ali-
iniMita, la mquina produce una respuesta que
resulte formalmente verdadera bajo condicin de
la verdad de aquellas premisas, v por ejemplo " p = p " , es una ley lgica, 2. No contradiccin:
porque cualquiera que sea la proposicin
Lgica, proposicin y norma. D. Echave y otros. 1980.'
-(P-P)
que reemplace a " p " , el resultado ser una
Astrea, Bs. As., 1980 3. Tercero excluido:
proposicin verdadera. Si " p " se reempla-
za por "Graciela fue a la manifestacin" pv-p
Las contradicciones son formas propo- 4. Doble negacin:
entonces la proposicin que se obtiene es
sicionales que corresponden a proposicio- p= --p
"No es cierto que Graciela no fue a la ma- DN
nes lgicamente falsas, es decir, falsas por
nifestacin si y slo si fue a la manifesta- 5. De Morgan:
su sola forma lgica. Por ejemplo, "p . -
cin". En la lgica proposicional, todas las -(p-q) = ( - p v - q ) - ? DeM
p " constituye una forma proposicional
tautologas son leyes lgicas y no hay ms -(pvq)s(-p--q) f
contradictoria; al reemplazar " p " por una
leyes lgicas que las tautologas. Pero en la 6. Conmutacin: f A
proposicin atmica cualquiera se obtiene
lgica de predicados estudiaremos leyes (p-q)-(q-p)^^> Conm.
una proposicin falsa: "Llueve y no llue- que no tienen la forma de las tautologas (pvq)E=(qvp)
ve", etctera. de la lgica proposicional. 7. Asociacin:
Las contingencias son formas proposi-
cionales que corresponden a proposiciones Las leyes lgicas son infinitas; por su [(p-q)-r]a|p-(q-r)] Asoc.
lgicamente indeterminadas, es decir, pro- utilizacin en el resto de este texto men- [(pvq)vr] = [pv(qvr)]
posiciones que son verdaderas o falsas por cionamos las siguientes: 8. Distribucin:
razones fcticas, pero no por su sola forma lP-(qvr)] = [(p-q)v(p-r)J Distr
lgica. Por ejemplo " - p . q " constituye 1. Identidad: / *3^ |pv(q-r)]H[(pvq)-(pvr)]
una forma proposicional contingente; al 9. Definicin del condicional:-.
p^p
reemplazar " p " y " q " , por sendas propo- ( 3q)^(-pvq)-^
P
Df. condic.
siciones atmicas se obtienen a veces pro- (p = q ) s - ( p - - q )
posiciones moleculares verdaderas y a ve-
ces proposiciones moleculares falsas, por
ejemplo, "Sartre no muri en EE.UU., pe-
ro Lincoln muri en ese p a s " (verdadera)
o "Crdoba no es una provincia argentina
y California es un estado norteamericano"
(falsa).
Determinar cundo una proposicin es
lgicamente verdadera o lgicamente falsa
o ni lo uno ni lo otro es una una de las ta-
reas de la lgica proposicional. Ella provee
un mtodo efectivo para lograr esta deter-
minacin: las tablas de verdad.
6. Leyes lgicas
Se denomina ley lgica a toda forma
proposicional tal que al sustituir sus varia- "No es cierto que llueve o hace
bles por constantes, es decir, las letras pro-
fro" es equivalente de "No llueve
y no hace fro" de acuerdo con
posicionales por proposiciones, el resulta- una de las leyes de De Morgan.
do es siempre una proposicin verdadera.
k ''^''Y:;*:t.
58
por " p" y otra parte por "p"; la disputa
sera meramente de palabras.
c) Contradiccin. Dos proposiciones A
y B son lgicamente contradictorias cuan-
do no pueden ser ni ambas verdaderas ni
ambas falsas. Por ejemplo, las proposicio-
nes " O bien llueve o bien hace fro" y
8. Los razonamientos. E l mtodo Forma lgica
del condicional asociado I pz>q 3. Se realiza la tabla de verdad de la for-
qsr ma proposicional obtenida. Si el resultado
La lgica proposicional no slo permite final es una tautologa, el razonamiento en
determinar cundo una proposicin es l- P=r anlisis es vlido, en caso contrario no lo es.
gicamente verdadera, lgicamente falsa o
ni lo uno ni lo otro desde un punto de vista 1 2 3
El mtodo del condicional asociado per-
lgico, sino que tambin posee mtodos mitp [(p 3 q) - q ] z> -p
ir verificar mecnicamente la validez o
1

"Llueve si y slo si hace fro" son contra- para determinar cundo un razonamiento invalidez de un razonamiento efectuando
v V v F f
dictorias, porque si una es verdadera, la dado es vlido o no lo es. Para ello hay va- los siguientes pasos.
f V v F f
otra es falsa y recprocamente. rios procedimientos; de entre ellos, en este v F f F v

Se puede verificar que dos proposicio- texto se presentarn dos, llamados mtodo 1. Dado un razonamiento se abstrae su f V f V v
nes son contradictorias mediante el s i - del condicional asociado y mtodo demos- forma lgica.
guiente procedimiento: se construye un bi- trativo, y una prueba de invalidez. 2. De la forma de razonamiento se pasa 1 4 2 5 3

condicional de la forma " A = B " y se reali- Estos procedimientos poseen una prime- [(P 3
a la forma de p r o p o s i c i n mediante la q) (q ^ r)J 3 (p 3 r)
za la tabla de verdad correspondiente; A y ra parte que es c o m n : dado un razona- construccin de un condicional cuyo ante-
v V V V
B son contradictorias si y slo si el resulta- miento, para determinar su validez o inva- cei 'ite est constituido por la conjuncin
4 V
f V V V
do es una contradiccin. lidez, debe abstraerse su forma lgica. La de tas premisas y cuyo consecuente es la V
V F F V
En nuestro ejemplo: abstraccin de la forma lgica de un razo- conclusin del razonamiento. A cada for- V
f V V V
namiento se realiza de modo similar a la ma de razonamiento corresponde una for- V
V V F F
A B abstraccin de la forma lgica de una pro- ma proposicional asociada; sta siempre es F
f V F F
una proposicin condicional, es decir, el V
(P w q) (P * q) posicin. Se abstrae la forma lgica de ca- V F F V
signo " D " es el principal; a su vez, en el F
da proposicin que lo integra premisas y f V V V
V F V V V V V
conclusin cuidando repetir la misma antecedente, la conectiva p r i n c i p a l es
F V V F F V variable proposicional cuando se repite siempre la conjuncin.
V V F V FF Por ejemplo: Si, por el contrario, el razonamiento es
una proposicin. Por ejemplo:
F FF F V F invlido, la tabla de verdad de su forma
condicional asociada no dar por resultado
Forma de razonamiento
ra H Actividades Razonamiento una tautologa. Es decir, se pondr de mani-
p=>q fiesto que en el razonamiento en cuestin es
Si tiene la antena adecuada, recibir la imagen.
B Determinar cules de las formas proposi- -q posible que se d la combinacin, premisas
No recibe la imagen.
cionales obtenidas en el ejercicio del par- verdaderas y conclusin falsa. Por ejemplo:
-P
grafo 4 son tautologas, cules contradiccio- No tiene la antena adecuada. Si Sandy no come las flores del jardn, se le dar
nes y cules contingencias. Realizar la tarea un trozo de hgado. A Sandy se le ha dado un
slo con aquellas formas proposicionales Forma de proposicin trozo de hgado. En consecuencia, Sandy no ha
que no tengan ms de tres variables. Forma lgica [(p=>q)--q]=>-p comido las flores.

B Buscar 15 pares de proposiciones en los -q La forma lgica que le corresponde es:

Forma de razonamiento
que se verifiquen las relaciones lgicas estu-
diadas. Cinco en los que se d implicacin, P=>q - P 3 q
cinco en los que se d equivalencia y cinco q=>r q
en los que se d contradiccin. Simbolizar Razonamiento
las proposiciones y verificar por tablas de P=>r
Si estudia ingls, aprender el idioma.
verdad el cumplimiento de la relacin. Si aprende el idioma, viajar a Inglaterra.
Forma de proposicin Y su forma condicional:
Si estudia ingls, viajar a Inglaterra. [(P = q ) - ( q 3 r ) ] ( p )
K-P=>q)-q]=>-p
3 3 r

62

Cuya tabla de verdad es como sigue:
1 - . 2 3
-p => ) q] z> -P
f
V
V v
V V
V V
F
V
O
V
f V f F f V f
V F f F f V V
La primera lnea de esta tabla de ver-
dad muestra que es formalmente posible
en el razonamiento que analizamos que
se d la c o m b i n a c i n premisas verdade-
ras y c o n c l u s i n falsa; lo cual obvia-
mente hace que la forma de razonamien-
to resulte invlida.
La t a b l a de v e r d a d que h a b a m o s
adoptado para las proposiciones condi-
cionales muestra ahora toda su utilidad.
Una proposicin condicional es falsa si
y slo si su antecedente es verdadero y
su consecuente es falso y una forma de
razonamiento es invlida en el caso en
que admita una interpretacin, al menos,
en que las premisas sean verdaderas y la
c o n c l u s i n falsa. Por eso la forma pro-
posicional condicional asociada pone de
manifiesto la validez o invalidez de un
razonamiento dado segn sea tautolgi-
ca o no, respectivamente.
Es interesante recalcar que el procedi-
miento del condicional asociado es un
m t o d o mecnico de d e c i s i n que per-
mite determinar tanto la validez como la
invalidez de un razonamiento dado. La-
mentablemente, en otros captulos de la
l g i c a no se va a poder aplicar ningn
procedimiento m e c n i c o para la decisin
acerca de la validez o invalidez. En es-
tos otros captulos de la lgica ser ne-
cesario aplicar un m t o d o no mecnico,
que es el m t o d o demostrativo, del cual
pasamos a ocuparnos previa exposicin
de las "reglas l g i c a s " necesarias en la
aplicacin del m t o d o .
W & m m Actividades namiento que no tengan ms de tres varia- 7. Simplificacin (Simpl.) 8. Adicin (Adir)
bles. AB A
^ Abstraer la forma lgica de los siguien- A AvB
tes razonamientos:
9. Conjuncin 10. Reemplazo do equiviilimin
1. Si Carlos fue a clase, se encontr con Mario.
9. Reglas lgicas
(Conj.) (RE)
Pero, en realidad, no se encontr con Mario. A Dos formas proponalo
Por lo tanto, no fue a clase. B nales lgicamnnln
2. En febrero, en Pars llueve o hace fro. No Mientras las leyes lgicas son formas pro- equivalentes puodnu
llueve. Luego, hace fro. posicionales que al sustituir sus variables pro- A B sustituirse la una por
3. Si Patricia fue a la fiesta, estuvo con Euse- posicionales por proposiciones dan lugar a la otra.
bio. Si estuvo con Eusebio, Andrs estar proposiciones siempre verdaderas, las reglas
molesto. Pero Andrs no est molesto. En lgicas son formas de razonamiento vlidas y De acuerdo con lo que sealamos. las
consecuencia, Patricia no fue a la fiesta. elementales, al sustituir sus variables por letras " A " , " B " , " C " , etc., reemplazan a
4. Si Susana viaja a Salta, llegar a Zapla. Ya constantes dan lugar a razonamientos vlidos. formas proposicionales atmicas o mole
que si viaja a Salta, llegar a Jujuy y si llega
Con la ayuda de estas reglas lgicas elemen- culares; por lo tanto, si consideramos, por
a Jujuy, visitar Zapla.
tales es posible demostrar la validez de razo- ejemplo, la regla del Modus Ponendo Po-
5. Alberto ingresa a la facultad si y slo si
aprueba el examen. Si aprueba el examen, namientos bastante ms complejos. En su for- nens, cualquiera de las siguientes formas
ha estudiado mucho. Por lo tanto, si no ha mulacin se utilizan, al igual que en las rela- de razonamiento son un ejemplo de sus-
estudiado mucho, no ingresa a la facultad. ciones lgicas entre proposiciones estudiadas titucin de la misma:
6. Si la nueva poltica econmica tiene xito, anteriormente, las letras " A " , "B", "C", etc.,
habr prosperidad y se detendr la inflacin. denominadas variables metalgicas, para in- p^q (p--q)=jr
La nueva poltica econmica tiene xito. Por dicar que cada una de ellas puede designar p p--q
lo tanto, habr prosperidad y se frenar la una proposicin atmica o molecular, tan
inflacin, o habr reactivacin.
compleja como se quiera. Algunas de las ms q i
7. Si se desborda el ro, habr inundacin. Lue- importantes reglas lgicas son las siguientes:
go, si no hay inundacin el ro no se desborda. [p-(qvr)]D(-s-t)
8. La democracia se consolida si y slo si hay p (q v r)
participacin popular. Pero si hay participacin 1. Modus Ponendo Ponens 2. Modus Tollendo Tollens
popular, las provocaciones estarn a la orden (MPP) (MTT) -st
del da. Hay participacin popular. En conse- ADB
cuencia, la democracia se consolida, pero las A porque todas estas formas de razonamiento
provocaciones estarn a la orden del da. -A responden a la estructura:
B
9. Si estos libros dicen lo mismo que el Corn,
entonces son intiles. Si no dicen lo mismo, 3. Silogismo Disyuntivo 4. Silogismo Hipottico A D B
son nocivos. Pero estos libros dicen lo mismo (SD) (SH) A
o no dicen lo mismo. Luego, son intiles o AvB ADB
son nocivos. B
-A B D C
10. Jos no estudia ni trabaja. Si no trabaja, no
tiene dinero y sin dinero, no se ir de su casa. B ADC
Por lo tanto no se ir de su casa. La regla de reemplazo de equivalentes
(RE) autoriza a usar las leyes lgicas que
5. Dilema Constructivo 6. Dilema Destructivo sealan equivalencia lgica, es decir, aque-
B Determinar cules de las formas de ra- (DC) (DD)
llas en las cuales la conectiva principal es
zonamiento obtenidas en el ejercicio ante- ADB ADB
CDD
un bicondicional (leyes 4 a 13 del pargra-
rior corresponden a razonamientos vlidos C:DD
AvC -Bv-D fo 6), por ejemplo, la ley de doble nega-
y cules a razonamientos invlidos por el
cin " p s p " ; esta regla autoriza a
mtodo del condicional asociado. Realizar
BvD -Av-C reemplazar la expresin " p " por la exprc-
la tarea slo con aquellas formas de razo-
64 65
sin " p " y viceversa, all donde sea til ha- las reglas lgicas? S e p o d r llegar a la C Actividades F.31 Efectuar las deducciones correspon-
cerlo. conclusin aplicando las reglas lgicas? dientes segn lo indicado en cada paso.
Se puede pensar que los razonamientos que Indicar qu regla se ha aplicado en ca-
expresan las reglas lgicas son demasiado ele- 1. p3q da paso de las siguientes demostraciones,
mentales como para que tengan alguna impor- 2. qD en qu paso o pasos anteriores. 1. 1. (p q) 3 r 2. 1. - ( P 3 q ) 3 r
tancia Sena un error. Las reglas lgicas son, en 3. zl /~P 2. P 2. r 3 S
1. 1. p-q 2. 1. P 3 q 3. -pvq /rvs 3. -s /-pvq
efecto, formas de razonamiento vlidas y ele- 4. p 3 r de 1 y 2 por Silogismo Hipottico.
2. ( p v r ) 3 S / p ' S 2. pvr 4. de 2 por RE (DN) 4. de 1 y 2 por SH
mentales, pero con su ayuda se puede demostrar 5. -p de 4 y 3 por Modus Tollendo Tollens.
3. p 3. - q /r 5. de 3 y 4 por SD 5. de 3 y 4 por MTT
la validez de razonamientos ms complejos. 4. pvr 4. -P 6. de 2 y 5 por Conj. 6. de 5 por RE (DN)
Se ha logrado llegar a la conclusin, 5. s 5. r 7. de 1 y 6 por MPP 7. de 6 por RE (Def.
partiendo de las premisas y efectuando 6. p-s 8. de 7 por Adic. Condic.)
10. Mtodo demostrativo transformaciones legitimadas por las reglas
lgicas; por lo tanto, el razonamiento es 3. 1. - ( p - q ) v r 4. 1. - ( P - q )
El mtodo demostrativo es otro procedi- vlido. 2. r 3 S 2. P /-qvr 3. 1. (pvq) 3 ( r - s ) 4. 1. - p = q
miento apto para demostrar la validez de Este procedimiendo, parecido a la de- 3.-s /-DV-q 3. - p v - q 2. P 2. - q v r / - r 3 D
un razonamiento dado. El mtodo consta mostracin de un teorema en geometra, es 4. - r 4. - - P 3. r 3t /t 3. de 1 por RE (Def.
de los siguientes pasos: uno de los ms interesantes en la lgica 5. - (P q) 5. - q 4. de 2 por Adic. bicondic.)
6.-p v - q 6. - q v r 5. de 1 y 4 por MPP 4. de 2 por RE (Def.
1. Dado un razonamiento, se abstrae su proposicional, pues no es mecnico, sino
6. de 5 por Simpl. condic.)
forma lgica. que, en general, permite llegar a la conclu-
5. 1. p 3 q 6. 1. (pvq) z> (r-s) 7. de 3 y 6 por MPP 5. de 3 por Simpl.
2. Dejando de lado la conclusin, y por sin, si el razonamiento es vlido, a travs 2. r 3 - q / p 3 - r 2. - r /-p 6. de 4 y 5 por SH
aplicacin de las reglas lgicas a las pre- de diversos pasos. Por ejemplo, en el razo- 3. q 3 - r 3. - r v - s 7. de 6 por RE
misas, se van derivando formas proposi- namiento anterior tambin se pudo haber 4. q 3 - r 4. -(r-s) (Transp.)
cionales hasta llegar a la conclusin: si es- procedido de la siguiente manera: 5. p 3 - r 5. - ( p v q ) 8. de 7 por RE (DN)
to se logra, el razonamiento es vlido. 6- - P - q
Por ejemplo: 1. P 3 q 7. - p I llIlllIlllillllllllllllIlliWlilll I |
2. q 3 r
1. Razonamiento Forma lgica 3- zl /"P
4. - q de 2 y 3 por Modus Tollendo Tollens.
Si Patricia fue a la fiesta, 5 -p de 1 y 4 por Modus Tollendo Tollens.
entonces estuvo con Eusebio. p3 q
"...comenzamos con un conjunto de frmulas que
Si Patricia estuvo con Eusebio, Las demostraciones anteriores constitu- llamamos premisas.
Andrs estar molesto. q3 r yen ejemplos de lo que se denomina una El objeto del juego consiste en aplicar las reglas de
Andrs no est molesto. -r prueba formal de validez. Copi proporcio- manera que se obtenga alguna otra frmula dada (la
conclusin deseada). El conjunto de premisas
na la siguiente definicin de este concepto: corresponde a la posicin inicial de un jugador en un
Patricia no fue a la fiesta. -p
juego. Por una sucesin de jugadas, en que cada
Una prueba formal de validez para un argumento jugada est sancionada por una regla, llegamos a la
2. Se hace a un lado la conclusin y se numeran dado se define como una sucesin de enuncia- posicin del triunfo: la conclusin buscada. Como en
las premisas. un juego.-las reglas permiten toda clase de jugadas
dos, cada uno de los cuales es una premisa de tontas; el problema radica en aprender a ejecutar las
ese argumento o se sigue de los precedentes jugadas pertinentes.j...] Ahora bien, en un juego como
1. p 3 q por un argumento vlido elemental, y tal que el el bridge o el ajedrez se escogen reglas que se supone
2. q 3 r ltimo enunciado de la secuencia es la conclu- han de dar como resultado algo interesante o
entretenido. En cambio, la teora de la inferencia lgica
3- z l /-P sin del argumento cuya validez se est demos- es algo ms que entretenida".
trando.
Utilizando n i c a m e n t e las premisas, Lgica simblica. I. Copi. 1967
Introduccin a la lgica simblica. P. Suppes. 1966
qu se puede derivar, por aplicacin de CECSA, Mxico, 1979 Mxico, CECSA, 1974.

66 67