LUI del Carmen Mndel

Lgica
Mdulo 2
La presentacin y atspoetcton en conjunto de
LGICA CURSO 1: MODULO 2
son propiedad del editor. Ninguna parte .de est~ o~ra . t
uede serreproducida o trasmitida, mediante ntngun SIS e~a
~ mtodo electrnico o mecnico (incluyendo el fotrcopiadO,. t
la grabacin o cualquier sistema de recupera~in y a m:acenamum o
de informacin), sin consentimiento por escnto del editor
Derechos reservados
1981 Editorial Trillas, S. A. de C. V.
Av. Rfd Churubusco.J85, Col. p'e~ro Marta Anaya,
Deleg. Benito Jurez, 03340, Mxico, D. F.
Miembro de la Cmara Nacional de la
Industria Editorial. Reg. nm. 158
. dici 1981 (ISBN 968-24-0982-9) (mdulo 2)
Pnmera e IClOn, (ISBN 968-24-0945-4) (obra completa)
Reimpresiones, 1982, 1984 y 1985
Cuarta reimpresin, septiembre 1986
Impreso en Mxico
Esta obra se termin de imprimir
el dia 26 de septiembre de 1986, . . A
en los talleres de Imprenta y Litogrfica TeSISResendlz, S. .,
Gorostiza 57-2, CoL Morelos, .
Deleg Cuauhtmoc, 06200, MxICO,D. F.,
se en~uadem en Servtctos Editoriales Profesionales, S. A.,
Av 5de Mayo nm. 495, Col. Merced Gmer,
D~lell. lvaro Obrelln, 01600, M leo, D. F.,
tiraron
OOO, mplar " ,4 hNln' d r po 111m
Present aci n
Todos los recursos educativos deben estar al servicio deestudian-
y maestros. Aunque el proceso de enseanza-aprendizaje serea-
fundamentalmente bajo ladireccin destos ltimos, tal proceso
IIdara incompleto sin el apoyo que brindan los textos. Por esta
' 1. 11\, la Direccin General de Enseanza Mediadel Estado deVera-
1 11. promueve la elaboracin y difusin delasobras que conforman
I ri Mdulos para bachillerato.
Estos mdulos han sido estructurados de tal manera que los es-
Idi mtes de preparatoria encontrarn enellosel material indispensa-
II l' iracubrir lasnecesidades especficas desusprogramas deestudio.
l. unidades programticas que componen esto~materiales sehan
dido en temas, cuyo desarrollo corresponde auna leccin; de esa
11 fa el estudiante participar activamente desde la explicacin
1111 hasta la aplicacin de los conocimientos en los ejercicios; al
11ti I cada unidad encontrar un guin de reforzamiento y una
lo valuacin, adems de valiosas sugerencias para completar lo
I udido enel texto.
1.0/1 autores han sido seleccionados por su experiencia enel campo
111 enseanza y todos ellos han trabajado bajo la coordinacin del
11 jo Editorial Didctico de la Direccin General de Enseanza
di Iel 1Estado de Veracruz, la cual ha signado un convenio de co-
I IIin con Editorial Trillas, S.A., para hacer posible la publica-
11el stos trabajos.
lumn sy maestros debachillerato (ensusdiversasmodalidades:
11 s scolarizado, abierto y telebachillerato), sern losjueces de
m dulos; susopiniones permitirn alosautores mejorarlos cons-
In nt , para quecumplanconsupropsito fundamental: propor-
Ilosestudiantes uninstrumento til para su aprendizaje.
DIRECCIN GENERAL DE ENSENANZA
MEDIA DEL ESTADO DE VERACRUZ
ndi ce de cont eni do
UN,IDADV
INTRODUCCION AL SIMBOLISMO
" Ir eiduccin ala unidad
11
1, lila l . Proposiciones simples y compuestas
Ejercicios
11I.1 2. Diferentes tipos de smbolos
Eje rcic ios
11I 1~. Las conectivas lgicas
Ejercicios
Autoevaluacin de la unidad
Respuestas ala autoevaluacin
uin de recuperacin
12
14
16
24
26
40
43
46
47
UNIDAD VI
PROPOSICIONES Y FORMAS PROPOSICIONALES
1 I IIVOS d la unidad 50
" Iul' in ala unidad 51
l. F rmas proposicionales y ejemplos de sustitucin 52
Ejercicios 55
Formas proposicionales de mayor complejidad 57
Ejer icios 62
imboliza i6n d pr posiciones 64
Rjt'r icios 67
7
TEMA 1
Proposi ci ones
si mpl es y compuest as
Objetivo especfico:
1. El alumno distinguir formas de proposiciones simples y for-
mas deproposiciones compuestas.
Como ya hemos visto, en las proposiciones -al igual que en los
razonamientos- podemos distinguir dos aspectos:
contenido
forma
El contenido de una proposicin es el tema o asunto que trata.
La forma de una proposicin la constituyen las relaciones que
establece.
El contenido de las proposiciones, o sea el tema o asunto que
tratan, no interesa alalgica, sta slo seocupa delas formas.
En la cuarta unidad del primer mdulo se estudiaron las cuatro
diferentes formas que pueden tener las proposiciones categricas;
se vio tambin que dichas formas dependen del modo en que se re-
lacionan sus. trminos, o seadependen desu estructura interna.
. Las proposiciones categricas, y muchas otras proposiciones que
slo establecen relaciones entre sus trminos, se llaman proposicio-
nes de forma simple y se caracterizan por carecer de partes que asu
vez seanproposiciones.
Las proposiciones simples se dan aisladamente, no estn relacio-
nadas con ninguna otra proposicin, y si separamos los elementos
que las integran observamos que no esposibl aplic r ade uadamente
acada uno deellosningn valor deverdad.
h rvemos el siguiente ejemplo:
11 I'odo conocimiento seorigina enlaexperiencia."
una proposicin aislada que toda ella constituye una unidad
uiva a la que puede atribursele un valor de verdad. Pero si
1II0S suspartes:
Todo conocimiento
seorigina
enlaexperiencia
1/10 el' los segmentos por s solo constituye una proposicion ;
ucn tcmente, a ninguno de ellos se le puede predicar un valor
dad, es necesario que serelacionen entre s para obtener una
icin.
umicndo podemos decir que:
11'1fl proposicin de forma simple es aquella que se da aislada-
, ' V carece de partes que a su vez sean proposicz"ones.
proposiciones de forma simple pueden relacionarse unas
I para formar unaproposicin compuesta.
Illama proposicin de forma compuesta a la que se obtiene de
,mwr dos o ms proposiciones.
unos unejemplo deproposicin compuesta:
" La Luna esun satli te yVenus esun planeta. "
proposicin anterior -y cualquier otra proposicin de for-
IlIIpU sta- puede descomponerse en partes, que a su vez son
npropo iiones:
La Luna esun satlite.
Venus esunplaneta.
I Kmritos de la proposicin compuesta que se tom como
I le , y a u vez son proposiciones pues poseen su propio valor
I 1. _
1 prop si in compuesta posee tambin un valor de verdad
e e , ic I , 1valor de verdad de una proposicin compuesta
1 ()J o un todo depende del valor de verdad de las pro-
impl qu la integran y del tipo derelacinqueseestable-
ll. t tip d propo i ion sse1sllamafunciones de
Una funcin de verdad es la proposicioti compuesta cuyo valor
de verdad est determinado por el valor de verdad de las proposicio-
nes simples que la integran y el tipo de relaciones existentes entre
stas.
Vamos a limitar nuestro estudio de proposiciones compuestas
nicamente a las funciones de verdad, por tanto, siempre que nos
refiramos a proposiciones de forma compuesta debe suponerse que
aludimos a aqullas cuya verdad o falsedad depende de la verdad o
falsedad desuscomponentes.
EJERCICIOS
a) Elabore tres ejemplos de proposiciones de forma simple, como el que se
ofrece acontinuacin:
" Yucatn esuna pennsula" .
1.
2.
3.
b) Cul esel valor de verdad que corresponde (segnsu parecer) acada uno
de sus tres ejemplos.
Es verdadera.
1.
2.
3.
c) Divida cada una de las proposiciones que eligi como ejemplos. en dos o
tres segmentos:
Yucatn es una pennsula
1.
2.
3.
Advierta que a ninguno de los segmentos conaid
aplicrae1e correctamente un valor de verdad.
) 1-.1bore tres ejemplos de proposiciones deforma compuesta, relacionando,
ncia, algunos de los ejemplos del ejercicio a) con otras proposiciones:
( tn es una pennsula y Cozumel esuna isla.
) lo: criba separadamente cada una de las proposiciones simples que inte-
I proposiciones compuestas del ejercicio anterior:
tn esuna pennsula Cozumel esuna isla.
v que cada una de lasproposiciones simples escritas anteriormente es
. ' ' ' . t l . r l ( ) falsa,
I
TEMA 2
Diferentes
tipos de smbolos
Objetivos especficos: al concluir este tema el alumno
1. Identificar cada uno de los distintos tipos de smbolos.
2. Conocer los usos propios de cada tipo de smbolos.
El simbolismo de la lgica moderna se inicia con un sistema de
smbolos que tiene como finalidad la representacin exacta de propo-
siciones simples y compuestas, motivo por el cual se le denornin
lgica proposicional.
El simbolismo de la lgica proposicional es bastante sencillo; slo
comprende seis clases de signos:
1. Constantes proposicionales.
2. Variables proposicionales.
3. La negacin.
4. Conectivas.
5. Signos de agrupacin.
6. Abreviaturas para los valores de verdad.
CONSTANTES PROPOSICIONALES
Son constantes proposicionales las letras maysculas del abece
dario que se utilizan para representar una proposicin simple com
pleta, esto es, tanto su forma como su contenido.
Si tenemos la proposicin:
" El calor dilata 108 cuerp
11
16
I 111' forma simple y trata sobre un tema de fsica, podemos sim-
11.1 por medio de una letra mayscula, la que queramos, por
I111:
e= " El calor dilata los cuerpos"
1.1 letra erepresenta la forma y el contenido de la proposicin
(' t:l simbolizando. Ahora bien, para lograr la precisin que
cl Icnguaje de la lgica se recomienda:
I 111' se use una letra que no haya sido utilizada (en ese con-
t ) 1',1/ asimbolizar otra proposicin diferente.
111' uando sea necesario volver asimbolizar (enesecontexto)
111,1pr posicin, seutilice la misma constante.
l S PROPOSICIONALES
,/" rl nombre de oariables proposicionales a las letras m inscu-
I 1" ltima parte del alfabeto (p, q, r, s, t, u, v, w, x, y, z) que se
", /111/(/ r 'presentar formas de proposiciones.
111I il-\Ilicnte ejemplo:
p
IlIilllS .ula p est en lugar de cualquier proposicin, realmente
1'" 1'1\ ta laforma de la proposicin puesto que su contenido
11111hrminado.
111I11 l' puede observar, tanto constantes como variables son
1 '111I' npresentan proposiciones; slo quernientras las cons-
1 11tiIiZ:Ul para represen tar una proposicin determinada -que
0111 1111 ti ma o asunto en especial-las variables estn en lugar
/ ,1'1""" proposicin.
el r r til sealar la semejanza que hay entre las constantes
" 11111" 111'1011,111' y losnombres propios por un lado, y las variables pro-
" I Y los nombres comunes por otro.
p1I al" ,1 jnlap es un nombre propio y se usa para designar una
I el lc'IIlIi11 uda, mientras que la palabra ciudad es un nombre
181" " 1111 1111I lo mismo se aplica a Mrida que a Maracaibo, Roma,
111I, .1ulupu () cualquier 01ra poblacin que est comprendida
I " 1{1I1 del con 'cpto ciudad. De igual manera, las letras ma-
I e 11,11{\11para rcprescn tar una proposicin en especial y las
-111I'1.11111 di' la ltimu purtc el '1 abe .dari representarn simple-
11 10111111 rk- cunlquic p IIJlII. icin.
17
LA NEGACiN
19
El smbolo de la negacin es una tilde - que se escribe antes de
una proposicin cuando se quiere cambiar su valor de verdad.
" La Tierrano esel centro del universo" ,
11I bolizacin lgicaes
Vimos en el primer mdulo que toda proposicin se caracteriza
por tener un valor de verdad, tambin se precis el hecho de que
llamamos valor deverdad alospredicados verdadero yfalso.
Ahora bien, dada una proposicin cualquiera:
p
-c,
ihora unvalor deverdad verdadero.
si lanegamos
11111 a dedicar ntegramente el siguiente tema al estudio delas
I 1: ahora slo lasmencionaremos brevemente.
en caso de que su valor de verdad haya sido verdadero cambiar a
falso, y si su valor deverdad originalmenteerafalso cambiar averda-
dero.
Veamos unos ejemplos:
, , onrctiuas son los smbolos que se utilizan para representar
",'\ entre proposiciones.
lu1I10S visto que las proposiciones se relacionan entre s para
1" oposiciones compuestas. Lalgica proposicional establece
" 1'" ' el' relaciones diferentes: " La Tierra giraalrededor del Sol"
representada por laconstante le lucin deconjuncin queserepresenta conun punto:
T
disyuncin que se representa de la siguiente
esuna proposicin verdadera.
Si lanegamos:
v
" La Tierra no giraalrededor del Sol"
de implicacin que se representa con una flecha
simbolizada delasiguiente manera
-T
de equiualencia lgica que se representa con una
dacomo resultado una proposicin falsa.
Tratndose deuna proposicin falsacomo:
" La Tierra esel centro del universo"
I l' dI proposrcron ompucsta que se obtiene depende de la
'1(111 '111 l' l'.lahkz aentre lasproposiciones que la forman. As,
I111'" jl iOlu'/i cualquiera:
que representamos
l'
( 1
e
18
Si queremos integrar una proposicin compuest~. debemo~rela-
cionarlas de algnmodo; para ello colocamos enmedio del~ssmbo-
los que representan las proposiciones - en este cas?,lasvanables p y
q _ la conectiva correspondiente a laclasederelacin que deseam~s
establecer, tal como se ilustra en los casos que se presentan a conti-
nuacin:
1. Tenemos una proposicin
El smbolo delaconjuncin
Otra proposicin
p
q
La proposicin compuesta ~esult~te de.rel~cionar esas.dos pro-
posiciones conjuntivamente sesimboliza del siguiente modo.
P'q
2. Tenemos una proposicin p
El smbolo dela disyuncin V
Otra proposicin q
La, proposicin compuesta resultante de relacionar esas dos pro-
posiciones disyuntivamente serepresenta as:
pVq
3. Tenemos una proposicin
El smbolo delaimplicacin
Otra proposicin
p
q
La proposicin compuesta resultante d~r~lacionar esas dos pro-
posiciones implicativamente seexpresa del siguiente modo:
p-+q
4. Tenemos una proposicin p
El smbolo delaequivalencia +-+
Otra proposicin q
Si se les considera equivalentes, la proposicin compuesta que
establece esarelacin sesimboliza delasiguiente manera:
20
oposiciones e mpuestas resultantes de establecer cuales-
1,. r ilaciones descritas anteriormente sonfunciones de ver-
lo que su valor de verdad depender de las proposiciones
1 1 1 lasintegran.
AGRUPACiN
nomina as a los parntesis, corchetes y llaves que se uti-
vitar la ambigedad y falta de precisin en las expresio-
nos de agrupacion sirven para determinar el alcance de las
fI dI' la negacin.
ho umplen la misma funcin que en matemticas. Con-
" . " n W I l . iguiente expresin aritmtica:
6+472
nta esuna suma o una divisin?, podra responderse:
; p ro si insistimos cul esla operacin msimportante
lIt snecesario colocar los signos de agrupacin que ha-
r ( r el carcter ambiguo de la expresin. As, si se trata
r l. el beescribirse de lasiguiente forma:
6 +(4 7 2)
i ("una divisin debe representarse as:
(6 +4) 7 2
lasoperaciones, losresultados sern diferentes porque
' 1 1 1 ' 1 ' 01 1 1 1 1 no on iguales.
I Iiodo, en lgica puede haber -y dehecho hay enabun-
)i ion s ompuestas donde se establezcan ms deuna
i mpl :
P . q V r
b t nermayoralcance
La expresin anterior esambigua, no sesabesi esuna conjuncin
entre una proposicin simple (lap) y una compuesta ( q V r), o bien
es una disyuncin entre una proposicin compuesta (p . q) y una
simple (lar).
El uso de signos de agrupacin evitar tales problemas y, enton-
ces-si deseamos simbolizar una proposicin compuesta cuyarelacin
principal es una conjuncin entre una proposicin simple y otra
compuesta-lo hacemos deeste modo:
P . ( q V r)
Mientras que si queremos simbolizar una proposicin compues-
ta, cuya relacin principal sealadisyuncin, procederemos as:
( p . q) V r
Conrespecto alanegacin, tambin debemos tener mucho cuida
do yprecisar su alcance contoda exactitud.
Si negamos una proposicin compuesta, considerada como
todo, debe encerrarse entre parntesis la totalidad de la proposici
(corchetes o llaves, segn el grado decomplejidad que tenga) yescri
bir el smbolo delanegacin delante del signo deagrupacin. Ejemplo
~( p . q)
Pero si no sevaanegar laproposicin compuesta ensu totalida
entonces lanegacin debe ser colocada ex~ctamente junto alaprop
sicinque sedeseanegar. Ejemplo:
r : ~q
Msadelante, y segn lo requiera lasimbolizacin deproposici
nes ms complejas, se ilustrar con ejemplos el uso de corchetes
llaves. .
ABREV IATURAS PARA LOS V ALORES DE V ERDAD
Slo se trata de lasletras V y F que s utilizan para represent
lospredicados verdad ro y falso, p tivamentc
o
Vl
V
~

. . . .
u
. . . .
Vl
o
o-
o
M
o-
Vl
. . . ! : l
~
. ~

t
>
~
>
.. tI
u
v

U
ro

Vl
o
-
Vl
~
o
~
>
Vl
o
-
Dadasdosproposiciones cualesquiera:
7
p . q
Iionamos conjuntivarnen 1:e:
TEMA 3
1111.1 proposicin compuesta quetambinseLlama conjun-
I 1111\ cuando ensentido estricto lapalabraC::onjuncines
1 larelacinlgica que consiste enjuntar d~s proposicio-
\1V um nte se le da tambin el nombre de Conjuncin al
11 l' utiliza para representar este tipo derelacin y a la
IIompuesta resultante.
1'1CI1'0siciones que integran la conjuncinsel~s da el nom-
"1"11 tiuos.
conjuntivo~~ ~" : conjuntiva
conjuracion
Las conect i vas l gi cas
Objetivo especfico:
1. El alumno utilizar correctamente las conectivas para simb
lizar lasproposiciones compuestas queseleindiquen.
Seha sealado enrepetidas ocasiones quelalgicaesuna cien
formal; como tal, se ocupa muy especialmente deestudiar lasform
de los razonamientos y las formas delas proposiciones que integr
losrazonamientos.
Enel mbito dela lgicaproposicional lasformas sedetermin
por el modo en que serelacionan unas proposiciones con otras.
conectivas son los smbolos mediante los cuales se representan 1
relaciones que suelen establecerse entre unas proposiciones y otr
de all la importancia que tiene conocer su funcin con la may
precisin posible.
11.1111 P representa un conjuntivo:
uiuhlc q representa otro conjuntivo; . .,
1 1 1111 t o 'S el smbolo de larelacin de.conjuncrori ,
I" t'sin completa p . q es una conJunclOn. .
1I111Il inesunafuncin de verdad, lo queequivale adecir
,,,I,,r d verdad de la proposicin compues~a (considerada
Iudo), donde seestabl~ce l?- relacindeconJu,llsin, depen-
,,,I,,r ( LI' verdad de sus con]untzvos.. .'
1 I losconjuntivos son verdaderos, la conjuncin como un
,dad ra:
p q
V V
P ' q
V
LA CONJUNCIN
11Ionjuntivo esverdadero y el otro falso, laconjuncin ensu
1 fulsa:
Se llama conjuncin a la relacin que consiste en juntar (agreg
o adherir) una proposicin a otra.
p q
V F
P ' q
F
El smbolo delaconjuncin esunpunto:
esfalso yel otro verdadero, laconjl.l.ncincomo
p
q
p q P ' q
F
26
(lasrelacionamos conjuntivamente):
" ,' '<tu diez enlgica y ocho enmatemticas"
11I 'pr posicin compuesta llamada conjuncin.
01 la conjuncin se establece usando las palabras: y,
I u! ms, aunque, mientras, tambin, sin embargo, etc.,
t o idi ma sirven para representar la relacin de conjun-
l. IOdo que enlgica seusael punto.
CI j mplo, si utilizamos las constantes L y M para
_ . n : l. r J p op siciones: " saqu diez en lgica" y " saqu ocho
1 1 1 ' ,. . . . r p ctivamente, laproposicin compuesta resultan-
onjuntivamente quedaria delasiguiente forma:
L M
1I1t1l1d(m s6lo seria verdadera encaso de que fuera verda-
I Jl opo i in L como laM; en las otras combinaciones
I v el ella onjuncin resultante seria falsa.
y si los dos conjuntivos son falsos, la proposicin compu
resultante tambin esfalsa:
p q
F F
P'q
F
Lo anterior puede mostrarse esquemticamente mediante
tabla de verdad.
Una tabla de verdad es un esquema que muestra todas las dijer
tes combinaciones de valores de verdad, que pueden darse en cu
quier conjunto de proposiciones simples, y el valor de verdad
las proposiciones compuestas resultantes de relacionar tales pr
posiciones.
Vamos a elaborar una tabla de verdad que muestre cundo
conjunn esverdadera y cundo esfalsa.
Toda conjuncin tiene dos conjuntivos; representaremos st
con lasvariables p y q que estn enlugar decualquier proposicin:
p q
Ahora vamos aver cuntas posibilidades decombinacin deval
res de verdad hay con dos variables. Nos serviremos delasletras V
F para designar lospredicados verdadero y falso respectivamente.
Dadas dosproposiciones
p q
V V
combinaciones V F
devalores
deverdad
F V
F F
Si relacionamos esas dos proposiciones (representadas por p
q) conjuntiv.amente
p q p'e
28
que slo cuando la combinacin de valores de verdad
Jl oposicin compuesta resultante esverdadera, yentodas
mbinaciones de valores deverdad serfalsa.
p q
P'q
V V V
V F F
F V F
F F F
Fig.5.1 Tabla de Verdad delaConjuncin.
momento slo hemos utilizado variables. No se han
mplos de proposiciones completas sino slo formas
, pero latcnica eslamisma.
o lassiguientes proposiciones:
" Saqu diez enlgica"
" Saqu ocho enmatemticas"
1, M L M
V V V
F F
F V F
F 1" 1"
e.r caso: v v
1
Presentamos a continuacin, ejemplos que corresponden a
una delascombinaciones devalores deverdad quepueden darsee
losconjuntivos que integran este tipo deproposicin compuesta.
fal o el segundo conjuntivo:
igulo tiene cuatro lados. "
"DUllh' II' 1\I ompuesta, resultante de unirla conjuntivamente,
III.1:
Ee
- Si esverdadera laprimera proposicin:
P = " El tringulo esun polgono."
- y tambin esverdadera lasegunda proposicin:
T = " El tringulo estformado por tres ngulos."
- Esverdadera toda laconjuncin:
ulo esunpentgono y tiene cuatro lados."
P'T
" El tringulo esun polgono yestformado por tres ngulos."
,mI ;/111 es la relacin que consiste en unir opcionalmente
I. """' A' , '11/1/',\,
2~caso: V F
11111111101 1(\1(' la disyuncin es una relacin opcional porque ofre-
"WIWfl .ntre dosproposiciones,
111 proposicin compuesta:
- Si esverdadero el primer conjuntivo:
P - " El tringulo esun polgono."
- y falso el segundo:
e=" Tiene (el tringulo) cuatro lados."
- Laconjuncin ensu totalidad esfalsa:
IIicnciasexactas o estudio ciencias sociales"
' 1' 10 el ' disyuncin.
J I I01 s formula la disyuncin insertando la palabra o (o
I 11 lasd sproposiciones. A vecespara poner mayor nfa-
. "hl~1 agregael mismo vocablo al principio, ejemplo:
pe
" El tringulo esunpolgono ytiene cuatro lados."
3:'" caso: F V Ilidio ciencias exactas o estudio ciencias sociales."
- Si esfalsalaprimera proposicin:
E = " El tringulo esun pentgono."
- yverdadera lasegunda proposicin:
T = " Tiene (el tringulo) tres lados."
- Esfalsalaconjuncin:
11111, 1010, en lgica el smbolo deladisyuncin secoloca ni-
,It lasproposiciones que sevanarelacionar.
11I1 010 de' ladisyuncin es
v
ET
1cionan disyuntivamente dos proposiciones cualesquiera,
. IIUf' \C' l 1, igui nt forma proposicional:
" El tringulo esun pentgono aunque tiene tres lados."
p V q
4~caso: F F
ompu sta por laforma anterior esuna funcin
el v rd d d p nde del valor deverdad delas
1
- Si esfalsalaprimera proposicin:
E = " El tringulo esun pentgono."
30
2
A las proposiciones integrantes de ur-t~.1a disyuncin se les llam
disyuntivos:
p q p V q
V V V
V F V
F V V
F F F
disyuntivo ..r-p V q~
di
~ .,
syuncion
C5disyuntivo
Como puede observarse:
Fig.5.2 Tabla de Verdad de Disyuncin.
- Lavariable p representa el primer dii.s ayuntivo.
- Lavariable q representa el segundo .dJlisyuntivo.
- Laletra Vsimboliza la relacin de d..iis~yuncin.
- Laexpresin completa p V q esun;;;a disyuncin.
1111t inuacin ofrecemos ejemplos de disyunciones que corres-
1 I uda una de las combinaciones de valores de verdad que
d11 l' ntre sus disyuntivos.
V V
Para que ladisyuncin como un todo ~~a verdadera basta con qu
uno de sus disyuntivos sea verdadero, inc::hlR.lyendo el caso en que lo
dos sean verdaderos.
Supongamos que alguien le pregunta cu.upiensa estudiar y uste
responde:
I primer disyuntivo esverdadero:
" 1.aTierra gira alrededor del Sol."
I cgundo tambin lo es:
LaTierra gira sobre s misma."
1 di yuncin como un todo tambin lo es:
" Estudiar sociologa o estudiar-::- artes plsticas" ;
G V S
en este caso su proposicin compuesta se::::r- verdadera tanto si resul
tan verdaderos sus dos disyuntivos (estudiaJ lasdos carreras), como S
alguno de ellos (cualquiera de los dos) ~s verdadero, y slo ser
falsa la disyuncin si los dos disyuntivos s.0-" falsos.
Si hacemos caso omiso de lo que PU~de tratar una disyuncin
nos concretamos asu forma, veremos que
111 Iragiraalrededor del Solo girasobre s misma. "
V F
dadas dos proposiciones cualesquiera
l prim r disyuntivo esverdadero:
ti El Sol sel centro del sistema planetario."
gund disyuntivo es falso:
( 1 " El Sol esel centro del universo."
ch yuncin de ambos esverdadera:
p q
si lasrelacionamos disyuntivamente:
CVU
p V q p q
1 centro del sistema planetario o el Sol esel centro del
Pueden darse slo cuatro tipos de C:lCombinaciones de valores d
verdad entre sus disyuntivos, de loscualess-, los tres primeros dan com
resultado una disyuncin verdadera y sl<>loel ltimo tipo de combin
cin (F F) da lugar auna disyuncin falss a.
Lo anterior se muestra esquemtic m nte mediante la tabla d
verdad correspondiente ala disyun in:
F V
, II Iproposicin es falsa:
111, I Ti raposee luz propia."
33
- y lasegunda proposicin esverdadera:
R = " La Tierra refleja laluz del Sol."
- Ladisyuncin como un todo esverdadera:
LVR
" La Tierra posee luz propia o refleja laluz del Sol."
4? caso: F F
- Si el primer disyuntivo esfalso:
L = " La Tierra tiene luz propia:"
- yel segundo disyuntivo tambin es falso:
1 = " La Tierra refleja laluz dela Luna."
- Ladisyuncin resultante es falsa:
LVI
" La Tierra tiene luz propia o refleja laluz de la Luna."
LA IMPLICACiN
dcnto es la proposicin que implica (contiene) ala otra
III,'lIl' es la proposicin implicada o contenida en el
I antecedente seescribe antes de laconectiva que repre-
011 deimplicacin y el consecuente vadespus desta:
untecedente ~p ~ q--- consecuente
~
implicacin
Ihl(' P representa al antecedente.
Ihlt- q representa al consecuente.
hI ~representa larelacin deimplicacin.
1" in p ~ q simboliza laimplicacin.
'1lo rlc implicacin expresada enespaol sera:
IfI losuficiente entonces apruebo el curso."
La implicacin es una relacin condicional o hipottica que
entre dos proposiciones cuando la primera de ellas contiene a 1
gunda.
El smbolo que seutiliza para representar laimplicacin es:
es:
Dadas dos proposiciones cualesquiera:
p
q
Si se relacionan implicativamente, la proposicin
resultante serepresenta as:
p~q
A las proposiciones que componen una pli a.in s
antecedente y consecuente.
34
111 'n deimplicacin.
11(,1('11 usarse expresiones como:
0, implica, entonces, etc.
111de implicacin seleconsidera una relacin condicio-
1 uit . idcnte es condicin suficiente para que se d el
(onsidcra a la implicacin como una relacin hipot-
I 111' 110 se asegura la ocurrencia del antecedente ni del
.10 (' formula una hiptesis donde seestablece que, en
11' d unte edente, sedar tambin el consecuente.
11I [crnplo:
promcdi superior a ocho, entonces exentars el
" ticn s un promedio superior a ocho" es
It para II()' r n iacid consecuente, pero no est
ho .on umaclo; s>los pr senta omo un
3
1'!
.)
supuesto, como una hiptesis posible de realizarse y que, e
que: as suceda, traer consigo laocurrencia del consecuente
rs.el examen final" .
Ahora bien, cundo esfalsauna implicacin?
Tomemos nuevamente nuestro ejemplo anterior.
dicee:
Cundo diras que tu maestro hamentido? (Elaborado
tesiisfalsa.)
Respuesta: slo en caso de que se diera el antecedente (
un promedio superior aocho) y no sediera el consecuente (
exe.ntars el examen final).
Esto nos muestra que laimplicacin slo esfalsacuand
cedlente es verdadero y su consecuente es falso, en cualq
circunstancia laimplicacin esverdadera.
Resumiendo lo anterior, enel esquema deuna tabla dev
implicacin seformula delasiguiente manera:
" Si tienes un promedio superior
exaimen final" .
p q p-+q
V V V
V F F
F V V
F F V
drnte esverdadero:
I 1'1,1 esun compuesto qumico."
urntc esfalso:
1 1 1 1 . 1 esunelemento simple."
" '111 ensu totalidad esfalsa:
e-+s
compuesto qumico, entornces la plata esun
Iuueccdente esfalso:
pl l LI esunvegetal."
c IIC 111 ' verdadero:
1 1 1 1 . 1 C'S uncompuesto qumico."
lh' . lldclIl como un todo esverdadera:
v -+e
\111 wgclal, entonces esun comp-uesto qu~co."
Fig.5.3 TabladeVerdad delaImplicacin.
A continuacin, presentamos ejemplos de implicacion
rressporiden a cada una delascombinaciones devalores dev
pueden darseentre susproposiciones componentes.
V V
G -+T
- Cuando el antecedente esverdadero:
P = " La plata esunmetal."
- y el consecuente tambin esverdadero:
D=" La plata sedilata con el calor."
- Laimplicacin esverdadera:
P-+D
" Si laplata esun metal, enton la pl
36
('11 tonces laplata esvoltil."
1 1 III. ' ' ' ' 1 ' ' ' ' ' ' 1\ 111/( / rclacion bicondicional entre dos proposi-
"""" 11111I IUlI/U'11te.
Fig. 5.4 Tabla d V rd d d l t:
. una unidad ompl la nicamente SI'
es mayor
La equivalencia es una especie de implicacin doble que se
entre dosproposiciones que secondicionan mutuamente.
Conejemplos seintentar mostrar ladiferencia que hay entre
implicacin yuna equivalencia.
Primer ejemplo:
" Si tienes nueve de calificacin, entonces apruebas lamateria. t
Segundo ejemplo:
" Slo si tienes un mnimo deseis, apruebas lamateria."
En el primer caso, la ocurrencia del antecedente traer consigo
ocurrencia del consecuente pero no a la inversa. Podra darse el e
secuente (aprobar la materia) y no darse el antecedente. (Es posi
aprobar lamateria con otra calificacin.)
En el segundo ejemplo, la primera proposicin trae consigo
segunda y sta a su vez implica a la primera. (Tener un mnimo
seis es condicin para aprobar y aprobar la materia implica tener
mnimo de seis.)
El smbolo delaequivalencia esuna doble flecha:
posiciones equivalentes queejempf]fican las cuatro combina.
I . valores deverdad que puedendar-se entre sus e
omponen tes:
v V
:1I.uldolaprimera proposicines velt'dadera:
"
" T
rescuartos serepresentacon "-tu quebrado!'
lasegunda tambin esverdadera:
" " Tres cuartos esuna cantidad fraccionaria."
\ equivalencia esverdadera:
T~F
uartos se representa conun qL.:tebrado si y slo si es una
Ifraccionaria."
V F
signo bastante ilustrativo que muestra ladoble implicacin.
Enespaol este tipo de relacin seexpresa mediante laspalab
slo, solamente, nicamente, equivalente, si y slo si, etc.
1.\ primera proposicin esverdadera:
" Tres cuartos esuna cantidad fraccionara."
1\ s gunda falsa:
" T
rescuartos serepresentacon l..ln nmero ent "
11
. di' al fal ero.
II.on cion es so:
Ejemplo:
" La figura esun tringulo si y slo si tiene tres lados."
Como esevidente, si afirmamos laequivalencia entre dos propo
ciones, stas deben tener el mismo valor de verdad para que laeq
valencia como un todo seaverdadera; en caso dequelasproposicio
que constituyen una equivalencia tuvieran valores de verdad difer
tes, larelacin all establecida sera falsa.
Si establecemos entre dos proposiciones cualesquiera una relaci
de equivalencia, la proposicin compuesta resultante slo ser v
dadera si sus proposiciones componen tes tienen el mismo valor
verdad; de lo contrario ser falsa como se muestra en la siguien
tabla.
F~E
cuartos es una cantidad fracciollara slo si se representa
" 1111 ro entero."
F V
1 raproposicin esfalsa:
I " Tr scuartos esuna unidad completa."
1, gunda esverdadera:
I " Tr s uartos esmayor quedos CUartos."
1 1 i ondi iional esfalso tambin:
p q
P -<---7 q
V V V
V F F
F V F
F F V
u f)