Welcome to Scribd. Sign in or start your free trial to enjoy unlimited e-books, audiobooks & documents.Find out more
Download
Standard view
Full view
of .
Look up keyword
Like this
1Activity
0 of .
Results for:
No results containing your search query
P. 1
"Enfoque matemático de la semántica del cálculo proposicional" de Hugo Padilla

"Enfoque matemático de la semántica del cálculo proposicional" de Hugo Padilla

Ratings: (0)|Views: 60|Likes:
Este texto fundamental de Hugo Padilla es la base de la mother logic que trabajó en los 90´s en la UNAM.
Este texto fundamental de Hugo Padilla es la base de la mother logic que trabajó en los 90´s en la UNAM.

More info:

Published by: Víctor Manuel Hernández Márquez on Aug 02, 2012
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

08/02/2012

pdf

text

original

 
HugoPadilta.FacultaddeFilosofla
y
Letras.UniversidadNacionalAut6nomadeMexico.MexicQ.EnfoquemaMmaticodetesemanticadelcalculoproposicional
"Calculemos"Leibniz.
1.tntroduccion
Estetrabajopudohabersepresentadocomounenfoquemaoternaticodealgunosaspectosdelalgebradelasfuncionesboolea-nas.Tresrazonesobraronenfavorde
lapresentacion
actual.Pri-mero,facilitar
lacornprension
del
proposito
partiendodeunmo-
delo
conelcualsesuponeunamayorfamiliaridad,antesquedelniveldeunatearfa
abstractano
interpretada.Segundo,amitirciertasprecisiones
tecnicas,
conelfindeexponer
solarnente10
fundamental.Porultima,destacarladescriptibilidaddealgunaporcion-porahara-delaloqicaconelempleodelarnatematica
clasica,basicamente
dela
aritrnetica
y
elalgebra.Dentradelasegunda
razonse
encuentraelque,por
10
gene-ral,unalgebrabooleana
se
presentacomoun
enetuolsordenado
delaforma
<B,U,""0,1>.
Encambio,eneste
traba]o
sedefineprimeramenteelaperadar
'Y,
en
16,
mientrasqueel'U'yel'.'-que
aparecen
enel
texto
como
'v'
y
'&'_
se
introducenposte-riormenteen
f7.
EIoperadorunaria,.,aparececomo
'fc'
en15.Nopodremosofrecernilapruebanilos
procesos
deobten-ciondelasformulasqueaparecenenel
trabaio.
Unasyotroshu-bieranhechoaumentarlaextensiondeltextomuchomasaliadelosI[mitespermisibles.Encambia,esposibleadelantarque-ex-
capto
error-todaslasformulacionesson
correctas,
can
perdon
deltru
rsrno.
159
en
..q-
o
z
S<
o
IC
COCO
C
CO
o
.;::
(])
E
CO
e
(])
.o
-0
CO
:Q
~
(])
.;:::
C
::J
CO
(/)
o
LL
(])
-0
CO
-+-
(/)
.;:;
(])
0::
 
2
Puntadeparrida
Suelenemplearse105sirnbolos
'V'
y
'F'
parasefialarlosvalo-resde
"verdad"
0
"falsedad"quepueden
correspondera
unapro-posicion.Eneste
traba]o
105simboloscoordinadoscon
'V'
y
'F'.•
saran
'1'Y'0',
comoenlasalgebrasbooleanas.Sinembargo,.nosetrata
aqu
ide
un
asuntopuramente
nota-
cional,deconvencion
0
deniveldeabstraccion.Porelcontrario,
estos
simbolos
seran
interpretados
arltme
tl-camenteenelsistemabinarioytraducidosalsistemadecimal.
Sa-
bemosquee510noconstituyeuna
novedad:
entre
o
tros,estereo
curse
es
utilizadoenel
meto
dodeQuine·McCluskypara
rninlrni-
z
arfuncionesbooleanas,aunquesinobtenerdeellotodo
I::i
prove-
cho
posible
Lanovedad
consiste
enqueuna
vez
hechala
traduccion
alsis-temadecimalsepermaneceenely
enelsetrabaja.
Sinembargo,encualquiermomento,sepodrahacerlaretraducci6nalsistemabinario
v,
consecuentemente,ala
notacion
can
'V'
y.
F'
tradicio-nal.Noobstante,la
intencionestriba
en
plantearse
losproblemasdela
sernantica
del
calculo
proposicional,
describirlos
y
resolverlos
dentJOdela
ar
itrnetica,can
losrecursos
algebraicos
necesarios
yconsecuentesparaobtenergeneralizaciones,eventualmentecan
al-
gunasconsecuenciasque
adrniten
interpretacicndentrodela
qeo-
metriaanalitica:comoenlapartefinalde
15.
Vearnos
como
es
posible
esto
3.Nurnerodevariables
y
numerodefu"ncionesquegeneran
EI
nurncro
defuncionesgeneradaspar
n
variables
esta
dadopar:
(1
160
EI
nurner
o
desimbolosen
cada
funcion
esta
dado
por:
(2
Deestamanera,sisetuvierandosvariablesproposicionales.digam05,
p
y
q,
segenerariaelsiguientecuadra:
pq
V
VI
VF
V
F
V
F
V
FVF
V
F
V
F
V
F}F
V
V
V
FF
V
VFFV
V
FFV
V
FFVFV
V
VVFFFF
V
V
VV
FFFFFFV
V
V
V
V
VV
VFFFFFFFF
c
N
Si
sustitu(rnos
lossimbolos'V'
y
'F'
por
sus
coordinados"l
y
'0',
se
obtiene:
pq
110101010101010100110011001100110010110000111100000011111100000000
En10anteriorsolo
se
harealizado
un
procesode
sustituclcnsirnbolica.
Vamosa
afradir
unalectura
aritmetica
enelsistema
bl-
narioyunainterpretaciondelosresultadosenelsistemadecimal.Deestemodo,lassecuenciasdeOsyIsle(dasdeabajohaciaarri-baeinterpretadasenelsistemadecimal,rindenahoralossiguien-tes
resultudos:
..
.:::0
5
3
15
14
13
121110
9
8
7
6
5
43
2
1
0
N
1
110101
0
10101
o
1
0
1
0
N
0
10
0
110
0
1
1
0
o
1
10
0
NN
10110000
1
1110000
M
00
1
1
111
10
0
0
o
00
0
0
N
161
 
Enlapartedelaizquierdaseconsignanlas
dlstjntas
potenciasdel2quecorrespondenalsistemabinario.Alacabezadelasco-lumnasaparecenlosvaloresdecimalesresultantes.Veamosasiquealavariable'p'correspondeelnumerodeci-mal5
y
alavariable'q'elnurnerodecimal3.Vemostarnbienqueestosvaloresdelasvariablesseencuentrandentrodelosvaloresdelasfuncionesquelaspropiasvariablesgeneran,precisamenteenloslugaresendondelosvaloresdelasfuncionesson5
y
3,sefiala-dosporunasteriscoenelcuadroanterior.Laanteriorsignificaquepodemosprescindirdedestacarlasvariablesalprincipiadelcuadro,puestoqueeliasmismasseen-
.2
n
cuentranincorporadasdentrodelas2funcionesquegeneran,enellugarsefialadoporlosasteriscos.Tampocoseranecesarioespecificarlasecuenciade
1s
y
Os
queencabezaelvalordecimaldelasfunciones,dadoqueestase-cuenciacorrespondeprecisamentealainterpretaci6nenelsistemabinariodelvalordecimalencadacaso,esdecir,quepodrarecons-truirseparunprocesoderatraducciondelsistemadecimalalbina-rio.Enestaforma,elcuadramismoresultainnecesario,Y
5610
nosquedaremosconlaserie:
..
1514131211109876543210
Enestaserieseguimosseiialandolasvariablesdentrodelasfuncionespormediodelosasteriscos.
4.Maneradedeterminerlasvariablesdentrodelasfunciones
Hastaaharareconocemoslasvariablesdentrodelaserieporlaraz6ndequelosvalores5
y
3estanmarcadoscanlosrnanciona-dosasteriscos.
lSera
posibledeterminarlosvaloresquecorrespon-denalasvariablesnoestandoestosseiialadospreviamente?
162
Enprimerlugar,observemos10siguiente.Envirtuddeque~Inurnerodefuncionesgeneradaspar
n
va-riablesestadeterminadoporlaf6rmula22n
y
dequelosnurnerosnaturalesconsecutivosquecorrespondenadichasfuncionesco-mienzanpor
0,
elvalordecimalmaximoquepuedeadquirirunafuncion,paraun
n
deterrninado,estadadopor22n
-1.
Estevalorcorresponderasiemprealdelafunci6ntautol6gica.Por10tanto:
(4
Porotraparte,elvalor
°
conelquecomienzanlosvaloresconsecutivosdelaseriecorrespondealafunci6ncontradictoria,
fCtr.
Losvaloresdelasvariables,deestamanera,deberanestaren-treelrestodevaloresdelasfunciones,comoenefectosiernpre10
estan,
Unodelosresultadosobtenidosenelparaqrafoanteriorcon-sistioenconcluirquepodemosprescindirdedestacarlasvariablesalprincipiodeloscuadros.Dtro,elquepodemosprescindirtam-biendelospropioscuadros.Sinembargo,seguimosdestacandolasvariablesdentrodelasfuncionesquegeneranpormediodelosas-teriscos.Esterecurso,evidentemente,semejaunartificio:hastaelnivelalcanzadoporlaexposici6nenelparaqratcanterior,cierta-mente10es.Noobstante,tambienpodemosprescindirdeel,Ahoraquesabemosquelasvariablesnopodrancoincidirnun-caconlosvaloresde
fT
0
de
t
Ctr,
podemosplantearnoselproble-madequevalorescorrespondenacadaunadelasvariables,dentrodelas22nfuncionesgeneradasporundeterminadonurnero
n
devariahles.'Pararesolverelproblemadebemosdistinguirentre:a)EInurnerocardinal,
n,
quecorrespondealatotalidaddelasvariables,Y
163

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->