Iniciacion A La Logica

OBRAS QUE INTEGRAN EL REA
METODOLOGA DE LA CIENCIA
1. Pensamiento Yconcepto - Jorge A. Serrano
2. Iniciacin de la lgica simblica - Jos Antonio
3. Mtodo ehiptesis cientficos - Jos Luis Lpez
4. Lacomprobacin cientfica - Melesio Rivera M
5. Leyes, teoras y modelos - Maria Teresa Yurn e
6. El pensamiento cientfico - Hugo Padilla
. .. .,
INICIACION
, A .l A
o leA
siMblicA
J os A ntonio A rnaz
Temas Bsicos
Metodologfa de la Ciencia
CII'JII;IIC
tle 1; 1 I t J i ~ ; 1
1 I t ~ i ~ i II;11
OBJETO DE ESTUDIO DE LA LGICA
lI.;ica es una ciencia y su objeto de estudio lo constituyen las
estructuras o esquemas del pensamiento. Si comp;:..ramos
e nte s e je mpl os de pe nsamie ntos, e ncontrare mo que pue de n
,l cosas muy dife re nte s (e s de cir, su conte nido e s variabl e ),
uhar go tie ne n estructuras comunes:
e s un nme ro primo y 4 e s par.
.,L gasol ina e s infl amabl e y l a potasa e s custica.
'cnus e s un pl ane ta y Sirio e s una e stre l l a.
t arzo tie ne 30 das o marzo tie ne 31 das.
,1 hombre hace su historia o l a historia hace al hombre .
z s impar o 4 e s par.
1 e l hombre hace su historia, e ntonce s e l de stino e s un mito.
I 4 e s par, e ntonce s 4" tambin e s par.
I e l tabaco produce cnce r, e ntonce l os cigarros son u11me -
llo de suicidio.
,1 te ne r dife re nte conte nido, e tos e je mpl os pue de n se r agru-
1 tre s cl ase s, de acue rdo con l as e xpre sione s "y", "o", "si ...
" que re l acionan e ntre s a pe n amie ntos como "4 e s irrl par",
I S l l ama proposicione s.
,,~ica proposicional es la parte de la lgica que estudia las
11 '/IIt' 1'1' relacionan unas proposiciones con otras '1, sobre
11'/(/( /('" '/111' \1' do entre las propo iriones que componen un
/ , . " 1 ( / .
1 4
1.2. LENGUAJE NATURAL Y LENGUAJE SIMBLICO
El l e nguaje e s un medio, un instrume nto por e l cual se trasmite
informacin, L os l ibros, fol l e tos, pe ridicos, e tc. son bue nos e je mpl os
de l e nguaje e scrito, util izado para trasmitir informacin,
No todos l os l e nguaje s son he chos por e l hombre ; l as abe jas, por
e je mpl o, informan a sus compae ras de panal sobre l a l ocal izacin
de pol e n, hacie ndo cie rto tipo de movimie ntos que pare ce n una danza,
El de sarrol l o de un e mbrin de cual quie r e spe cie e st guiado por l a
informacin trasmitida por l os ge ne s de l as cl ul as ge rminal e s.
En l os l e nguaje s he chos por e l hombre , l a informacin se tras-
mite por me dio de signos, que pue de n se r se as, gritos, pal abras,
vol utas de humo, combinacin de col ore s, e tc, En re al idad, l os l e n-
guaje s humanos son sistemas de signos, que re pre se ntan al go, ya se a
util izando cada signo individual me nte , o combinndol os de al guna
mane ra,
En e l l e nguaje natural , que apre nde mos e n forma e spontne a y
e mpl e amos e n nue stra vida cotidiana, l os signos util izados son pal a-
bras, habl adas o e scritas, l as cual e s tie ne n un de te rminado significado,
Sin e mbargo, e s un he cho que una misma pal abra pue de te ne r o
usarse con dos o ms significados distintos, de pe ndie ndo de l as circuns-
tancias (como "diabl ito", que se util iza para nombrar l o mismo a
un nio travie so que a cie rto tipo de cone xin e l ctrica); tambin
e s comn que dos o ms pal abras te ngan e l mismo significado o se l e s
util ice e n e l mismo se ntido (como "al umno" y "e studiante "),
Gracias a e stas impre cisione s de l l e nguaje natural se produce n
muchos chiste s (sobre todo l os de dobl e se ntido) y muchas e xpre sione s
cmicas. Pe ro tambin se originan confusione s y e rrore s, que si bie n
e n l a vida diaria no e s de l todo ne ce sario e vitar, e n al gunas activi-
dade s, como l a cie ntfica, s e s pre ciso e l iminar e n l o posibl e , Es por
e l l o que e n l as cie ncias nos e ncontramos un l e nguaje pre ciso, tcnico
y l l e no de smbolos, que son signos de signos, e s de cir" signos e l e gidos
cuidadosa y conscie nte me nte para re pre se ntar a otros signos,
Por se r producto de una e l e ccin, l os smbol os tie ne n carcte r
conve ncional , pe ro de ntro de un l e nguaje de te rminado pose e n sie mpre
e l mismo significado, sin que vare de acue rdo con l as circunstancias;
por e je mpl o, de ntro de l l e nguaje de l a ge ome tra pl ana, e l smbol o
"71''' significa sie mpre l a re l acin cuantitativa que e xiste e ntre e l di-
me tro y l a circunfe re ncia d un Crcul o cual quie ra (3,14159), El
smbol o pue de variar de significado, p ro no de ntro de l mismo
l cnguujc.
La simbolizacin del lenguaje lgico 15
1 11'11 varios l e nguaje s cie ntficos: tantos como cie ncias partic
1 111 r(' l os ms conocidos e stn e l de l as mate mticas e l de Ia
I11 e l de Ia J , a
e a ogica, que e s e l que vamos a e xaminar e n se guida.
A S'MBOLlZAC'N DEL LENGUAJE LGICO
imbol izar un l e nguaje l o que se pe rsigue e s b
I id d' , asicame nte
, ( art a y exactitud, Es ms se ncil l o y tambin re sul ta ' ,
'" 'l'. ;tC't,ore pre se ntar l as cosas por me dio de smbol os Por e l l o.
Il rrhl l l l z;J crnde l l e nguaJ 'e l gico no ' " ,
1111 II~f ,s pe rmite e xaminar ms fcil -
11 r " I ucrcm-, de l pe nsarme nto y sus l e ye s, l as cual e s e s pre ciso
'/ ,e mos que nue stro pe nsamie nto se a corre cto,
, 11 ':1 l ogr ~proposicionaI se e xaminan l as posibles re l acione s e ntre
1'11 11I()r~~'~, szn atende~ ~ su contenido, En e sto e s particul arme nte
I hl l hol rz<l fl as proposicione s Consimpl e l it 1 "1 '
I 1 I s I e ra e s y as e xpre sione s
111 I as ual e s SOnre l acionadas (como "y" "" ",
1 '0 1 ' di d ' , o, Sl .,. e nton-
111 10 e SIgnOScuyo significado se a constante ' De e sta
11 r01 I'~ms fcil , como se ve r ms ade l ante de cidir si' ,
1111 rl wnamie nto e s corre cto o no 1 '1 " por e je m-
I 11/11 I 01110 e n 1 ' , ' o cua no SIe mpre re sul ta
e siguie nt caso:
1 111 l a L una hay vida, e ntonce s e n l a L una hay agua."
,N" ()('IIITCque e n l a L una hay vida,"
1,l Ir.:o,no e s cie rto que e n l a L una hay agua,"
rico corroe l a made ra.
- e s igual a tre s.
n ao bisie sto.
come r chicharrn e n l os concie rtos.
l os marcianos?
sue rte !
e)
-

~ 1 . ' l l e S
Illes
. 1 1 1 1 1 1 1 1 ~ a l t ; l a I
A PROPOSICIN?
son producto de una actividad me ntal y ne -
.-Ju:ados para pode rl os e xaminar.
lIiciol:lcs- son pe nsamie ntos e n l os que se afirma al go y
r e l l o, me diante e nunciados u oracione s de cl ara-
que l as oracione s (conjuntos de pal abras que
._001to compl e tos) se divide n e n de cl arativas, impe ra-
,..lS- y e xcl amativas. Sl o de l as oracione s de cl arativas
trasmite n una proposicin que , por se r una air-
i_n~,na o falsa. De l as siguie nte s oracione s, sl o l as tre s
de cl arativas, nos comunican una proposicin, ve r-
- tre s l timas no trasmite n una proposicin, pue s l as
._tas- o e xcl amacione s no son ve rdade ras o fal sas (son,
o injustas, ade cuadas o absurdas, since ras o
de de finir una propo 1C10ncomo e l significado de
lkldarat ignificado que pue de se r ve rdade ro o fal so
17
18 Cap. 2. Proposiciones simples y compuestas Conectivas lgicas y tablas de verdad 19
He mos de distinguir, ade ms, que l as proposicione s pue de n. se n de
dos tipos: simpl e s (e l e me ntal e s) o compue stas (mol e cul are s). Exa-
mine mos l os siguie nte s e je mpl os:
l . 4 e s un nme ro natural .
C) 4 e s par.
3. L a bal l e na e s animal manno.
4. L a bal l e na e s un pe z.
5. L a bal l e na e s un mamfe ro.
6. L a bal l e na tie ne re spiracin pul rnonan..
7. 1976 fue ao bisie sto.
8. Fe bre ro de 1976 tuvo 29 das.
9. 4 e s un nme ro natural y 4 e s par.
.1O.Cuba e s una isl a y Baja Cal ifornia e s una pe nnsul a.
11. L a bal l e na e s un pe z o l a bal l e na e s mamfe ro.
12. Turqua e s un pas e urope o o Turqua e s un pas asitico.
1 3. Si l a bal l e na e s un mamfe ro, entonces l a bal l e na. tie ne re s-
piracin pul monar.
1 4. Si aume nta l a te mpe ratura de un gas, entonces aume nta su
vol ume n.
15. 1976 fue ' ao bisie sto si y slo si fe bre ro de 1976,tuvo 29 das,
16. El hombre e s re sponsabl e si y slo si e l hombre e s l ibre .
1 7 . No es el caso que 4 e s par.
1 8. No es cierto que e l agua e s un e l e me nto.
I por l a e xpre sl On "y", que sirve para e nl azarl as y formar l a
1111 compue sta.
mhiu e s una proposicin compue sta: "No e s e l caso que 4
J "U 'S una parte de e l l a. e s, a su ve z, una proposicin: "4 e s
pol rt re stante : "no e s e l caso que ", e s una e xpre sin qU L
I ncin.
1" II<'J Sinte re sa e xaminar l as relaciones entre proposiciones,
,'/,'/Ilemente de cul sea su contenido, simbol izare rnos a l as
CIIIIC'Ssimples me diante l as l ite ral e s minscul as p, q, r. .. w.
III.II,'mo a l as proposicione s compuestas a partir de e sas mis-
t 1di', y me diante al gunos smbol os e spe cial e s para l as e xpre -
1'11 IIOSpe rmite n formar l as proposicione s compue stas.
NECTIVAS LGICAS Y TABLAS DE VERDAD
J numin n conectioas lgicas l as e xpre sione s que sirve n para
1"l Iposicione s compue stas, a partir de l as proposicione s simpl e s.
1I11'Icado y e xaminare mos l as siguie nte s:
'1111''s aso que " (ne gacin)
(conjuncin)
(disyuncin)
(condicional )
(bicondicional )
..
',,"
e ntonce s"
'1 ..610 i"
L as ocho prime ras proposicione s son simples (o e l e me ntal e s) y e n
e l l as no e s posibl e distinguir parte s compone l (te s que se an, a su ve z
tambin proposicione s, e s de cir, afirmacione s ve rdade ras o fal sas; po
e je mpl o, e n l a proposicin "L a bal l e na e s un mamfe ro" te ne mo
como parte s l os trminos "bal l e na" y "mamfe ro", que no son pro
posicione s pue s no son afirmacione s (y por tanto, no son ve rdade ro
o Ial sos).
En cambio, a partir de l e je mpl o 9 te ne mos propo.) ronc: com
puestas (o mol e cul are s ) , e n l as que s e s posibl e distinguir part
que son, a su ve z, proposicione s (ade m s de icrtas e xpre sione s com
"y", "o", e tc.).
A s, l a proposicin "Cuba e s una isl a y Baja Cal ifornia 1'., 1111
pe nnsul a" st compue sta e n r l idad por dos pmp )~i('i()l Ic'~simpk- :
acin
1111,1proposicin, e posibl e ne gar su se ntido e n varias for-
I j, mpl o, l a propo icin simpl e "El pl omo e s radioactiva"
111 -,l il a me diante l a iauie nte s proposicione s compue stas:
,,/ ea o que e l pl omo e a. radioactivo."
I ",'\ rirrto qur e l pl omo es radica tivo."
" 0 1 urrr q1 l/ ' e l pl omo e s radica tivo.'
1.1 pl l l l l l O /lO C' radioactivo."
a ) "Cuba ''s 1IJ 1i1i-J a"
/1) "Bl jol C:,IIfIJ IJ l i1I'~ul l a pI'IIIIIIII.I",
,11im pl l dI' Ir!l m ir a l a pal abra. "no", quc
)l l ,'ni iI re mo mcd iante e l sim-
IIciu, 10101.1. icmpre a l a
J 01 1.11\10, i 1 J r nt.uuo
P
r-'p
v
m" P,.,r;
F V
p
20 Cap. 2. Proposiciones simples y compuestas
Conectivas lgicas y tablas de verdad 21
l a proposicin "El pl omo e s radioactiva" me diante l a l ite ral q,
ne gacin se re pre se ntara as: r-'q (que se l e e "no q").
IJ ('~ fal sa ("El pl omo e s radioactiva").
IJ ('S ve rdade ra ("El pl omo no e s radioactivo").
c ('S fal sa ("No e s cie rto que e l pl omo no e s radioactiva").
"El pl omo e s radioactiva"
1111111'11 te pode mos ne gar l a propo icin r-'p, obte nie ndo ,....-~p.
1t1.1dr ve rdad se ra:
q
v
He mos dicho que toda proposicin e s ve rdade ra o fal sa, por l o q
al ne gar una proposicin cualquiera, como p, sta pue de se r ve r
de ra (V) o fal sa (F).
F
(prime ra posibil idad)
onjuncin
(se gunda posibil idad)
111111111 l a cone ctiva "y" e s e mpl e ada para e nl azar dos proposi-
11111('e l se ntido de afirmar que son simultneamente uerda-
1'111('je mpl o, al de cir: "L ondre s e s l a capital de Ingl ate rra y
111111 isl a", l a cone ctiva "y" tie ne l a funcin de indicar que
I'l l Iposi ione s conjuntadas son igual me nte ve rdade ras.
nnhnliz a l a conjuncin me diante e l signo" 1 \" , e l cual se
,"111' l as propo icione s conjuntadas, de tal modo que si r e s l a
11111 "L ondre s e s l a capital de Ingl ate rra" y s e s l a proposi-
1I1t.1(S una isl a", l a conjuncin de ambas se re pre se ntar:
1]11I (' Ice "r y s").
1111]11('l a conjuncin de dos proposicione s cual e squie ra in-
(l d,Id simul tne a de ambas, l a proposicin compue sta re sul -
V I ul adcra si efectivamente son ve rdade ras ambas. En otro
1 1"l Iposi i6n re sul tante se r fal sa. A s, por e je mpl o, l a propo-
l' q l 'S v rdade ra sl o si tanto p como q son ve rdade ras. Si
1d.l dn a pe ro q e s fal sa., p 1 \ q e s fal sa; si p e s fal sa y q e s
1 11, P 1 \ c 's faba, e igual me nte si son fal sas tanto p como q.
11111]I()(it'nl Osre sumir e n una tabl a de ve rdad de l a conjuncin:
Negar una proposicin es indicar que es falsa. Si ne gamos a
sie ndo p ve rdade ra (prime ra posibil idad), obte ndre mos una pro
cin, fal sa; si, por l o contrario, ne gamos a p, sie ndo p fal sa (se gun
posibil idad), obte ndre mos una proposicin ve rdade ra. Es de cir:
Si p e s ve rdade ra, r-'p e s fal sa.
Si p e s fal sa, ""'-pe s ve rdade ra.
Esto se sue l e re pre se ntar me diante una tabla de verdad, l a e
mue stra l os posibles valores de verdad (ve rdade ro o fal so) de U
proposicin compue sta:
A cl an-nu, pOI l timo, '11\(' no sl o ('S posibl e ne gar proposl cl O
,il l l PIi' illo 11111111 111,1 1I111 Ipl II'.l as, POI'e jcmpl u, plldt'llIOS llegar
plllpll j( 111I '11 11111111 1111( I,Hl io,\( IV o", CIH'II'J1Ir ('111,1\1111 (011
ol il 1111 11lo I 11 1101111111 q (1111110'1), (1 l' 1]11(':
p q pl \ q
V V
V "Siil
V F F
F V F
F F
,-
2
p q p '"""'q
V V W F a
W :F V V b
F ' V F F e
F J F F V d
1 1 3 3
Conectivas lgicas y tablas de verdad
23
L as dos prime ras col umnas indican l as posibl e s combinacion
(que son. cuatro) de l os. val ore s de ve rdad e n l as prqposicione s -re l
cionadas por l a conjuncin. Esas comhinacione s son: YV , V F, F
v :HF.
. 'L a te rce ra col umna indica e l val or de ve rdad de p !\q corre
pondiente .a cada una de e sas posibl e s combinacione s.
Me diante l a conjuncin e s posibl e re l acionar tanto proposicion
simpl e s como compue stas; por e je mpl o, pue de conjuntarse l a prop
.aicin simpl e p, con l l a proposicin compue sta '"""'q.De l a proposicil
re sul tante , P /\ '"""'q,-tambin pue de hace rse una tabl a que mu
sus val ore s de we rdad, de acue rdo con l os val ore s de ve rdad de I
proposicione s simpl e s que e n e l l a inte rvie ne n:
conjuncin de p, fal sa, con """'q, fal sa, dio fal so (F). y e n
e l re ngl n d, l a conjuncin de p, fal sa, con """'q, ve rdade ra,
dio fal so (F).
l ,a tabl a de ve rdad de l a proposicin p /\ """'qnos mue stt"a que e s
ide ra sl o cuando p e s ve rdade ra y q e s fal sa (re ngl n h).
.".11 ge ne ral ,. una tabl a de ve rdad e s un procedimiento grfico que
IIlIlIt de te rrmna~ l os posibl e s val ore s de ve rdad de una proposicin
'pue sta, a partir de l as combinacione s de l os val ore s de ve rdad
11 proposicione s simpl e s compone nte s.
'ido 1
1)" r~rrIl e se l a tabl a de ve rdad. de l a proposicin '"""'P /\ q
p q """'p /\ q
V V
V F
F V
F F
2
L os pasos se guidos al construir e sta tabl a de ve rdad fue ron:
1), .\l 1"6J l e se l a tabl a de ve rdad de l a proposicin """'p 1 \ ~q
1. A notar l as cuatro posibl e s combinacione s de l os val ore s
Me rdad, de l as proposicione s simpl e s que sirvie ron para Iorm
'l a proposicin compue sta.
.2. A nal izar e l sentido de l a proposicin compue sta, para de t
minar cul e s su conectiua principol. (que e n e ste caso e s
O'@!n.,junc.i.n \de 'J D '<10n ,....., q) .
:3. A notar e l val or de ve rdad de L asproposicione s compone n
con re spe cto a l a conectiua , 'f J r r in iIP a l. En e ste caso se anota
l os val ore s de ve rdad de p, e n prime r trmino, y de """'q,
.se gundo.
4. A notar e l val or de ve ndad de l a cone ctiva principal . En
re gIn a, l a conjuncin de p, ve rdade ra, con """'q, fal sa,
fal so (F). En 1 re ngl n b, l a conjuncin Ir 1', ve rdad
on ... q, e rdadr ra, dio ve rdade ro ( ), h, 1, ngl n e ,
p q
"""p /\ '"""'q
V V
V F
F V
F F
, Disyunci6n
1" e unrcivn "o", (1'1(' ~w simbol iza con e l signo "V ", tie ne l a
11 1,," de ' <'nl azar dos proposicion('s, indicando que al menos una
1 1 , 1 1 ,'1 nrrdadrrn (1II1nql H' tambin pucd: n S(rl o ambas); por
1111'1", 'i, l a pl l l pU ei(l/I ":i (' 111I 111'1/11('10primo" y s e s l a propo-
sicin "3 e s un nme ro natural ", l a proposicin compue sta r V s
indica que cuando me nos una de l as proposicione s simpl e s e s ve rda-
de ra. Como e n e ste caso as suce de , l a proposicin r V s e s ve rdade ra.
En ge ne ral , dada una proposicin compue sta cuya cone ctiva e s una
disyuncin, como p V q, se r ve rdade ra si al menos una de las alter-
nativas es verdadera (y por supue sto, cuando l as dos l o se an). Se r
fal sa sl o cuando l as dos al te rnativas se an fal sas.
p
v
v
F
F
q
v
F
v
F
En una disyuncin l as al te rnativas pue de n se r tanto proposicione s
simpl e s como compue stas; por e je mpl o, pode mos pone r e n disyuncin
l a proposicin simpl e p, con l a proposicin compue sta p A q, re sul -
tando p V (p A q). El parnte sis tie ne l a funcin de indicamos qu
p 1\ q se toma como un todo, de l cual te ne mos que ave riguar pri-
me ro su val or de ve rdad, ante s de pone rl o e n re l acin con p. Su
tabl a de ve rdad se ra:
1
9
Y 2
9
P
q
P
V (pAq)
V V
V F
F V
F F
3
9
P
q
P
V (p A q)
V V V V
V F V F
F V F F
F F F
25
4
9
P
q
P
V (p 1 \ q)
V V V V
V F V F
F V F F
F F F F
*
II )s se guidos:
1" A notar l as combinacione s de l os val ore s de ve rdad de p y q.
1" D te rminar l a cone ctiva principal : l a disyuncin.
1" A notar e l val or de ve rdad de l as al te rnativas.
.. A notar e l val or de ve rdad de l a cone ctiva principal .
111 otra parte , convie ne acl arar que he mos util izado l a disyun-
11 ~ .ntido inclusivo, pue s indica que al guna de l as al te rnativas
1I1.l d .ra, o incl usoambas l o son. Sin e mbargo, al gunas ve ce s se
I l u e xpre sin "o" e n se ntido exclusivo, como e n l a proposicin:
El protn tie ne carga positiva o e l protn tie ne carga ne -
'ativa",
-ntido e s que sl o una de l as al te rnativas e s ve rdade ra, e n
'o Ipl l ~l a otra e s fal sa. Se e xcl uye l a posibil idad de que ambas
Il cl adcras, pe ro tambin de que ambas se an fal sas.
I ,,'/,.,/lOS construir una proposicin compuesta que represente el
I /" r. trlusiuo de la disyuncion,
rrpl'C: ntamos:
on p: "El protn tie ne carga positiva"
on q: "El protn tie ne carga ne gativa"
r;II11Ol l e l sentido de l a proposi in 1 como:
710 l a l . ( J no. da P y se da q",
i( i 11
rCap..2. P r oposiQi( j)f / , . es siI'f f li, p'les y c o, m pu e, S 'f 6 > S
(p1 \ --'q) V (--'p A q)
cura inte rpre tacin se ria:
~'J El pnorn ,tie me carga posil iiva o/ no ne gatva, o bie n,
e l iJ il fot&nno tie ne carga positiva y tie ne ne gativa,
L a tabl a .de ve rdad de l a ;piwposicin construida mue stra e n qu
casos e s ve rdade ra una disyunc'ioo en se ntido e xcl usivo: cuando una
de las alternativas es verdadera y la otra es falsa.
,p q
(p /\ r-'q)
V (r-'p 1 \ q)
V V F
F
V F V
F
,F V F
V
F F F
F
*
Obsrve se que pudimos construir una propOSl Cl onque re fl e ja o
trasmite una disyuncin e n se ntido e xcl usivo; para e l l o no he mos
te nido que .admitir una nue va cone ctiva, sino que he mos e mpl e ado
l as que ya te namos: ne gacin, conjuncin y disyuncin (e n se ntido
incl usivo) .
Eje rcicio 3
Constryase una tabl a de ve rdad para l a proposicin:
(pV r-'q) V P
2.2.4. Condicional
En l a proposicin compue sta:
" Si Marte e s un pl ane ta, entonces Marte bril l a con l uz re fl e ja"
l a pr sin (( i. .. entonces" e l a cone ctiva l l amada condicional
cJ l I<' se simhol ixn con e l signo "~", l ual se e s rih cntr l a
.Conectioae fl~cas~ .tdb'la1ile.venClad 27
do pr~sl cl One s re l acionadas por e sta cone ctiva. J EI e je mpl o .an-
tcrior se pue de -simbol izar e moaoe s:
r-----7 s ("si r, e nte nce s -s"},
donde r e s l a -proposioin '''Mante e s un pl ane ta", e n tanto que s e s
l a proposicin "Marte ibril l a con l uz re l e ja"..
A l ~e l ~cio~ar dos proposicione s .con e sta cone ctiva e s '!W l l !ty impor-
uuuc distinguir l a que que da a l a izquie rda de l signo "~", a 'l a
cuul se l l l ama antecedente, de l a que que da a l a de re cha :dl signo,
l In, ,que se l l ama consecuente.
ante ce de nte conse cue nte
El se ntido de e sta cone ctiva e s se al ar, gue si la proposicir: ante-
,,'rnle e-s erdadera, tambin lo res la pro!J:@.sii,Ciin consecuente; e s
11 (Ir, basta o e s suficie nte qu.e e l ante ce de nte se a ve rdade ro, para que
I runsccue nte tambin se a ve rdade ro. De aqu que una proposicin
IIlIlpll ta e n l a que l a cone ctiva e s condicional , se r falsa si sie ndo
11d.ld ro e l ante ce de nte , e s fal so e l .conse cue nte . L a proposicin se r
, uludcra e n l os de ms casos, e n l os que no ocurre que e l ante ce de nte
'1'1'<1<de ro y e l .conse cue ne e fal so, L a tabl a de ve rdad 4e l a con-
111 1.lllal s, e ntonce s:
p q p~q
V V V
I-
V F F
F V V
F l '
L a propOSL CJ 0:Il p~ g e s fal sa
+-- cuando e l ante ce de nte p e s ve rda-
de ro y e l c,(i).;jse cue nte q e s fal so. !Es'
ve rdade ra e n l os de ms casos.
util izar l a cnml icionnl s(' indica que si 1 ante ce de nte 'e s ve r-
II( l O. ntoncc: tumbi 11 1 nmS!'('IJ ('l Il c ('S ve rdade ro. Formare mos
, P' Opl l il in (OI1l J l II U I (IU \c'1l., e l mismo sentido, e s de cir, que
1 '1 " 1 ' /0 mismo 111 IIn l 110111 i! ion 1orul i: ional , aunque sin util izar
t 1011 di t.
28
Cap. 2. Proposiciones simples y compuestas
Tome mos l as siguie nte s proposicione s e l e me ntal e s:
1. "2 e s factor de 8" (que re pre se ntare mos con p), y
2. "8 e s par" (que re pre se ntare mos con q).
L a proposicin compue sta condicional se r:
"Si 2e s factor de 8, e ntonce s 8 e s par."
Simbl icame nte : p~ q
Esta otra proposicin compue sta tie ne e l mismo se ntido:
No ocurre que: 2se a factor de 8 y 8 no se a par."
Simbl icame nte : r-' (p 1 \ r-'q)
(Obsrve se que se e mpie za con una ne gacin, se guida de dos puntos;
e sto l o he mos inte rpre tado como una ne gacin que afe cta a todo l o
que sigue de spus, por l o que he mos e nce rrado e ntre parnte sis e se
todo al e xpre sarl o simbl icame nte .) .'
L as proposicione s: a) p~ q, b) r-'(p 1 \ r-'q) tie ne n e l nus-
mo se ntido:
a) p~ q (si p e s ve rdade ra, e ntonce s q e s ve rdade ra).
b) r-' (p 1 \ r-'q) (no suce de que p se ave rdade ra y qse afal sa).*
Pue sto que e stas dos proposicione s tie ne n e l mismo se ntido, tam-
bin tie ne n l a misma tabl a de ve rdad, pue s son ve rdade ras o fal sas
e n l os mismos casos (e s de cir, con l as nU smas combinacione s de l os
val ore s de ve rdad de l as proposicione ssimpl e scompone nte s) .
p q
(p 1 \ r-'q)
V V
F
V F
V
F V
F
F F
F
*
* R urd se que n gur una proposi i6n e s indicar que e s faba; n l a pro-
posicin b), -q indim In r l se dud di' q.
29
p q p~q
V
V
F
F
*
hjt'rcicio 4
l onstryase una tabl a de ve rdad para l a proposicin
(p~q) 1 \ p
.2.5. Bicondicional
L a e xpre sin "si y sl o si" e s unacone ctiva l gica que se sim-
hol izs con e l signo "~", y que al re l acionar dos proposicione s
Indicaque e l val or de ve rdad de ambas e se l mismo, ya se ave rdade ro
11 f.11.'0. A s, P~ q (se l e e : "p si y sl o si q") e s una Pro-
1" icin que significa que si p e s ve rdade ra, entonces q tambin e s
,Irl ude ra y si q e s ve rdade ra, entonces P tambin e s ve rdade ra. En
11 .il idadl acone ctivabicondicional e sl aconjuncin (y) de dosproposi-
I hIIII'S condicional e s (si ... e ntonce s). Es de cir, l a proposicinP ~ q
111 111 e l mismo se ntido que l a proposicin (p ~ q) 1 \ (q~ p) .
(1 "curde se que e n una proposicin condicional se afirma que si l a
pl l l posici6n ante ce de nte e s ve rdade ra, tambin l o e s l a proposicin
11111 ('('ti .nte .) En conse cue ncia, l a tabl a de ve rdad de p~ q
1.\ misma que l a de (p~ q) 1 \ (q ~ p), pue s e stas dos pro-
1'0 il ioucs son igual e s e ntre s.
p q (p~q) 1 \ (q~p)
V V V V V
V
l o'
F F V
l o'
,
V
F
},
.-
.-
F
l o'
V V
30
P
q
V V
V
T
F
F
V .
F F
Eje rcicio 5
Constryase una tabl a de ve rdad' para l a proposicin
2.2.6. Tablas de Vel" dCif d
He mos-e stado e rnpl ando l as tabl as de ve rdad e n l as se ccione s
ante riore s con e l fin de mostrar l os posibl e s' val ore s de ve rdad de ,
proposicione s compue stas.
Dada una proposicin compue sta, de l a cual conozoamos tanto su
forma como su conte nido, no se ne ce sita construir una tabl a de ve rdad
para sabe r si e s ve rdade ra oI fal sa cuando sabe mos e l va~or de ve r,
dad de sus proposicione s simpl e s compone nte s; por e je mpl o, de
acue rdo con l a forma de l a proposicin:
"Si l a bal l e na e s mamfe ro, e ntonce s l a bal l e na tie ne re spiracin
pul monar"
pode mos re pre se ntarl a como r ~ s, sie ndo r ve rdade ra (:'L a ba-
l l e na e s un mamfe ro") y sie ndo s ve rdade ra ("L a bal l e na tie ne re s-
. . , 1 ") Sabe mos por tanto que r ~ s e s ve rdade ra, pl raCl Onpu monar . , ,
sin ne ce sidad de hace r toda una tabl a de ve rdad:
r~s
V V
'--y----J
V
Pcr e sto e s muy imp rtantc e n l a parte d
que no!! (l ( IIpaJ no" J 1(~'1inte re sa anal izar l as Iormu
de l a
1"( l a-
COJnectivas lgic a s y tablas jk. venddl 3$
IOnanJ Il ~ prop0sicione s con otras, independieneemeni de SU) eanoe-
n ido.
n pU bposici<ome s como "V e nus e s una e stre l l a' o V e nus' e s; um
J 1,111.ta y si' V e nus ~ mE!- pl ane ta; e ntonce s V e nus bril l a con. l U !
njU' adJwraemos (e s de e r; "se paramos?') de l conte nido su' [arma;
11 que pode mos re pl '~e n1ia'D'oermn:
U na vez aJ )-stra<dara fl!:lll:lTfal de una proposicin, he mos de . d6'-
t rminar e n! qu casos e s ve rdade ra y.' e n qu casos e s fal sa, l o cuaI1
. It "rnd (o e st e n funcin'). de l os val ore s de ve rdad de l as propol..
I Cl II('S simpl e s- que inte nvie nsm e m l a. proposicin compue sta, a'S:
11'111) de l as concctiva Igicas e mpl e adas.
1'1\ 'de n formarse , proposicione s compue stas:
l ' rrtir de una proposicin simpl e ; como e n
l'1I1i, de dos proposie ione s simpl e s, como e n
lIt \ proposicione s simpl e s, Gamo e n
,
1
un ms, como e n
J " toe l a t ibl a de ve rdad, de cual quie r proposicin- compue sta,
d ,l Il OtaI'H(' e n primr l ugar l o posibl e s val ore s de ve rdad de l as
I l e l l l l l r.S simpl e s que n e l l a inte rvie ne n. Si e n l a proposicin
J l II ti, 610 hay una proposicin simpl e (como e n '-'p), nica-
I "1 Y dl l l l J l osihl ~ dore s dt ve rdad:
' N
111III o i,ionr. .impk .., una ve z he chas l as
'l IIpi 1. I 'IIn 1,1 {l it i 11I:\, e n l a que S(' anota
III.Id 1I11"II(c', 11,1 t.I (1IIIIpl(,t:\1' l a ('01 "11I 11a:
32
Conectivas lgicas y tablas de verdad 33
Si e n l a prop<J sl cl Oncompue sta hay dos proposicione s simpl
(como e n p /\ q), habr e ntonce s cuatro posibl e s combinacione s d
sus val ore s de ve rdad:
con tre s proposicione s simpl e s: 2
3
=8 combinacione s'
ron cuatro proposicione s simpl e s: 2
4
=16 combinacione s, e tc.
J o:. co~ve nie nte se guir un mismo proce dimie nto para anotar l as
111\11unacione s posibl e s, de acue rdo con e l nme ro de proposicione s
Il Ipl e s compone nte s. Cuando sl o hay una proposicin simpl e , e s
I 1(1 que no cabe n ms que do posibil idade s:
Si e n l a proposl cl On compue sta hay tre s proposl Cl One s simpl
como e n (p V q) /\ (q ~ r), se rn ocho l as posibl e s combinacion
de sus val ore s de ve rdad:
En ge ne ral , e l nme ro de combinaciones de los valores de ve
dad de proposicione s simpl e s se pue de de te rminar de acue rdo con
frmul a:
donde n e s e l nme ro de proposicione s simpl e s que inte rvie ne n
una proposicin compue ta. De acue rdo con l a frmul a re sul tan':
t lunndo e xistan dos proposicione s simpl e s e s conve nie nte que .
1 I V l 'Z he chas ~o~col umnas (una por pro~icin), e mpe ce mos
11 .Il l ~)tare n ~aul tima col umna prime ro una ~ y l ue go una 0,
uutinuar asi, con e ste orde n, hasta compl e tar l a col umna:
p q
V V
V F
F V
}- 1-
p
5'10
6'1-
I anotados l os val ore s de ve rdad de l a l tima col umna e n-
(- ~a l a col umna que e st a l a izquie rda, e mpe zando 'tam-
( (111 0, pe ro ahora de dos e n dos val ore s:
7'1-
con una.proposicin simpl e :
con do propo i, ionr simph
2
1
')"
( combim 111111''\;
~ '"1 \11111 I IIIIIC';
q
35
34
p
Pasamos l ue go a l l e nar l a col umna que e st a l a izquie rda de l a
que ya compl e tamos, e mpe zando tambin con ~ pe ro anotando
de dos e n dos l os val ore s:
Tambin e n l os casos e n l os que hay cuatro o ms proposicione s
1\11'1's compone nte s, de te rminare mos l as posibl e s combinacione s y l as
1101are mos siguie ndo e l mismo proce dimie nto:
(~ Hace r tantas col umnas como proposicione s simpl e s te ngamos.
'Q De te rminar e l nme ro de combinacione s que obte ndre mos, de
acue rdo con l a frmul a que ante s vimos: 2
n
'\9 Contar tantos re ngl one s como combinacione s nos re sul te n.

/(,9 Empe zar a l l e nar l a l tima col umna, anotando prime ro un
val or y l ue go otro.
,'1 Sie mpre se e mpie zan todas l as col umnas con e l val or V .
h
V
Sie mpre se dupl ica l a pre se ntacin de cada val or, e n l a co-
l umna que e st a l a izquie rda de l a ya l l e nada.
A hora se e scribirn l os val ore s de l a col umna que e st a l a iz-
quie rda, tambin e mpe zando con , pe ro anotando de cuatr
e n cuatro l os val ore s:
Una ve z de te rminadas l as posibl e s combinacione s de l os val ore s
, rdad, de l as proposicione s simpl e s que inte rvie ne n e n una propo-
0\1 mpue sta, e s pre ciso anal izar cul e s son l as cone ctivas l gicas
1 ,. mpl e an y, sobre todo, e n qu orde n han de e fe ctuarse l as
I\(ione s l gicas de ne gar, conjuntar, pone r e n disyuncin, e tc.
, ('sto e s pre ciso e stabl e ce r al gunas re gl as conve ncional e s de nota-
I ('inte rpre tacin:
l , S util izan parnte sis para indicar que una proposicin com-
l a se toma omo un todo. Por e je mpl o, si l a proposicin p /\ q
tOl l l ada. omo 1 nt 1 nt de una condicional cuyo con e cue nte e s
I notacin (p 1 \ CJ ) r. Si, e n cambio, a l a propo-
11 p, 1 t l a proposicin q ~ r, l a nota in
p /\ ( I I ('11 1; tubl as de ve rdad de e stas
36
(;ap. 2. Proposiciones simplesy compuestas
proposicione s, l a dife re ncia e n sus re sul tados final e s (marcados
aste riscos) :
p q
r
(p 1 \ q) ----+ r
V V V V
V V F V
V F V F
V F F F
F V V F
F V F F
F F V F
F F F F
*
P
q
r p
1 \ (q--7r)
V V V V V
V V F V F
V F V V V
V F F V V
F V V F V
F V F F F
F F V F V
F F F F V
En l as dos tabl as de ve rdad prime ro se de te rmin e l val or
ve rdad de l as proposicione s e nce rradas e n l os parnte sis (e n l a p
me ra tabl a (p (\. q); e n l a se gunda (q --7 r) .
2. Se util izan corche te s: [] para indicar que una propOSl Cl
compue sta se toma como un todo, aunque e n e l l a apare zcan par
rcsis. Por e jcmpl o, si l a proposicin P 1 \ (q --7 r) ('S una al t
l Iativa (k una disyuncin que ticne como s<,/:~\l ndaal tl 'rl l .\ti,ol l a pr
Conectioas L f {ic 'lls y tablas de verdad 37
I
1.1
notacin se r: l p 1 \ (q --7 r)] V p. En l a tabl a de
1'" tiva prime ro se de te rmina e l val or de ve rdad de l a pro-
l ' , I1.ida e ntre corche te s:
p q r [pA (q----+r)] V
V V V V
V V F F
V F V V
V F F V
F V V F
l o'
V F F
F F V F
F F F F
*
I 1 111 r1l fl l ode ncga in (---,) invie rte e l val or de ve rdad de l a
11111 '1'11'('sl inmediatamente a su de re cha, se a simpl e o corn-
I ,1 (!l 1l 1inuacin de l smbol o de una ne gacin se e ncue ntra
I 11 l iI"I'Hl csp, q, r ... w, l a ne gacin invie rte e xcl usivame nte
1, '(' 1I,Id e l tal l it ral . Por e je mpl o, si r e s ve rdade ra y s e s
II 1 V ('S ve rdade ra, y tambin l o e s ---'r V s.
l' V s ---'r V s
~~
V V V V
j
~
V F
" --y--J
V
III'~~;\' in \(~/() inviu 6 e l val or de v rdad de l a
38
p V q
--
V V
"---y----..J
V
----(p V q)
~~
V l V
"---y----..J
V
" ---y----l
F
Igual me nte , si a continuacin de una ne gacin se e ncue ntra
corche te , l a ne gacin invie rte e l val or de ve rdad de l a proposici
que e st de ntro de l os corche te s, tomada como una sola propo
cin; por e je mpl o, si que re mos ne gar l a proposicin ----(p V q) -q
se gn e l e je mpl o ante rior e s fal sa-, l a notacin corre spondie nte se r
----[----(pV q)] (que se r e ntonce s ve rdade ra).
De acue rdo con l as re gl as ante riore s, pode mos construir tabl as
ve rdad de proposicione s compue stas ms compl e jas, como l a siguie nt
2
p q [~ (p~q) \ ~p]
~
[~ (p~q) 1 \
V V V F V F F F V F
V F V V F F F V F V
F V V F V F V V F F
F F V F V F V F V F
3 3
En ge ne ral , para construir e sta tabl a de ve rdad he mos se guido 1
mismos pasos que indicamos e n l as se ccione s 2.2.2 y 2.2.3:
1Q A notar l as combina ion d 1 ~V. 101 d v did e l
posicinne simpl s ('ompol l ntcs,
Conectivas lgicas y tablas de verdad
39
De te rminar cul e s l a cone ctiva principal ' e n e ste caso se
dr tina condicional cuyas parte s son: '
) ante ce de nte :
h) conse cue nte :
l ' A notar e l val or de ve rdad de l as proposicione s compone nte s
I pt' .l o a l a cone ctiva principal ; e n e ste e je mpl o se de te rmin e l
I tld ante c.e d~nte a y de l conse cue nte b. Esto re quiri hace r pre -
I,,"te l as siguie nte s ope racione s l gicas:
para e l ante ce de nte :
J . De te rminar e l val or de ve rdad de (p ~ q)
') De te rminar e l val or de ve rdad' de ----(p ~ q)
'1. De te rminar e l val or de ve rdad de ----p.
~'. Conjuntar l os val ore s de ve rdad de ----(p ~ q) con
l os de ----p.
1. Inve rtir l os val ore s de ve rdad hal l ados e n l a conjuncin,
para obte ne r l os de ,-,[----(p ~ q) 1 \ pl
h) para e l conse cue nte :
J , De te rminar e l val or de ve rdad de (p ~ q)
'), Dte rminar e l val or de ve rdad de ----(p~ q)
'1. De te rminar e l val or de ve rdad de p
-1, onjuntar l os val ore s de ve rdad de ----(p ~ q) con
l os de p
notar e l val or de ve rdad de l a cone ctiva principal .
1111 I1 yu r. \111I tnbl 1 d( \,('1 dad pam In. siguie nte proposicin:
J ) V (J <)) V ..... pl
2,3, PROPOSICIONES TAUTOLGICAS, CONTRADICTO
E INDETERMINADAS (CONTINGENTES)
Examne nse l as tabl as de ve rdad de l as siguie nte s proposici
40
p
V
F
V
F
q
V
V
F
F
*
Proposiciones tautolgicas 41
oposicione s como l as ante riore s se dice que son, re spe ctiva-
''''((l16gicas, contradictorias o indeterminadas (l l amadas tam-
',,,/.:rntes).
/lro/JOsicin tautolgica e s una proposicin compue sta que
lrrn en todos los casos, cual quie ra que se a e l val or de ve rdad
"oposicione s simpl e s compone nte s. L a proposicin tautol gica
ol l l ga) e s sie mpre ve rdade ra por su forma lgica, e s de cir,
rl l l l l l a. e n que se re l acionan sus proposicione s simpl e s com-
110 ve re mos ms ade l ante , l as tautol ogas son proposicione s
1111Mil e s, justame nte porque no se da e n e l l as l a fal se dad
1Ij.(l Il 1acircunstancia, como l o prue ban l as tabl as de ve rdad
IIl 1l il 'nt s.
I /1/'ojJOsicin contradictoria e s una proposicin compue sta
/,," rl rn todos los casos, cual quie ra que se a e l val or de ve rdad
I'l fIposi ione s simpl e s. Igual que e n l a tautol oga, l a propo-
1IIIII'acl i toria (o contradiccin) e s sie mpre fal sa por su forma
huh-pe ndie nte me nte de l val or de ve rdad y de l conte nido de
1/1"iC'ion s simpl e s que e n e l l a inte rve ngan.
I l o C(II('l a ne gacin invie rte l os val ore s de ve rdad de una pro-
11, ,ti ne gar una tautol oga obte ne mos una contradiccin, y
,\ ,ti 11 gar una contradiccin obte ne mos una tautol oga. A s,
I l a tautol oga p ~ (pV q) obte ne mos l a contradiccin
(p V q)], que e s una proposicin fal sa e n todos l os casos,
111podr-m s comprobar me diante su re spe ctiva tabl a de ve rdad.
I 111',11' l a ontradiccin (p 1 \ q) 1 \ """p obte ne mos l a tautol o-
I(p 1 \ q) 1 \ """p)], que e s una proposicin ve rdade ra e n todos
como igual me nte l o pode mos comprobar me diante una
vrrda l .
q (p 1 \ q) 1 \
V V
p
V
F F
V F F
*
F V F
Encontramos que :
F
p
V
V
V
F
q
V
F
F
F
a) L a prime ra proposicin
dos los casos.
b) L a se gunda proposicin
casos.
e ) L a te rce ra proposicin p
V falsa en otros dos.
p~ (pV q) e s verdadera ( '1 1
*
"""p
F
F
V
V
'rp~ (pV q)] p q """[(p 1 \ q) 1 \ """p)]
V V V F
V V F F
V F V F
V F F F
*
falsa en todo
-'1 r. rrrdadcra 1'11 dOI ( 1
In \ Ilrol' J I/ 'li " indrtrrmin ada (l l amada tambin contingente) e s
/"1'1'0 i. i111 (OIl l PIl l a (1'1t' S nrrdudora 1'/1 n / ~1 l7 1 O I asos )1 falsa
Verdad formal y verdad emprica 43
ef L otros, de pe ndie ndo de l val or de ve rdad de sus proposicion
pIe s compone nte s,
.Son proposicicme s de l as que te ne mos que de te rminar l as
nacIOne s de l os v<ore sde ve rdad que l as hace n ve rdade ras o fa
pDr e l l o, su val or de ve rdad de pe nde no de l a forma l gica sin
vfl l or de ve rdad de sus proposicione s simpl e s compone nte s.
Eje rcicio 7
Ir de pe nde e xcl usivame nte de l modo e n que se re l acionan e ntre s
proposicione s, sin que l os he chos pue dan se rvir para confirmar o
rul ar e ste tipo de ve rdad. L a proposicin r -' (p /\ r -'p), por e je m-
11, e s una proposicin ve rdade ra formal me nte (su tabl a de ve rdad
ucstra que e s una tautol oga}, y l os he chos o fe nme nos re al e s ni
justifican ni pue de n se rvir para re futarl a.
Ut~l ~ando l as 'tabl as de ve rdad, de te rmne se cul e s de l as sigui
p(OpoSl Cl cme sson tautol gicas, contradictorias o inde te rminadas (
tifl ge nte s) .
*
J'
r-'pVq
2 (p1 \ q)~:p
3 r -'[ (p 1 \ q) ~ p]
4 P~r-'p
5 pV""""p
6- q~q
7. (pV .-'p) /\ ('q~ q)
8-
(p~ r-'p) fv\ (pVr -'p)
9. (p~ r -'p) \. (pVr -'p)
10. (.-'pVq) ~~ (p~q)
I'ka. cual fue re e l conte nido de p, se a ve rdade ro o fal so, l a pro-
i in r-' (p /\ r-'p) e s sie mpre ve rdade ra.
En cambio, proposicione s como p 1 \ q son ve rdade ras si y sl o
11. proposicione s compone nte s l o son, para l o cual he mos de e xa-
11 r si su conte nido re fl e ja l a re al idad tal como e s o no. Por e je m-
I i P significa "Praga e s l a capital de Che cosl ovaquia", e n tanto
1( ignifica "Che cosl ovaquia e s un pas e urope o", l a conjuncin
/' y q e s una proposicin ve rdade ra, pue s l o son sus proposicione s
pl rl l compone nte s. A hora bie n, l a ve rdad de stas e s una ve rdad
r onstata o comprue ba con los hechos, con la experiencia de los
"'/Ir; e s una verdad emprica ( om per eia significa experiencia, e n
1 ). Para de te rminar si una proposicin e s ve rdade ra formal me nte
urce sitamos anal izar su forma; para de cidir, e n cambio, si una
icin e s ve rdade ra e mpricame nte , he mos de comparar l oshe chos
re al idad con e l conte nido de l a proposicin.
1 16gicano e s una cie ncia que pe rmita de cidir si una proposi-
mpricame nte ve rdade ra; e sto e s ms bie n e l propsito de
ucias fcticas, e s de cir, l as que e studian l os he chos de l a re al idad,
I 1I Isica, l a qumica, e tc. (factum significa hecho, e n l atn). No
11 l gica donde se comprue be , por e je mpl o, l a ve rdad o fal se dad
I (a de l a proposicin "El rinoce ronte e s he rbvoro", sino e n
I .1. En cambio, l a l gica s se ocupa de e studiar l as ve rdade s
I ,sus e structuras y sus l e ye s, de mane ra que se a posibl e de te r ..
i una proposicin cual quie ra, con un conte nido variabl e , e s
',1 o fal sa formal me nte , e s de cir, inde pe ndie nte me nte de l os
1 l os que se re fie re .
2.t VE RDAD F':ORMAL y VERDAD EMPf RICA
Toda proposici:in e s ve rdade ra o fal sa. Pode mos distinguir, i
e n;bargo, l as que l o son por su pura forma l gica, indcpe ndie nt
mdl .
te
de l os he ch">R d l a re al idad (como I t It( l o l a.'! y ontr
dicCl oncs), de l as ~u l o son, s gn r fl j n I l id I fi 1mnt
L av rdad d ) I rim 11 s una uerdod ] I e rd
" I I I I I ~ l l t . t l l
e l l 1;1 I" i c ; .
I t . . t l t . t l l i c i . t l l ; 1 1
COMPOSICIN DE UN ARGUMENTO
11 .rrgume nto e s una secuencia o serie de proposicione s e n l a que
de ('11as, l l amada conclusin, se obtie ne o de spre nde de l as re s-
I . 1I;II11adaspremisas. El siguie nte e s un e je mpl o de argume nto
e II11 I.L de tre s proposicione s:
' d me rcurio e s un me tal , e ntonce s e l me rcurio e s bue n con-
.l urtor de l a e l e ctricidad.
El m rcurio e s un me tal .
I,II(,~()...
1:1 mcr urio e s un bue n conductor de l a e l e ctricidad.
dns prime ras proposicione s son l as pre misas de l as que se
,".11 11 obtie ne l a te rce ra proposicin, que e s l a concl usin.
"' e " I'a parte , un argume nto l o pode mos re pre se ntar util izando
l id IC"n qllc he mos e mpl e ado para re pre se ntar l as proposicione s
l Ie 1.1 , .(' introdu icndo e l smbol o "1-" para re pre se ntar a l a
, 1"hlt'go" (() "pOI'consiguicntc'") :
pn'llli. a.
J l. )l
1 1)
q
p
111111 111 Inl l IJ
46
Validez lgica de un argumento
47
3.2. VALIDEZ LGICA DE UN ARGUMENTO 11 e fe cto, todo argume nto pue de re pre se ntarse me diante
di . una pro-
11I on conal cuyo antecedente son las premisas y cu
, I'S la conclusin: yo conse-
A unque l os argume ntos e stn constituidos por proposicione s,
son ve rdade ros o fal sos, sino corre cta o incorre ctame nte construi
vlidos o no vlidos. En re al idad, sl o nos ocupare mos de anal '
l a val ide z de l os argume ntos de ductivos, caracte rizados porqu
e l l os l a concl usin se obtie ne necesariamente de l as pre rnisas.
En un argume nto te ne mos l a posibil idad de obte ne r una pro
sicin nue va (l a concl usin), a partir de proposicione s pre viam
e stabl e cidas (l as pre misas). L os argume ntos nos pe rmite n as amp
nue stro conocimie nto de l a re al idad, pue s pode mos obte ne r nu
proposicione s ve rdade ras a partir de l as que ya he mos ace pt
como ve rdade ras. Pre cisame nte e n e sto consiste l a val ide z de
argume nto: e n que no ocurra que sie ndo ve rdade ras l as pre rni
de l as que partimos, se a fal sa l a concl usin a l a que l l e gamos,
de cir, un argume nto no es vlido si: sie ndo ve rdade ras l as pre mi
e s fal sa l a concl usin. En todos los dems casos e l arg:.me nto es
lido, o se a: cuando l as pre misas son ve rdade ras y l a concl usin
ve rdade ra, cuando l as pre misas son fal sas y l a concl usin ve rdad
y cuando l as pre misas sonfal sas y l a concl usine s fal sa. Re sumie n
fII je mpl o, e l argume nto:
Si V e nus e s un pl ane ta, e ntonce s V e nus bril l a con Iu fl e i
V
z re eja,
e nus e s un pl ane ta.
L ue go...
V nus bril l a con l uz re fl e ja,
e n su forma como
,'~s
"
}
1
conclusin (C).
premisas ' (P)
Si l aspre misasson... y l a concl usine s...
I que se indica e n e ste argume nto e s que si se tie ne n 1
(
P) d 1 l ' as pre -
e as me as 1 y 2, entonces pue de obte ne rse l a cone l .,
I 1 l' 3 ( . usion
'(' a me a o que SI l as pre misas son ve rdade ras t bi ,
1
l usi r ) , am ie n
,1 conc usion :
Fal sas Fal sa V U DO
'nta a l as pre misas r ~ s y r, o se a:
Este e sque ma re cue rda a l a tabl a de ve rdad de l a condicio
(r~s) A r
V V
~-----y-----'
P
F
V V
*
1
11
-nta a .l a concl usin s, por l o que e l argume nto se pue de
ntar me diante l a proposicin compue sta
p
V
F F v
[(r~s) I\r]~s
En general) todo argumento es vlido si al ser tra~s(orm
en una proposicin condicional) sta resulta ser tautologzca.
P~C
48
Cap. 3. Lgica proposicional
Validez lgica de un argumenta, o 49
Con e l argume nto:
Il Ihf>l icame nte :
1. r~S
2. r
1-
3. s
I~S
r
pre misas
} concl usin
he mos construido l a proposicin
, proposicin condicional re spe ctiva e s:
[(r ~ s) 1 \ ---r] ~ ---s
de l a cual pode mos hace r una tabl a de ve rdad que nos mue st
hay al gn caso e n e l que l as pre misas se an ve rdade r~~y l a concl u
fal sa. Si ello no ocurre) entonces el argumento es valtdo.
y
pre misas (P) concl usin (e)
r s [(r ~ s) 1 \ =-rl ~ ---s
r s
[(r~ s) 1 \ rl ~ s
V V F F
V V
V
V F F V
V F
F
F V V F
F V
F
F F V V
F F
F
*
*
11 tabl a de ve rdad mue stra que hay un caso e n e l que l :,as pre -
)J l ve rdade ras y l a concl usin e s fal sa. L a proposicions no es
, , , Ir .:;ra y e l argume nto re spe ctivo no es vlido.
111'1I105 util izado l as tabl as de ve rdad para de mostrar si un-, arzu-
to ('.'1 vl ido o no. Para e l l o, he mos transformado l os argur me nte s
1 roposicione s condicional e s de l tipo
L a proposl Cl on [( r ~ s) 1 \ r] ~ s re sul t se r una t
loga) por l o que en ningn caso l as pre rnisas ~u'e rori v~~dade ra!l
concl usin fal sa. Es de cir, e l argume nto re spe ctivo e s valtdo.
Examine mos ahora si e s vl ido e l argume nto que me ncion \
e n l a se ccin 1.3:
1. Si e n l a L una hay vida, e ntonce s e n l a L una hay agua.
2. No ocurre que e n l a L una hay vida.
L ue go ...
'~. No (''1 cinto '11\1' e n l a L una hay agua.
,h P e s l a conjuncin de pre misas y e e s l a concl usin ob,te nida.
1II\"r. e l proc dimie nto e s e ficaz, re sul ta l e nto, sobre todo C;:;uando
l argume nto hay ms de dos pre misas con varias Propos.icione .
,1 C'Ompone nte s, Por e l l o convie ne buscar al gn otro Pro di-
IIto qll , .icndo igual me nte fi az, se a ms se ncil l o. E to 1<0 vcrc-
n hu siguie nte s se ion ..
50
Eje rcicio 8
De mustre se , mediante una tabla de verdad, si e s vl ido o no e l
siguie nte argume nto:
1. L os fantasmas e xiste n o l os fantasmas son producto de l a ima-
ginacin.
2. No e s cie rto que l os fantasmas e xiste n.
L ue go ...
3. L os fantasmas son producto de l a imaginacin.
Simbl icame nte :
1. rV s
2. ,....-r
1-
3. s
Eje rcicio 9
De mustre se , mediante una tabla de verdad, si e s vl ido o no e l
siguie nte argume nto:
1. Si Madrid e s l a capital de Espaa, e ntonce s Madrid e s una ciu-
dad e urope a.
2. Madrid e s una ciudad e urope a.
L ue go ...
3. Madrid e s l a capital de Espaa.
Simbl icame nte :
1. p~q
2. q
1-
3. P
3.3. LEYES DE IMPLICACiN
implicacin,
ondicional.
pu
Se dice que una proposicin compue sta e s. una
cuando es tautolgica y su conectiua principal una
D u r In. t d fini in, p u Iml t'l l c:tu:\n.
Leyes de implicacin 51
una proposicin tautol gica y su nica cone ctiva e s una condicional .
r.a~bio, ,..-(p1 \ '-'p) no e s una impl icacin, pue s aunque e s
utol gica, e n e sta proposicin l a cone ctiva principal no e s una
ndi ional .
*
Por otra parte , re curde se que todo argume nto vlido se pue de
11 sar me diante una proposicin tautolgica, cuya cone ctiva prin-
I . una condicional. Es de cir, todo argumento vlido tiene la
m il de una implicacin.
L as leyes de implicacin son l as formas bsicas que pueden tener
IIrlfume~tos vlidos, de modo que si un argume nto cualquiera
l a mzsma forma que una ley de implicacin, e ntonce s e s un
IHllUntovlido.
'IN l e ye s de impl icacin ms importante s son l as siguie nte s:
) Modu s pon en do pon en s (m.p.p.)
1. p~q
I~
, q
un argume nto cual quie ra tie ne esta forma, e s un argume nto
l, pue pue de transformarse e n una impl icacin:
rgum nto:
, ntonce s V nus bril l a con l uz re fl e ja.
1.
p~q
2. """q
1-
3. """p
52 Cap. 3. Lgica proposicional
U n argume nto con esta forma e s vlido, pue s se pue de trans-
1\011' e n un:a impl icacin:
tie ne justame nte l a forma:
1. p~q
2. p
1-
3. q
.'i m una.rgume nto cual quie ra se e ncue ntran como pre rnisas:
1) una proposicin condicional (como p ~ q), y
b) l a negacin del consecuente de l a misma proposicin condi-
ional ("""q)
por l o que e l argume nto e s vl ido.
Si e n un argume nto cual quie ra se e ncue ntran como pre m
modus t ollendo tollens nos pe rmite obte ne r, como conclusin, la
Ir i n del antecedente de l a proposicin condicional .
POI' e je mpl o, a partir de l as pre misas:
a) una proposicin condicional (como p ~ q), y
b) e l antecedente de l a misma proposicin condicional
l a l e y modus ponendo ponens nOSpe rmite obte ne r, como conclu
consecuente de la proposicin condzcwnal.
A s, de l as pre misas:
1. Si Sue cia e s una de mocracia, e ntonce s e l pue bl o su
mina su forma de gobie rno y e l pue bl o e l ige a sus goh
2. Sue cia e s una de mocracia.
1, Si l a rique za hace fe l ice s a l os hombre s, e ntonce s l a rique za
hace bue nos a l os hombre s.
No e s cie rto que l a rique za hace bue nos a l os hombre s .
.,
undo e l modus tollendo tollens obte ndre mos como concl usin:
No e s cie rto que l a rique za hace fe l ice s a l os hombre s.
,1 r rma de l argume nto e s:
Cuya e xpre sin simbl ica se ra:
1. p~(ql \r)
2. p
p~q
q
A pl icando e l modus ponendo ponens pode mos te ne r como con 1
3. q 1 \ r (El pue bl o sue co de te rmina su forma de gobi
pue bl o e l ige a sus gobe rnante s),
que es el consecuente de la proposicin condicional de l a pr
cuyo ante ce de nte se da de spus e n l a pre misa 2.
"""p
110 e je mpl o de argume nto e n e l que l a concl usin se obtie ne
11I1<' e l modus tollendo tollens e s:
b) Modus tollendo tollens (m.t.t.)
Si e l de l fn e s un pe z, e ntonce s: e l de l fn e s oviparo y tie ne
hranquias.
No cs ie rto que : e l de l fn e s ovparo y tie ne branquias.
l .ucgo.. ..
No ('~cie rto que e l de l fn e s un pe z.
Illh61i< am ntc, 1111 [ormu I'!!:
J l (I\r)
54
2. ,-'(q/\r)
1-
3. ,-'p
e) Modus tollendo ponens (m.t.p.)
1.
pV q
1.
pV q
2. ,-'p o bie n
2. ,-'q
1-
1-
3. q
3.
P
L a impl icacin re spe ctiva e s:
Si e n un argume nto cual quie ra se e ncue ntran como pre misas:
a) una proposicin disyuntiva (como. pV q), y
b) l a negacin de una de' sus nlternatiuas (,-'p)
l a l e ymodus tollendo ponens nos pe rmite obte ne r, como conclusi6n
otra alternativa.
A s, dadas l as pre misas:
1. El agua e s un e l e me nto o e l agua e s un compue sto.
2. No e s cie rto que e l agua e s un e l e me nto.
Si util izamos e l modus tollendo. ponens podre mos e stabl e ce r corno
cl usin:
3. El agua e s uncompue sto.
Simbl icame nte :
1. pV q
2. ,-'p
1-
3. q
Otro e je mpl o d argume nto n l que se apl i a 1 modus toll
ponens:
l . L os proce sos psquicos son natural e s y e stn some tidos a l e ye s
natural e s, o bie n, l osproce sospsquicos son sobre natural e s.
2. No e s cie rto que l os proce sos psquicos son sobre natural e s.
L ue go...
'1. L os proce sos psquicos son natural e s y e stn some tidos a l e ye s
natural e s.
, u forma, simbl icame nte , e s:
1. (p!\r)V q
2. ,-'q
1-
3. p!\ r
d) Ley del silogismo hipottico (s.h.)
1. p~q
2. q~r
1-
'l o p~r
Si e n un argume nto cual quie ra se e ncue ntran como pre misas:
a) una proposicin condicional (como p~ q), Y
b) una se gunda proposicin condicional , cuyo ante ce de nte e s e l
conse cue nte de l a prime ra proposicin condicional (q~ r)
Iry de l silogismo hipottico hace posibl e e xtrae r como conclusin,
f I proposicin condicional cuyo antecedente sea el de la primera
misa y cuyo consecuente sea el mismo que el de la segunda premisa.
Por e je mpl o, de l as pre misas:
l. Si un hombre e s l ibre , e ntonce s e s re sponsabl e de su con-
du ta.
Si un I de su conducta, e ntonce s e vita
al i
56
Es posibl e , me diante e l sil ogismo hipottico, e xtrae r l a concl usin:
3. Si un hombre e s l ibre , e ntonce s e vita re al izar accione s
gativas.
L a forma de e ste argume nto e s:
1. p~q
2. q~r
1-
3. p~r
Otro e je mpl o de apl icacin de l sil ogismo hipottico e s:
1. Si l a astrol oga e s un mito, e ntonce s l a astrol oga distorsiona
un aspe cto de l a re al idad.
2. Si l a astrol oga distorsiona un aspe cto de l a re al idad,
ce s l os astrl ogos son ge nte de poco fiar.
L ue go...
3. Si l a astrol oga e sun mito, e ntonce s l os astrl ogosson ge nte de
poco fiar.
En smbol os, te ne mos:
1.
r~s
1.
p~q
2. s~t o si se
2. q~r
1-
pre fie re : 1-
3. r~t
3. p~r
e ) Ley de simplificacin' (simpl .)
1.
pl \q
1.
pl \q
l-
o bie n: 1-
2. p
2. q
L a impl icacin re sul tante e s:
(p 1 \ q) ~ p, o bie n (p 1 \ q) ~ q
Si e n un argume nto ual quie ra te ne mos como pre misa una pr
posicin cuye concctiva e s une conjuncin, pod mos mol ar r om
conclusin, IHlf l dI' las dos In'olloricioner conjuntada
Leyes de implicacin
57
s, e stabl e cida como pre misa l a proposicin:
1. "El Sol e s una e stre l l a y e l Sol e s e l ce ntro de l siste ma pl a-
ne tario."
obte ne rse , por l a l e y de simpl ificacin, l a concl usin:
"El Sol e s una e stre l l a."
l .a forma de l argume nto se ra:
1. rl \s
1-
2. r
f) Ley de conjuncin (conj.)
1.
p
')
q
1-
'1.
p!\q
11 ',\ impl icacin e s:
(p 1 \ q~ (p 1 \ q)
E. tabl e cidas dos proposicione s cual e squie ra, como pre misas, apl i-
,ul o l a l e y de conjuncin pue de formul arse , como c;oncl usin, una
Ifl J l osiin que se a justame nte l a conjuncin de las p-remisas.
Por e je mpl o, de l as pre misas:
1. 4 e s par
') 4 e s un nme ro natural
11 (Ir- e ncl uirse , apl icando l a l e y de conjuncin:
'1. 4 s par y 4 e s un nme ro natural .
1\ forme d 1 11'IIIl1Cnto ( ~:
1. r
') ,
58
1-
3. r /\s
g) Ley de adicin (ad.)
1. P
1-
2. pVq
p~ (pV q)
Dada una proposicin cual quie ra que se e stabl e ce como pre misa,
l a l e y de adicin pe rmite obte ne r, como concl usin, una proposicin
disyuntiva e n l a que una de l as al te rnativas e s l a pre misa, e n tanto
que l a otra disyuntiva pue de se r cualquier otra proposicin.
De acue rdo con e sto, de l a pre misa:
1. Sirio e s una e stre l l a
pode mos co-ncl uir
2. Sirio e s una e stre l l ao Sirio e s una conste l acin.
El e sque ma de l argume nto e s:
1. r
1-
2. rV s
Eje rcicio 10
En l os siguie nte s e je mpl os de argume ntos re pre se ntados simbl ic
me nte , ind-que se e n l a l ne a que e st a l a de re cha de cada uno cul
l a l e y de impl icacin util izada para obte ne r l a concl usin.
a) 1. rV t
2. .--t
1-
:'1. r
59
b)
1.
q /\ s
1 -
2. s
c)
l .
t~q
2. q~r
1 -
3. t~r
d)
l .
t
1 -
2. tV q
e )
l .
r~s
2. ---s
1 -
3.
,...,r
f)
l .
s
2. t
1 -
3. s /\ t
g)
l .
r~t
2. r
1 -
3. t
.4. LEYESDE EQUIVALENCIA
l !na proposicin compue sta e s una equivalencia cuando es tau-
'o/f.!lca ~ ~u conectiva principal es una bicondiciona:1; por e je mpl o,
111 pr posicin:
(p
IIl 1a qui
tuutol
i ,Iu .11 conrctiv principal e s una bicondicional
, 111111 l o I1Il 1r, tra SIl tabl a de ' ve rdad:
60
P
q (p--+q) ~ ,...., (p 1 \ """q)
V V V V
V F F F
F V V V
F F V V
*
En toda e quival e ncia l a bicondicional re l aciona a dos proposi-
cione s, de l as cual e s se dice que son e quival e nte s e ntre s y tie ne n
idntica tabl a de ve rdad.
L a e quival e ncia se simbol iza me diante e l signo "=", e l cual se
col oca e ntre l as proposicione s que son e quival e nte s e ntre s, por l o que
de l e je mpl o ante rior se de spre nde que :
(p--+ q)~ """(p1 \ """q)
Si dos proposicione s son e quival e nte s tie ne n l os mismos val ore s de
ve rdad (e s de cir, l a misma tabl a de ve rdad), por l o que pue de n
sustituirse e ntre s e n un argume nto cual quie ra. Se de nominan leyes
de equivalencia pre cisame nte las formas bsicas en que pueden ser
sustituidas unas proposiciones por otras. L as l e ye s de e quival e ncia
ms usual e s son:
a) Leyes de conmutatividad (conm.)
a) (pV q) =(qV p)
b) (pA q) =(q 1 \ p)
b) Leyes de asociacin (asoc.)
a) [(p V q) V r] ==[pV (q V r) ]
b) [(p 1 \ q) 1 \ r] =[p 1 \ (q 1 \ r)]
e ) Leyes de distrtbutividad (distr.)
a) [p 1 \ (q V r)] ==[( p 1 \ q) V (p A r)]
b) [pV (q A r)] =r(p V q) 1 \ (p V r) ]
61
d) Leyes de De Mor ga n (De M.)
a) ["""(p 1 \ q)] =[,....,pV """q]
b) ["""(p V q)] =[,....,p1 \ """q]
e ) Ley de exportacin (e xp.)
[(p 1 \ q) ~ r] =[p~ (q--+r)]
f) Ley de contraposicin (contr.)
Eje rcicio 11
De mustre se . me diante una tabl a de ve rdad, que l a proposicin
J' ~ S e s e qU Ival e nte a l a proposicin """s~" " " r (l e y de contra-
posicin).
3.5. DEMOSTRACIN FORMAL DE LA VALIDEZ
DE ARGUMENTOS
Todo argume nto vlido tie ne l a forma de una l e y de impl icacin,
1ft ma.ne ra. q~e se p~e de de mostrar l a val ide z de un argume nto
I ual quie ra, .1l l dI~an~0SImpl e me nte cul e s suforma lgica y mediante
, / I/ . ley de zmplcacn fue obtenida su conclusin. Por e je mpl o, e n e l
,Ir,!;ume nto:
1. Si e l de stino e xiste , e ntonce s e l hombre care ce de l ibe rtad.
2. No e s cie rto que e l hombre care ce de l ibe rtad.
L ue go...
3. El de stino no e xiste .
B,II.~amostrar su ~?rma l gica y cul e s l a l e y l gica util izada para
obl ( n r l a concl usin, para de mostrar que e s vl ido:
1. r
'lelo 1 nuulus t ollen da tollrns a l as propn'l iriol 1('s
Demostracin formal Cap. 3. Lgica proposicional 62
63
3. 4 no e s divisibl e e ntre 3.
L ue go...
4. 4 no e s impar (apl icando e l m.t.t. a 1 y 3).
5. 4 e s par (apl icando e l m.p.p. a 2 y ~).
Sin e mbargo, ge ne ral me nte hace mos argume ntos e n l os que apl i-
camos dos o ms l e ye sde impl icacin. El siguie nte se ra un e je mpl o:
1. El tomo e s divisibl e o e l tomo e s indivisibl e .
2. Si e l tomo e s divisibl e , e ntonce s e l tomo no e s l a parte ms
pe que a de l a mate ria.
3. No e s cie rto que e l tomo e s indivisibl e .
L ue go...
4. El tomo e s divisibl e .
5. El tomo no e s l a parte ms pe que a de l a mate ria.
Forma l gica:
1.
2.
3.
.4.
5.
11)
1.
2.
3.
4.
p~q
,....,p~r
,-....oq
1-
---p (rn.t.t. 1,3)
r (m.p.p. 2,4)
En argume ntos e n l os que se apl ican dos o ms l e ye sde impl ica-
cin, se obtienen conclusiones sucesivas, cada una d(JJlas cuales es
producto de aplicar una ley. A su ve z, una concl usin ya de mostrada
pue de se r tomada como pre misa para obte ne r otra concl usin, como
se pue de ve r e n l a re pre se ntacin simbl ica de l argume nto ante rior:
El de l fn e s mamfe ro y e l de l fn e s dome sticabl e .
Si e l de l fn e s mamfe ro, e ntonce s e l de l fn tie ne re spira-
cin pul monar.
L ue go...
El de l fn e s mamfe ro (apl icando l a simpl , e n 1).
El de l fn tie ne re spiracin pul monar (apl icando e l m.p.p.
e n 2 y 4).
1. PVq
2. p~"""r
3. """q
1-
4. p (apl icando e l modus tollendo ponens a 1 y 3)
5. """r (apl icando e l modus ponendo ponens a 2 y 4). Forma l gica:
L a concl usin de l a l ne a 4 (p) se obtuvo re l acionando l as pro-
posicione s de l as l ne as 1 y 3 me diante e l m.t.p. De spus se obtuvo
l a concl usin de l a l ne a 5 ("""r), re l acionando l as proposicione s de l a
l ne a 2 y 4 (que pre viame nte se de mostr), apl icando l a l e y m.p.p.
A me dida que l osargume ntos son ms compl e jos (porque aume nta
e l nme ro de sus pre misas, concl usione s y l e ye s util izadas), se hace
cada ve z ms ne ce sario re pre se ntarl os simbl icame nte a fin de e vitar
l as l imitacione s de l l e nguaje natural . Re curde se que los argumentos
son vlidos o no, por su forma, por l a mane ra e n que se re l acionan
unas proposicione s con otras, y no por e l conte nido de l as mismas.
Examinare mos al gunos e je mpl os de argume ntos, e xpre sados tanto
e n l e nguaje natural como e n e l l e nguaje simbl ico de l a l gica. Podr
obse rvarse que e s ms cl ara y se ncil l a l a de mostracin de su val ide z
cuando sta se mue stra simbl icame nte :
1.
2.
3.
4.
1)
1.
2.
3.
4.
S.
p!\q
p~r
1-
p (simpl . 1)
r (m.p.p. 2,4)
Si e l hombre tie ne concie ncia y e l hombre tie ne l ibe rtad,
e ntonce s e l hombre e s re sponsabl e de sus actos.
El hombre tie ne concie ncia.
El hombre tie ne l ibe rtad.
L ue go...
El hombre tie ne concie ncia y e l hombre tie ne l ibe rtad
(apl i do l a conj. e n 2 y 3).
El h mh !I re sponsabl e de sus actos (apl icando e l m.p.p.
nI) .
a) 1. Si 4 s impar, ntonccs 4 11 divisibl nt ~.
Si 4 110 iJ 'par, nton 11 4 .'1 pa .
"IIIIll
Forma l gica:
64
l .
2.
3.
4.
5.
d)
l .
2.
3.
4.
5.
6.
7.
(p 1 \ q) ~ r
p
q
1-
p 1 \ q (conj. 2, 3)
r (m.p.p. 1,4)
L os te rre motos tie ne n una causa sobre natural o l os te rr
motos son fe nme nos natural e s.
Si l os te rre motos son fe nme nos natural e s, e ntonce s 1
te rre motos obe de ce n a l e ye s.
Si l os te rre motos obe de ce n a l e ye s, e ntonce s l os te rre mot
son pre de cibl e s.
L os te rre motos no tie ne n una causa sobre natural .
L ue go ...
L os te rre motos son fe nme nos natural e s (apl icando e l m.t.
e n1y4).
Si l os te rre motos son fe nme nos natural e s, e ntonce s l os t
rre motos son pre de cibl cs (apl icando e l s.h. e n 2 y 3).
L os te rre motos son pre de cibl e s (apl icando e l m.p.p.
5 y 6).
1. PVq
2. q~r
3. r~S
4. '-'p
1-
5. q (m.t.p. 1,4)
6. q~ s (s.h. 2,3)
7. s (m.p.p. 5,6)
e ) 1. Si aprob todas mis mate rias y te ngo prome dio de nu
e ntonce s e studiar con una be ca e n Francia.
2. A prob todas mis mate rias y mi situacin acadmica
re gul ar.
3. Te ngo prome dio de nue ve .
L ue go ...
4. A prob todas mis rnat rias (apl i ando l a simpl , In 2).
5. A prob toda. mis mate ria y te ngo 11 l 1l dio dc' nu
(upl k ndn 1, ron]. e n 3 4).
Demostracin formal 65
6. Estudiar con una be ca e n F . ( l '
rancia ap icando e l m.p.p.
e n1y5).
Forma l gica:
1.
2.
3.
4.
5.
6.
f)
1.
2.
(p 1 \ q) ~ r
p 1 \ t
q
1-
p (simpl . 2)
p A q ~conj. 3, 4)
r (m.p.p. 1,5)
Hitl e r e ra un paranoico.
S,i: Hitl e r e ra un paranoico o Hitl e r e ra un hombre ma-
l ~v?I?, e ntonce s Hitl e r e ra l a pe rsona me nos indicada ara
dirigir al mundo. p
L ue go ...
3. Hit1~r e ra un paranoico o Hitl e r e ra un hombre mal vol o
(~pl Icando l a ad. e n 1).
4. HItI~r e ra l a pe rsona me nos indicada para dirigir e l mundo
(apl icando e l m.p.p. e n 2 y 3).
Forma l gica:
1. P
2. (pV q)~r
1-
3. P V q (ad. 1)
4. r (m.p.p. 2,3)
Si: e studio me dicina o e studio fil osofa, e ntonce s ingre sar
e n l a U .N.A .M.
2. Si obte ngo una be ca, e ntonce s: e studio fil osofa o e studio
me dicina.
:3. Obte ngo una be ca.
L ue go ...
1. Estud io fil osofa o c. tudio me dicina (apl icando e l
('11 ( 'J). m.p.p.
r. ENtl l dio 11I dil inu o e studio fil osofa (apl icando l a conm.
<'11 )
h. 111 I
11 1, ti N. .M. (apl i( ando 1,1 m.p.p. e n l )' :1).
66
Forma l gica:
1. (qV p)--H
2. t~(pV q)
3. t
1-
4. P V q (m.p.p. 2,3)
S. qV P (conm. 4)
6. r (m.p.p. 1,5)
h) 1. El argn e s un e l e me nto y e l argn
bin, e l argn tie ne val e ncia O. .
2. Si e l argn e s un gas y e l argn y~ne v~l e ?Cl a 0, e n
tonce s e l argn tie ne compl e ta su l tima rbita de e l e c
trone s.
L ue go ...
3. El argn e s un e l e me nto y, por otra parte , e l argn e s u
gas y e l argn tie ne val e ncia O .(apl icando .l a asoc. ~n 1)
4. El argn e s un gas y e l argn tie ne val e ncia (apl icand
l a simpl . e n 3).
5. El argn tie ne compl e ta su l tima rbita de
(apl icando e l m.p.p. e n 2 y 4).
Forma l gica:
1. (pq) I\r
2. (ql \r)~t
1-
3. p 1 \ (q 1 \ r) (asoc. 1)
4. q 1 \ r (simpl . 3)
5. t (m.p.p. 2,4)
- i)
1. 4 e s un nme ro natural y, o bie n 4 e s par o 4 e s imp
2. No e s cie rto que : 4 e s un nme ro natural y 4 e s imp
L ue go.. . .
3. 4 e s un nme ro natural y 4 e s par, o bie n, 4 e s un n
me ro natural y 4 e s impar (apl icando l a distr. e n 1).
4. 4 e s un nme ro natural y 4 e s par (apl icando e l m.t,
e n 2 y 3).
Demostracin formal 67
Farma l gica:
1. p (qV r)
2. '--(pl \r)
1-
3. (p 1 \ q) V (p 1 \ r) (distr. 1)
4. P 1 \ q (m.t.p. 2,3)
j) 1. Si Sudfrica e s un pas de mocrtico, e ntonce s: e l pue bl o e s
l ibre y e l gobie rno e s e l e gido por l as mayoras.
2. El pU ?bl o no e s l ibre o e l gobie rno no e s e l e gido por l as
mayonas.
3. Si Sudfrica no e s un pas de mocrtico e ntonce s e l go-
bie rno sudafricano e st impue sto. '
L ue go. . . .
4. No e s cie rto que : e l pue bl o e s l ibre y e l gobie rno e l e gido
por }as.mayoras (apl icando l a De M. e n 2).
5. Sudafnca no e s un pas de mocrtico (apl icando e l m.t.p.
e nl y5).
6. El gobie rno sudafricano e st impue sto (apl icando e l m.p.p.
e n 3 y 5).
Forma l gica:
1. t~(pl \q)
2. '--pV '--q
3. .--t~r
1-
4. '--(p 1 \ q) (De M. 2)
5. .--t (m.t.t. 1,5)
6. r (m.p.p. 3,5)
r .;~ de mostracin. formal de l a val ide z de un argume nto, se hace
I."l sl vame nte analizando su forma e indicando cul e s Son l as l e ye s
1, l e H.'I (de impl icacin y e quival e ncia) que justifican l as concl usione s.
pu .dc, ~n~onccs, hace r de mostracione s formal e s de argume ntos
1'1 sndos urn amcntc e n l e nguaje simbl ico, como e n l os siguie nte s
J IlIplos:
1) 1.
3.
~IS11lrtes
tle 1111; 1
s i l l l l l l e
.1. EL TRMINO SUJETO
En e l siguie nte e je mpl o de argume nto:
l . Todas l as e stre l l as bril l an con l uz propia.
2. Sirio e s una e stre l l a.
L ue go...
:3. Sirio bril l a con l uz propia.
t. P
'1 q
1-
'l. r
77
I ne mos una se cue ncia de proposicione s, l a l tima de l as cual e s, l a
mncl usin, se sigue u obtie ne de l as dos ante riore s. Se trata de un
1 11m nto vl ido, pue s no ocurre que l as pre misas se an ve rdade ras
1,1 concl usin se a fal sa. Sin e mbargo, si tratamos de de mostrar su
Ililkz l gica, ya se a me diante una tabl a de ve rdad o me diante una
I \'ti impl icacin, nos e ncontramos que , aparentemente, e l argu-
1111110 no e s vl ido. En e fe cto, su forma e s l a siguie nte :
( pre sada e n forma d proposi in condicional , nos da:
(pl \q) r
Nin "tllil dI' l a. ky('~dI' inipl irucin () cquivnk-n ia !lOS pe rmite
11111,1111111111 ic'!1I 1,.1 p.lllil dI' l a plt'III .I~ P 'q. POI' olril parte ,
78 Cap. 4. Las partes de una proposicin simple
l a tabl a de ve rdad de l a proposicin condicional construida indicara
que e l argume nto no e s vl ido; pue s hayal me nos un caso e n e l que
l as pre misas son ve rdade ras y l a concl usin fal sa, como se pue de
apre ciar a continuacin:
p q r (pl \q) ~ r
V V V V
V V F V
V F V F
V F F F
F V V F
F V F F
F F V F
F F F F
Pe se a que e l argume nto s e s vl ido (como ve re mos de spus), no
pode mos de mostrar su val ide z l gica con l os proce dimie ntos e studia-
dos hasta e l mome nto, pue s stos se basan e n anal izar cmo se re l a-
cionan unas proposicione s con otras, sin ate nde r a su e structura
inte rna y sin de stacar sus parte s compone nte s. Y e n argume ntos como
e l que nos ocupa, l a val ide z de pe nde de l a forma e n que se re l acionan
los elementos componentes de las proposiciones que forman el argu-
mento.
En ge ne ral , e n toda proposicin se tie ne una afirmacin e n e l
se ntido de que un obje to (o conjunto de obje tos) tie ne o pose
al guna de te rminada. propie dad o caracte rstica; a l a pal abra o pal a-
bras con l a que nos re fe rimos a e se obje to se l e l l ama trmino sujeto,
y apare ce e n letras cursivas e n l os siguie nte s e je mpl os de proposicione s:
1. L a ballena e s un mamfe ro.
2. Jos Clemente Orozco fue un mural ista me xicano.
3. El hidrgeno e s un gas.
4. Todas l as hadas son bondadosas.
5. Todos l os niiios son inge nuos.
6. A l gunos planctos tie ne n satl ite s,
7. \lglll1o~ nmeros ,UI! pan'H.
El trmino predicado 79
L os obje tos a l os que nos re fe rimos e n l as proposicione s (trmino
suje to), l o mismo pue de n se r concre tos, mate rial e s (como l a bal l e na)
que abstractos (como l os nme ros) y an imaginarios (como l as
hadas) .
4.2. El TRMINO PREDICADO
L a propie dad o caracte rstica que se afirma de l suje to e n una
proposicin, se de nomina trmino predicado; e n l os sie te e je mpl os
ante riore s l os pre dicados que se afirmaron fue ron l os de : se r mami-
f ro, se r mural ista me xicano, se r un gas, bondad, inge nuidad, te ne r
satl ite s y se r par. Estos predicados pue de n afirmarse de otros suje tos
dife re nte s de l os e mpl e ados, obte nindose proposicione s distintas:
8. El ornitorrinco e s un mamiiero.
9. Die go Rive ra fue un muralista mexicano.
10. El argn e s un gas, e tc.
Tambin, de un mismo sujeto, pue de n afirmarse pre dicados di-
fe re nte s:
11. L a ballena e s un animal marino.
12. L a ballena e s e l mayor animal e xiste nte , e tc.
Note mos, por l timo, que l as proposicione s simpl e s son ve rda-
de ras o fal sas, se gn e l pre dicado afirmado de l suje to corre sponda
() no a l as caracte rsticas re al e s de ste . Por e je mpl o, dado e l suje to
"Marte " pue de n formarse l as siguie nte s proposicione s:
a) Marte e s un pl ane ta.
b) Marte e s un come ta.
c) Marte e s una e stre l l a.
Sl o l a prime ra proposicin e s ve rdade ra, pue s e l pre dicado "pl a-
ne ta" corre sponde a una caracte rstica re al de l uje to, e n tanto que
los pre dicados "come ta" y "e stre l l a" no l o son.
Eje rcicio 1
Forml e n r- pl OpO, i('iol ws simpl e s verdaderas, compl e tando conve ru n-
1('l l Ie 'l Ite ' 1, I 11Il Itl ' l ' 1)J '('sifl l 1('~, con l os trminos que apc 1'('("1'11 a l a
cl e 'I/'( l m,
80 Cap. 4. Las partes de una proposicin simple
(Eje mpl o)
1. M arte e s un pl ane ta.
8
contine nte
oxge no
ave s
impar
9
re ptil
______ e s par
cocodril o
me tal
Marte
2.
3.
4.
5.
6.
7.
8.
9.
10.
Europa e s un ------
7 e s------
El e sun re ptil
e sdivisibl e e ntre 3
L os patos son------
L a vborae sun
El me rcurio e sun o
El e sun gas
4.3. PROPOSICIONES SINGULARES, UNIVERSALES
Y PARTICULARES
Forme mos tre s proposicione s distintas con e l mismo pre dicado:
1. V . Giscard e s europeo.
2. Todos l os france se s son europeos.
3. Algunos nove l istas son europeos,
En l a prime ra proposicin e l pre dicado se afirma de un obje to
(que e s e l pre side nte actual de Francia).
En l a se gunda proposicin e l pre dicado se afirma de la totalidad
de l os france se s (e s de cir, de todos y cada uno de l os e l e me ntos d 1
conjunto de l osfrance se s).
En l a te rce ra proposicin e l pre dicado se afirma de algunos y
slo algunos de l os nove l istas (e s de cir, de una parte de l conjunto
de l os nove l istas).
stos son, re spe ctivame nte , e je mpl os de l as proposicione s singu-
l are s, unive rsal e s y particul are s.
U na proposicin e s singular cuando e l pre dicado se afirma de un
obje to individual, se a una pe rsona, un pas, un pl ane ta, e tc.
U na proposicin e s universal cuando e l pre dicado se dice de todos
l os obje tos de un conjunto, ya se trate de pe rsonas, cosas concre tas,
cosas abstractas, e tc.
U na proposicin e s particular cuando se afirma que e l pre dicado
se apl ica a parte de l os obje to. que compone n un conjunto.
En e l l e nguaje natural util izamos constantrrne ntr l as proposi
cionrs sin/-{l Il .l \"(,s, unive rsak-s y partic ul arrs, 110 sl o ,fil l l l .IIIl !O, sino
tambin 11 K,l l l do:
Proposiciones singulares, universales y particulares
81
4. Fide l Castro no e s e urope o.
5. Ningn cubano e s e urope o.
6 . Algunos fil sofosno son e urope os.
l . Singul are s afirmativas.
n. Singul are s ne gativas.
In. U nive rsal e s afirmativas.
V I. U nive rsal e s ne gativas.
V . Particul are s afirmativas.
V I. Particul are s ne gativas.
(singul ar)
(unive rsal )
(particul ar)
Se dice , por l o ante rior, que e xiste nse istipos de proposicione s, de
acue rdo con l a forma como se apl ica e l pre dicado e n l as mismas:
~;ISlecl;ICi IICS
Cll'leC 1l e Isici II~s
tlCIICle;llcs
5.1. Sf MBOLOS DE LOS CUANTIFICADORES. NOTACI~
Para re pre se ntar simbl icame nte l a e structura inte rna de l as QJ -o-
posicione s, util izare mos l os smbol os de l as cone ctivas l gicas y al gu_
nos smbol os e spe cial e s ms:
1. L as l ite ral e s mayscul as A , B, C... Z, para re pre se ntar l o~
pre dicados (l e tras pre dica ti vas). *
2. L as l ite ral e s minscul as a, b, c.... w, para re pre se ntar a in-
dividuos particul are s (constante s individual e ).
3. L as l ite ral e s minscul as x, y, z. .. para re pre se ntar a in<1i,'i-
duos cual e squie ra (variabl e s individual e s).
4. El smbol o ('v') , para re pre se ntar a l a e xpre sin "todos' o
"ningn") y que se l l ama cuantificador universal. Ms <\C\~-
l ante se acl arar l a re l acin e ntre "todos" y "ningn"
5. El Smbol o (3) para re pre se ntar a l a e xpre sin "al gun~f'
y al que se de nomina cuantificador existencial.
A l re pre se ntar proposicione s singul are s afirmativas como:
a) V e nus e s un pl ane ta.
b) J pite r e s un pl ane ta.
simbol izamos e l pre dicado me diante una l ite ral mayscul a: P, P()r
e je mpl o (de pl ane ta), y e l e gimos una l ite ral minscul a (de l a 11 a. 1
dI' l ite ral e s e s arbitraria, PU I'8 1:18prime ras l e tras \'1
J I un rrpre xe ntnr ((\l IjIl Il IPs. Por comodidud )' (1,11i<l "l l
111hid 11 l ' In l Idvrrh'l l Iil l . '
84
Cap. 5. Las relaciones entre proposiciones generales
w) para re pre se ntar al obje to individual e n cada proposicin: v par
"V e nus" y j para "J pite r", por e je mpl o. Se acostumbra, l ue go,
cribir prime ro l a l e tra pre dicativa, se guida de l a constante individual
de modo que :
a) "V e nus e s un pl ane ta" se simbol iza Pv (se l e e "ve e s pe "), y
b) "J pite r e s un pl ane ta" se re pre se nta Pj ("jota e s pe ").
u9
a
proposicin singul ar ne gativa no e s sino l a ne gacin d~un
proposicin singul ar afirmativa, por l o que se l e re pre se nta J usta
me nte ante ponie ndo e l smbol o de l a ne gacin a l os smbol os qu
re pre se ntan a l a proposicin afirmativa.
Si por e je mpl o, re pre se ntamos "Nixon e s pol tico" con:
Pn
l a proposicin "Nixon no e s pol tico" (que tambin se pue de e xpr
sar "no suce de que Nixon se a pol tico"), l a re pre se ntare mos as:
,...., Pn (no suce de que n se a P).
En l as re pre se ntacione s simbl icas siguie nte s:
1. 4 e s par
2. El hidrge no e s un gas
3. 7 no e s par
4. El al uminio no e s un gas
Pc
Gh
"""Ps
,....,Ga
son l e tras pre dicativas P (re pre se nta e l pre dicado "par") y G (re pr
se nta "gas") son constante s individual e s c (que re pre se nta e n pa
ticul ar al indi~duo "4"), h ("hidrge no"), s ("7") Y a ("al uminio")
El e sque ma comn a todas l as proposicione s singul are s afirm
tivas e s, e ntonce s:
Px
sie ndo P un pre dicado cual quie ra y x cual quie r individuo. Corr
pondie nte me nte , e l e sque ma comn a l as proposi ion'$ singul ar
ne gativa" e s:
Simbolos de los cuantificadores 8S
En una proposicin singul ar afirmativa indicamos que un obje to
o individuo tie ne una de te rminada propie dad. Cuando te ne mos cie rto
nme ro de proposicione s singul are s que se re fie re n a individuos u
obje tos del mismo conjunto, pode mos generalizar y formar una pro-
posicin universal afirmativa que indique que todos l os obje tos de l
onjunto tie ne n l a misma propie dad; o l o que e s l o mismo, que para
todo obje to x: si x pe rte ne ce al conjunto, e ntonce s x tie ne una de te r_
minada propie dad (l a se al ada e n l as proposicione s singul are s).
Por e je mpl o, a partir de l as proposicione s singul are s:
"Me rcurio tie ne atmsfe ra" A ro
"V e nus tie ne atmsfe ra" A v
"L a Tie rra tie ne atmsfe ra" A t
"J pite r tie ne atmsfe ra" A j
que se re fie re n a obje tos que pe rte ne ce n al mismo conjunto, e l de l os
pl ane tas, pode mos afirmar, por ge ne ral izacin:
"Todos l os pl ane tas tie ne n atmsfe ra"
l o cual significa que para todo obje to x: si x e s un pl ane ta, e nton-
e s x tie ne atmsfe ra.
L a re pre se ntacin simbl ica de e sta proposicin e s:
Para todo x: SI x e s un pl ane ta, entonces x tie ne atmsfe ra
" -----y------I y I '----y--J , y
(V x) (Px ~ A x)
y
( \1 x) (Px ~ Ax)
He mos util izado e l cuantificador unive rsal , apl icado a l a variabl e
individual x: (V x). He mos indicado de spus, e n forma condicional,
que si cual quie r individuo x e s mie mbro de l conjunto o grupo de l os
pl ane tas, e ntonce s l o e s tambin de l grupo o conjunto de l os obje tos
que tie ne n atmsfe ra.
Otro e je mpl o; l a proposicin:
"Todos l os gordos son simpticos"
sig-nifica qu para todo obje to x, 1 x e s un gordo, e ntonce s x e s
simpti o:
( V ) (O s )
86 Cap. 5. Las relaciones entre proposiciones generales
En l as proposicione s unive rsal e s ne gativas te ne mos tambin un
ge ne ral izacin e n e l se ntido de que todos l os obje tos de un conjun
no tie ne n una de te rminada propie dad; o dicho de otra mane ra, q
para todo obje to x: si x pe rte ne ce a un conjunto dado, e ntonce s n
suce de que x te nga una de te rminada propie dad.
Por e je mpl o, l a proposicin:
"Ningn nio e s mal vado"
significa que :
Para todo x:
~-y--->
('1 x)
si x e s un nio,
\ J
Y
entonces no ocurre que
~~
(Nx
y
("Ix) (Nx~ """'Mx)
Se ha util izado tambin e l cuantificador unive rsal apl icado a 1
variabl e individual x. Se ha e xpre sado de spus, e n forma condicional
que si cual quie r individuo x e s mie mbro de l conjunto de l os ni
e ntonce s no ocurre que l o se a tambin de l conjunto de l os mal vad
U n e je mpl o ms: l a proposicin
"Ningn mol usco e s ve rte brado"
se re pre se nta (V x)(Mx~"""'V x); o se a, para todo x:
un mol usco, e ntonce s, no ocurre que x e s ve rte brado.
Eje rcicio 2
Re pre snte nse simbl icame nte l as siguie nte s proposICIOne s, util izan
l as l ite ral e s: A para "ame ricano", E para "e urope o", G para "gu t
mal te co", a para "Migue l A . A sturias".
1. Migue l A . A sturias e s guate mal te co
2. Todos l os guate mal te cos son ame ricanos
3. Migue l A . A sturias e s ame ricano
4. Ningn guate mal tc o e s e urope o
5. Ningu e urope o ('S guate mul te ro
Simbolos de lo' cuant.ijicailores 87
A l simbol izar proposcione s particul are s he mos de te ne r pre se nte
que son tambin e l producto de generalizaciones a partir de propo-
si ione s singul are s, pe ro que l a propie dad obse rvada e n al gunos indi-
viduos no pue de de cirse de todos l os individuos de l conjunto al cual
pe rte ne ce n, sino sl o de al gunos. Es de cir, nos concre tamos a indicar
que e xiste al me nos un obje to x tal que : pe rte ne ce a un de te rminado
vonjunto y tie ne cie rta propie dad.
Por e je mpl o, de l as proposicione s singul are s afirmativas:
"El uranio e s radioactiva"
"El pl utonio e s radioactiva"
I.IS cual e s se re fie re n a obje tos que pe rte ne ce n al conjun to de l os e l e -
II1 ntos qumicos, pode mos de spre nde r, por ge ne ral izacin:
"A l gunos e l e me ntos son radioactivos"
l o cual significa que e xiste al me nos un obje to x tal que : x e s e l e -
111 .nto y x e s radioactiva.
Simbl icame nte :
st al me nos un x tal que :
I
x e s e l e me nto
~
(Ex
y x e s radioactiva
\.'---~y~-~ y
( 3x)
Rx
- - - - - - - - - - - - - - - - - - - - - - - - - y , - - - - - - - - - - - - - - - - - - -
( 3x) (Ex 1 \ Rx)
e n e l auxil io de l cuantificador existencial e xpre samos, e n forma
dI' ronjuncin, que e xiste al me nos un obje to que pe rte ne ce al con-
[uuto de l os e l e me nto qumicos y al de l as cosas radioactivas.
En proposicione s particul are s ne gativas, como:
11 l gunos e l e me ntos no son radioactivos"
1ll!1 l . e ntido de q\l(~ (' iste al me nos un obje to x que
I I minado conjunto y 110 ocurr qlle te nga una
f)fCl fJ I'l 'L J l ul 1:11 d ! 'j mpl dadu:
1IIIIIIIi(ol l t n
IIC'II<'II('(
e l Ir min I
88
( 3 x)
x e s e l e me nto
~
(Ex
no ocurre que
~
Existe al me nos un x tal que :
\ y~ ~J
y
y
( 3 x) (Ex /\ .-' Rx )
Eje rcicio 3
Re l acine nse l as col umnas 1 y II te nie ndo e n cue nta que :
A re pre se nta "ave " ~
Hre pre se nta "hombre "
1 re pre se nta "inse cto";
y re pre se nta "ve rte brado", y
e re pre se nta "Ce rvante s"
1
l . Todas l as ave s son ve rte brados.
2. A l gunos ve rte brados son ave s.
3. A l gunos. ve rte brados no son ave s.
4. Ningn inse cto e s ve rte brado.
5. Todos l os hombre s son ve rte brados.
6. Ce rvante s e s un hombre .
7. Ce rvante s no e s un ave .
II
( ) ( 'f x) (Ix~ ,......,Yx)
( ) .-' A c
( ) ( 'f x) (Hx~ Yx)
( ) ('f x) (A x ~ Y x)
( ) ( 3 x) (Yx /\ .-'A x)
( )Hc
( ) ( 3x) (V x /\ A x)
5.2. EL CUADRO TRADICIONAL DE OPOSICIN
DE LAS PROPOSICIONES
El cuadro tradicional de oposicin de las proposiciones
89
mne s unive rsal e s y particul are s, a l as que se re pre se ntaba con l as
uatro prime ras vocal e s de l al fabe to:
L as re l acione s e ntre e stas proposicione s se mostraban por me dio
l e un cuadro, q~e re suma e n qu formas se podan opone r unas con
011as cuando, te nie ndo e l mismo suje to y e l mismo pre dicado, dife ran
11 l a cuantificacin de l suje to y e n su se ntido afirmativo o ne gativo:
So~ proposiciones contradictorias: A con O y E con l. Que dos
IOfl . l Cl O?e S se an contradictorias e ntre s, s.ignifica que no pueden
, simultneamente verdaderas, pero tampoco simultneamente falsas;
irsariamente una es verdadera y la otra) falsa.
Por e je mpl o, l as proposicione s:
"Todos l os pl ane tas tie ne n atmsfe ra" (A )
"A l gunos pl ane tas no tie ne n atmsfe ra" (O)
11 (l \l de n s.e r a~bas ve rdade ras y tampoco ambas fal sas, pue sto que
111 ('()n~radl ctonas e ntre s. Si A e s ve rdade ra, O e s fal sa, y vice -
f ,1: SI A e s fal sa, O e s ve rdade ra. Es de cir, cada una nie ga e l
,1111' de ve rdad de l a otra, por l o que , sie ndo l as l ite ral e s P y Q pre -
IIIIII()~cual e squie ra te ne mos:
(V x) (Px~ Qx) =,.....,[( 3 x) (Px /\ .-'Qx)]
( 3 x) (Px /\ ,......, Qx) =,......, [(V x) (Px ~ Qx)] ,
U nive rsal e s afirmativas:
U nive rsal e s ne gativas:
Particul are s afirmativas:
Particul are s ne gativas:
U nive rsal e s afirmativas
Particul are s afirmativas
A
E
1
O
U nive rsal e s ne gativas
Particul are s ne gativas
En l a l l amada lgica tradicional, de sarrol l ada por A risttc]
Escol stica me die val , principal me nte , ~I'dist inguian ya l a. proJlo
1111 e l e ' (V x) (Px ~ Qx) e s una proposicin unive rsal afirmativa
( 3x) (Px /\ ,.....,Qx) e s una proposicin particul ar ne gativa O.
90 Cap. 5. Las relaciones entre proposiciones generales
Igual me nte ocurre con l as proposicione s E e I:
( \f x) (P x ~ ,....,Qx) t===,...., [( 3x) (Px 1 \ Qx)]
(3x)(Px/\Qx)t==="""[(\fx)(Px ~"""Qx).
Son proposiciones contrarias: A con E, las cuales no pueden
simultneamente verdaderas, aunque s pueden ser simultneamenl
falsas, por l o que :
a) Sie ndo A ve rdade ra, E e s fal sa ne ce sariame nte (e je mpl
"Todos l os mamfe ros son ve rte brados" con "Ningn mam
fe ro e s ve rte brado").
b) Sie ndo E ve rdade ra, A e s fal sa ne ce sariame nte (e je mpl
"Ningn mol usco e s ve rte brado" con "Todos l os mol us
son ve rte brados").
c) Sie ndo A fal sa, E pue de se r ve rdade ra o pue de se r fal
(e je mpl os: "Todos l os hombre s son inve rte brados" con "Ni
gn hombre e s inve rte brado", y "Todos l os hombre s son m
tirosos" con "Ningn hombre e s me ntiroso").
d) Sie ndo E fal sa, A pue de se r ve rdade ra o pue de se r Ial
(e je mpl os: "Ningn e l e me nto tie ne val e ncia" con "Todos I
e l e me ntos tie ne n val e ncia", y "Ningn e l e me nto e s gase o:
con "Todos l os e l e me ntos son gase osos").
Las proposiciones subcontrarias: 1 con 0, no pueden ser ,simul
tneamente falsas, pero si simultneamente verdaderas; de aqU l qu
a) Si I e s fal sa O e s ve rdade ra ne ce sariame nte (e je mpl o: "
, . d ")
gunos cisne sson ve rde s" con "A l guno~cisne s no ~onve r e :~
b) Si O e s fal sa, I e s ve rdade ra ne ce saname nte ~e je mpl o: 1
gunos cisne s no son bl ancos" con "A l gunos CIsne sson bl a
cos") .
e ) Si I e s ve rdade ra, O pue de se r ve rdade ra o pue de se r fal
(e je mpl os: "A l gunos hombre s son me ntirosos" con "A l gun
hombre s no son me ntirosos", y "A l gunos hombre s son 010
tal e s" con "A l gunos hombre s no son mortal e s").
d) Si O e s ve rdade ra, 1 pue de se r ve rdade ra o pu de .el' fal .
(e je mpl os: "A l gunos hombre s no son bl ancos" COII. "A l guno
hombre s son hl ancos", y "A l gunos hombre s no son inve rte br
dos" ron lgunr hOl l l brl 's 011 invcru bru l o"},
El cuadro tradicional de oposicin de las proposiciones 91
Todas e stas re l acione s e ntre l as proposicione s ge ne ral e s, han sido
util izadas para obte ne r l as concl usione s de argume ntos muy se ncil l os,
que constan de una pre misa y una concl usin (l l amados "infe re ncias
inme diatas"). Por e je mpl o, de l a proposicin:
"Ningn gas tie ne vol ume n constante " (E), que e s ve rdade ra, se
pue de concl uir: "l ue go, no e s cie rto que al gunos gase s te ngan vol u-
me n constante " (que e s l a ne gacin de una proposicin I). En e ste
caso se e st re cordando que una proposicin E e s equivalente a l a
ne gacin de una proposicin 1.
Catalogacin en la f uente
Ar n a z, Jos An ton io
In ic ia c i n a la l gic a sim b lic a . -- 2a ed. -
Mxic o: Tr illa s: ANUlES , 1989 ( r e/ m p. 1 991 ).
1 0 6 p. ; 23 cm. - ( Tem a s bsicos.
Metodologa de la c ien c ia ; 2)
Blbllogr a f f a : p. 1 0 3
In c lu ye n dic es
IS BN 96 8--24-357 2-2
1 . L gic a sim b lic a y m a tem tic a . 1. t. 1 1 .S er .
LC- QA9. AS 'A7 . 5 D- 51 1 . 3'A7 7 91 7 88
La pr esen ta c i n y disposic i n en c on ju n to de
INICIACIN A LA LGICAS IMBLICA
son pr opieda d del editor . Nin gu n a pa r te de esta obr a
pu ede ser r epr odu c ida o tr a sm itIda , m edia n te n in gn sistema
o m todo, elec tr n ic o o m ec n ic o ( In c lu yen do el f otoc opia do,
la gr a ba c i n o c u a lqu ier sistem a de r ec u per a c i n y a lm a c en a m ien to
de In f or m a c i n ), sin c on sen tim ien to por esc r ito del editor
Der ec hos reservaoos
1978, Editor ia l Tr illa s, 5. A. de C. .,
Av. Ro Chu r u bu sc o 385, Col. P edr o Ma r a An a ya ,
c . r . 0 3340 , Mxic o, D. F.
Miem br o de la C m a r a Na c ion a l de la
In du str ia Editor ia l. Reg. n m . 1 58
P r im er a edic i n , 1 97 5
S egu n da edic i n , 1978 (ISBN968-24-0696-X)
( pr im er a pu blic a da por Editor ia l Tr illa s, 5. A. de C. v. )
Relm pr esion es, a br il y a gosto 1979, f ebr er o y
septiem br e 1 980 , 1981, 1982, 1983, 1985, 1986 Y 1 988
Ter c er a edic i n , 1989 (ISBN968-24-3572-2)
Primera reimpresin. abril 1991
Im pr eso en Mxic o
P r ln ted In Mexlc o

Iniciacion A La Logica

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Iniciacion A La Logica

Uploaded by

Copyright:

Available Formats

OBRAS QUE INTEGRAN EL REA

'\9 Contar tantos re ngl one s como combinacione s nos re sul te n.

You might also like