Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Gerold
La
jO poco que
Stahl
proposiciones (enunciados)
posible.
es
No
propia
3) No debe
Nos
ayer
cumplir
con
cuati
condiciones:
1)
Debe
tamos
entender
cimientin
lo
generales
que sigue se
de la lgica
i un
poco
modificado)
necesitan
.simblica.
"Principia
.
ct.no-
Uti
Mathc-ma-
ser
No
problema
L'n
propia
con
propia
4)
respuestas.
sea
debe
ser abreviada.
Una respuesta
p.na la pregunta "Mara se ca
s) ayer?" no es "Si" ni "Mara se ca
si')", sino si'.lo "Mara se cas ayer".
L')
no
son
respuestas
propias
respuesta
propia.
pregunta "dnde",
ta la indicacin de
se
espera
en
la respues
Anales
72
sonas
el
no
"F
quin
"Mara
tas:
tenemos,
en
las
otras,
tre
cas Mara?"
se
cas>
se
con
Carlos", "Mara
con
preguntas perfectas
mos
lo
en
guntas")
simplemente "pre
que sigue
nicamente
en
relacin
con
(las llamaremos
"i espuestas"). Todas las preguntas y res
hemos visto,
puestas perfectas son, como
respuestas
sus
propias,
perfectas
posiblemente
vale
lo
tambin
inverso.
podemos
=
7",
7" **, para lo cual "3 + 4
=_
-L
son
"j
7". etc.,
5
respuestas inten
cionadas. El signo de la interrogacim
el "[junto de la interrogacin", es
marca
decir, el lugar que ser ocupado en una
intencionada por el smbolo
=
respuesta
ejue
la
en
pregunta.
siguientes simbolizacio
o nopaia preguntas: por la negacin
negaiin tle una proposicin ("Es el ca
la
so
que rescataron la caiga?") "?p": por
relacin enue dos proposiciones "/' ? ("':
'leemos as las
nes
sim
de
este
poi
un
tringulo
valoi
Menos las
ilc
*
ele
son
una
iguales'?")
linui'm
la lonlnidiccin:
>
^>
?";
('.Quin
contra
la
es
ley
com
la
Universidad
?";
de
por
("Qu
de
Chile
pescado?")
una
constante
"?a", por
la clase
el rinoceron
te?") "a z ?"; por una relacin ("En qu
relacin estn Mara y Carlos?") "a 7 b";
"'
2 + 2": etc.
por un nmero
de
elemento
un
El
pregunta
".Con
de
aqu
("Qu
es
de la interrogacin representa
conectivas proposicionales, a
signo
veces
veces
clases,
esta
tanto,
de la
signo
interrogacin.
p"
pregunta
2 + 2", etc.
tencionada "4
Las distinciones corrientes entre pre
"cmo
guntas con "quin", "dnde",
=
"porqu",
etc.,
pierden
de
importancia,
ya
su
simbolizacin no se mantiene
diferencia. Preguntas con "quin".
"dnele", "cmo" y "porqu", por ejem
"I- y?'
plo, pueden simbolizarse por
la funcin 'ser l.i
satisface
valor
("Qu
.'.
.', o 'ser el lugar donde
persona que
.', o 'ser la ra
o
'ser la manera como
en
que
esta
por la cual
zn
.'?").
Por el
otro
lado,
una
pregunta
con
haber
v se elige la ms convenien
las necesidades del momento.
ra
preguntas,
te
segn
La lgica
sin
de
las
73
preguntas
las
embargo,
por "o"
(para que
Por
puesta).
Carlos
seleccione
se
ejemplo. "Mara
Pedro?"
con
es
una
se
una
res
cas
con
se
pregunta
Pedro", "Mara
dro"
"No
Callos ni
con
cas)
se
el
es
con
Carlos y
que Mara
Pedro".
caso
con
Pe
casi)
se
muchas
abreviaturas
de varias
de interroga
cin *. En este caso hablamos de "pregun
tas
compuestas". Por ejemplo, "Dnde y
cundo encontraron al asesino?" puede
considerarse como abreviatura de: "Dn
de encontraron al asesino?" y "Cundo
encontraron al asesino?", es decir, en es
te caso como una conjuncin de dos pre
veces
como
un
con
preguntas
punto
guntas. Similarmente
la pregunta "Dnde
al asesino?"
ron
podemos
o
como
considerar
cundo
una
encontra
de
disyuncin
ralelismo).
Conjunciones
de preguntas se represen
()" y disyunciones poi
por "(...)
(. .) v (. .)" entie los parntesis se co
locan las simbolizaciones ele las preguntas
"
espectivas).
L'na
te?".
condicionada
pregunta
ejemplo,
intencionadas
respuestas
la
de
sei
por
"Si ests
Sus
negacim
de las
son
la
proposiciones
que
espuestas
"3"
En
como
posiciones
implicante
parntesis junto
propiamente tal
entre
y la pregunta
el
contrario ellas
caso
variables
"
por
indicado
ejemplo
(p
3)
se
repre
l-xf".
A toda pregunta
(perfecta) correspon
de una expresin que es la disyuncin de
todas sus respuestas intencionadas y de la
conjuncin de las negaciones de sus espuestas intencionadas. A "Fx", por ejem
v.
plo, 101 responde "Fa.v.Fb.x.F'c.y
~Fi
~Fa
~Fb
."; a "a R? b" coi
v.~ (a S b).
responde "a S b.v.a T b.\.
.
."; a "??p
(a T b)
"p.x.q.\.~p ~q": etc.
.
??</" corresponde
Todas
estas
expre
"expresiones parale
tautologas.
son
Por lo
menos
una
pane de
una
tal dis
per
tan
verdadcia.
ta
una
nos
parte
perfecta tiene
(perfecta)
puesta
Si
la
ms
hay
para
una
de
una
respuesta
verdade-
distinguimos
completa", epie
pregunta,
"respuesta vi uladera
ronjunciin de todas
entre
es la
las espuestas inten
cionadas verdaderas de la pregunta respec
tiva, y "respuesta vcidadea incompleta",
es
que, aunque
una
respuesta verdadera,
tan
sentara
las",
El
implicado.
signos
de
con
se
el
representan
nmero
interrogacin.
con
en
el
no es
una
nspuesla perica ta para la pie
gunta en cuestim, puede ser sediciente
para obtener una espuesia ()ierleeta) ver
daclera para esta pregunta. Tenemos, por
ejemplo, para la pregunta "Mara se ta
s) con Callos o con Pedro?" la
respuesta
verdadera
"Mara se case')
(nicamente)
Antonio ", que no es una respuesta
pe leda. Pe o. a partir de ella puede ob
la
tenerseespuesta perfecta vert, ulea
ion
"No
algo
ionio
risprdivo
el
que Mara
Pedro".
Consideremos ahora las
es
los ni
i a,o
se
casi)
con
Cal
con
preguntas
investiguemos qu
como
relacio
nes
[Hieden estable eise entre ellas. Pren
sando un poi o m.s el
concepto de "piegunia", la consideramos como "exposicin
entero
Anales
74
de
problema
un
una
nos
mos
mos
respectivamente.
para
"Q",
juncin v
lo indicado, por lo
una
respuesta suficiente para ob
una
respuesta verdadera para una
Necesitamos,
menos
tener
segn
conjuncin
una
de
respuesta sufi
ciente
(para obtener una respuesta ver
dadera) para cada componente; para una
disvuncin de preguntas es suficiente una
respuesta suficiente para uno de sus com
ponentes.
Hablamos de una "implicacien de pre
guntas" ("P 3 Q "), que debe distinguirse
de una pregunta condicionada, si cual
una
si
Q "),
una
para obtener
ra
la
otra
respuesta suliciente pa
una
necesaria y suficiente
respuesta verdadera pa
es
pregunta
una
pregunta.
se
fueron?) (A
(Cmo se hiri?) v
qu se hirii?); (Con quin se cas
Mara?) 3 (Mara se casi')?); (Es sta tu
(Eres t el padre de ella?).
hija?)
(Cundo
Ejemplos:
dnde
[.Con
fueron?);
se
algunas simbolizaciones ms
en
posicin de lonnar un
clculo de preguntas y respuestas. Aqu
no
procederemos a una sistematizacin
Con esto y
-.a
estaramos
(axiomalizacin, etc.) de
sealaremos slo
expresiones
clculo, sino
este
lo ejue sigue
seran teoremas
en
epie
algunas
de
un
Utilizaremos, adems
de los smbolos va sealados, "res P" que
signilic a "Se dispone de una respuesta sulicente para la pregunta P", y la negacin
de esta expresin,
es P"
que significa
"No sp dispone ele una respuesta suficien
te
paia la pregunta P". Tenemos luego:
clculo de
tipo.
este
"
P.D.res
P.O.-
res
-res
I>
0
O
(>
(J
res
P.
P
.P
(/)
Si
res
es
res
(P
tenemos
0)
0
(?)
0.3. -res P
(*/)
P.J.ies 0
P.Z>.~res
.D.~(P
.0
(I)
(2)
0)
l'n. res
-res
~
.
0.
-res-
(P
res
P
una
Q
3
0)
(5)
()
(7)
(*)
(9)
respuesta suficiente
la
Universidad
pregunta de
tenemos
Chil^
disyuncin,
una
una
de
en
suficiente
respuesta
para la
una
para
tonces
de
una
ces
tenemos
no
mos
la
una
gunta
respuesta suficiente
una
conjuncin
si
(3)
entera;
tene
implicante
de
una
afir
implicacin
yuncin puede
dad); etc.
invertirse
(conmutativi-
falsas,
P".
"res
Los
como
teoremas
miento comn.
Para representar las relaciones entre
preguntas hemos utilizado smbolos como
"v", ".", "3", etc., mientras que en los
teoremas hemos utilizado los mismos sm
bolos para conectar proposiciones. Los dos
modos de emplear los smbolos deben distinguise claramente. El contexto permite
reconocerlos sin dilirultad.
entre los
Fxiste un notable
paralelismo
ta
en
de preguntas
Kxisulamentc
respectiva"
disyuncin
la unin
corresponde luego
proposiciones) por
Ex'
=H, /.(i/'.y).
.
J-v
/'
Ey.\.-[L\)Fy
~(li)Fy)
ila
birse
expresin paralela
en
forma
-t/-.i)/-v").
mis
de
corta
"Ex'
puede
"
como
escri
(Ey) Fy
l.V
UIGICA
DE
las
precunias
dems
Los
clases caben
conceptos
perfectamente
tuacin,
como
clase
todas
del
clculo
en
de
esta
concepuniversal"
(la
la "clase
las respuestas de un ti
po que son suficientes para obtener una
respuesta verdadera para alguna pregun
ta), la "clase vaca" (la clase que no con
tiene
ninauna
respuesta suficiente para
una
pregunta), el "complemento de una
clase", por ejemplo de la clase a (la clase
de todas las respuestas suficientes
para
obtener una respuesta verdadera para al
guna pregunta, menos las respuestas sulicantes de a) y "...es elemento de la
clase
.".
Para todos estos conceptos pueden for
de
conceptos correspondientes en el
clculo de preguntas y respuestas: la "pre
gunta universal" (para ella es suficiente
cualquier respuesta que es suliciente para
alguna pregunta), la "pregunta vaca"
marse
que
no
es
una
pregunta
propiamente
tal
(para
guna
respuesta
una
ella
pregunta),
de P"
gunta P"
tan.!
el
es
no
es
que
suliciente
suliciente
nin
para
la
"pregunta complemen
"complemento de la pre
(para ella
quier respuesta que es
suficiente cual
suficiente para al
es
se...").
De
este
modo
correspondencia
se
ha
entre
establecido
el
plena
clculo de
pre
guntas y respuestas y el clculo de clases,
lo cual permite sistematizar el clculo de
preguntas y i espuestas de la misma mane
ra
como
el clculo de clases.
pesar de
una
diferencia fundamental
entre
posibilidad