TEMA1:RAZONARCONLGICA,CONLGICAFORMALDEPRIMERORDEN

MATEMTICASI.201112
GRADOENINGENIERAINFORMTICA.

1.1. Lgicayrazonamientos.
1.2. Losrazonamientosdeductivos.Componentesynotacinformal.
1.3. Razonamientosdeductivoscorrectosyfalacias.
1.4. ElsistemaformaldelaLgicadeprimerorden.
1.5. Principioslgicos:deidentidad,contradiccinyterceroexcluso.
1.6. Lgicaeinformtica.Apuntehistrico.
1.7. Ejerciciosresueltos.
1.8. SiquieressabermsBibliografa,enlaceswebylgicadivertida.

INTERS
Gran parte de los problemas, incluidos los informticos, se resuelven razonando; la lgica es la ciencia que se ocupa del
estudio de los razonamientos mediante reglas y tcnicas con las que determina si son vlidos o no. Luego (ya estamos
razonando)losproblemasinformticosdebensersometidosalospostuladosdelalgica.Elrazonamientolgicoseemplea
enmatemticasparademostrarteoremas;encomputacinparaverificarlacorreccindelosprogramas;enlascienciaspara
sacar conclusiones de experimentos y en la vida cotidiana...para infinidad de situaciones. Al ser fundamental en la
manipulacin del conocimiento es importante tanto para incrementar la habilidad de programar (un programa es una
secuenciarazonadadepasoslgicos)comoparadesarrollarsistemasinteligentes.

OBJETIVOS
-

Conocer e identificar los razonamientos, en particular, los deductivos, y sus componentes bsicas: premisas,
conclusinyprocesodeinferencia.

Conocerelsistemadelalgicadeprimerordenysusdosnivelesdeabstraccin:proposicionalypredicativo.

Revisarotrossistemaslgicospararepresentacindeconocimiento.

Palabrasclave:lgica,razonamientodeductivo,proposicin,premisas,inferencia,conclusin,sistemaformallgico,lgica
deproposiciones,lgicadepredicados.

OJO!Losapuntesquesepresentandeltemanosonunaexposicincompletasobreelcontenidodelmismoyporesoos
invitamosaqueloscompletisconsultandolibrosyenlacesqueproponemosalfinaldeltema.

TEMA 1: RAZONAR CON LGICA, CON LGICA FORMAL DE PRIMER ORDEN

1.1.

Lgicayrazonamientos

Engeneral,seentiendeporrazonarorealizarunrazonamientoalafacultadhumanaquepermiteresolverproblemasapartir
deunconjuntodeactividadesmentales,queconectanunasideasconotras,segnunasreglasdeterminadas.ParaDescartes,
elrazonamientoesloquedistinguealossereshumanosdelosquenoloson,aunquehoydahayordenadoresqueson(casi)
capacesderazonar.
Existen dos tipos importantes de razonamientos tiles, el razonamiento inductivo y el razonamiento deductivo, tambin
conocidoscomoinferenciainductivaydeductiva,respectivamente.Unrazonamientoinductivoeselmedioporelcual,en
basedeunasexperienciasespecficas(premisas)sedecideaceptarcomovlidounprincipiogeneral(conclusin).Esdecir,la
verdaddelaconclusinseinfiereprobablementedelaverdaddelaspremisas.

Ejemplo1
Razonamientoinductivo:
Elperroesunmamferoyposeepelo.
Lavacaesunmamferoyposeepelo.
Elmonoesunmamferoyposeepelo.
Elhombreesunmamferoyposeepelo.
Luego:Todoslosmamferosposeenpelo.

Sin embargo, el razonamiento deductivo se caracteriza porque permite hacer afirmaciones sobre casos particulares
partiendo de casos generales. Es una forma de razonamiento donde se obtiene una conclusin a partir de una o varias
premisas,entendiendostascomolainformacinpreviaconocidaylaconclusincomolainformacinqueseafirmaapartir
dedichaspremisas.Laobtencindelaconclusinsehaceatravsdeunprocesodeductivollamadodeduccinoinferencia.
ElestudiodelosrazonamientosdeductivosescompetenciadelalgicayfueelfilsofogriegoAristteles(sigloIVa.C.)el
cual,conelfindereflejarelpensamientoracional,elprimeroenestablecerlosprincipiosformalesdedichosrazonamientos.
Son conocidos sus famosos silogismos, que son razonamientos deductivos con, exactamente, dos premisas, como el
siguiente:

Raz1:Silogismo
Ejemplo2
Todosloshombressonmortales(premisa).
Scratesesunhombre(premisa).
Porlotanto,Scratesesmortal(conclusin).

Lgica1

Cienciaformalquesededicaalestudiodelasleyesdeinferenciaparademostrarlavalidezdelosrazonamientosdeductivos
tambin conocidos como inferencias deductivas. Deriva del griego (logike) y significa "pensamiento, razn,
conocimiento,argumento".

Lgicaformaldeprimerorden
Partedelalgicaquesededicaalestudiodelavalidezdelosrazonamientosdeductivosdesdeelpuntodevistadesuanlisis
formalmediantelaconstruccindeunsistemaformadoporlenguajesformales,sistemasdeductivosysemnticasformales.
Estas construcciones deductivas no slo capturan las caractersticas esenciales de las inferencias vlidas en loslenguajes
naturales sino que al ser estructuras formales y susceptibles de anlisis matemtico permiten
realizardemostracionesrigurosas sobre ellas. El sistema de la lgica formal se desentiende del contenido emprico del
razonamiento en estudio y slo considera su forma o estructura en base a la cual hace la demostracin de la validez del
mismo. Para ello, primero formaliza la informacin de las premisas mediante expresiones llamadas frmulas lgicas, y
despus aplica un conjunto de reglas de inferencia con las que se prueba si es posible, o no, obtener la conclusin.
Determinarsilaconclusinesunaimplicacinlgicadelaspremisasequivaleaestudiarlavalidezdelrazonamiento.

OjO!Esmsimportantelaestructuradeunrazonamientoqueelcontenidoontolgicodesussentencias.

Deao ([1]).

MATEMTICAS-I
GII. 201112

TEMA 1: RAZONAR CON LGICA, CON LGICA FORMAL DE PRIMER ORDEN

Ejemplo3

Raz2

Todoslosinsectossonartrpodos(premisa).
Todoslosdpterossoninsectos(premisa).
Portanto,todoslosdpterossonartrpodos(conclusin).

ElrazonamientoRaz2tienelasiguienteestructura:
o

TodoAesB.

TodoCesA.

Porlotanto,todoCesB.

Apartirdedichaestructuralalgicademuestralavalidezdelargumento,yaqueelquelosdpterosseanartrpodos,ono,es
unacuestinempricaparaelzologoperonoparaellgico.

ElfundadordelalgicaformalfueAristteles,ydichamateriasefueperfeccionandoalolargodelsigloXIXyXX,graciasaun
potenteformalismomatemticodelamanodeJorgeBoole,GottlobFrege,BeltrnRussell,yotros.

Ms

Ladistincinentreelrazonamientocorrectoeincorrectoeselprincipalproblemaqueabordalalgica".
IrvingCopi

Lalgicaeslacienciadelpensamientocorrecto".
RaymondMcCall

"Lalgicaeslacienciadelorden".
JosiahRoyce

Todoloquepuedodecirdelalgicaesqueeslgica".
OliverWendelHolmes

La LGICA es la forma correcta de llegar a la respuesta

equivocada, pero sintindote contento contigo mismo.

Curiosidadsobrerazonamientosdeductivoseinductivos
Sir Arthur Conan Doyle, creador de Sherlock Holmes, hace que su personaje literario defina su propio estilo de razonamiento
como"deductivo",cuandoHolmesdestacanoporsucapacidaddededuccinsinodeinduccin.Enefecto,enlamayorpartede
sus aventuras, Holmes resuelve los misterios procediendo desde observaciones particulares hacia conclusiones ms generales,
propioderazonardemanerainductiva.

Razonamientodeductivo

Razonamientoinductivo

Basadoenelprocesodeinferenciaconocidocomodeduccin,
obtienedesdeunconjuntodepremisas,atravsdepasosbien
establecidosyfirmes,laconclusin.

Basadosenrepetidasobservacionesparticulares(empricas)infiere
verdadesmsgeneralespormediodegeneralizacionesestadsticas
yanalogas.

Lainferenciadeductivavlidagarantizaquedelaverdaddelas
premisassesiguelaverdaddelaconclusin.Dichaconclusinno
aportanuevoconocimientosinoquesteesextradodelcontenido
enlaspremisas.Porello,aunqueseaadainformacinadicionala
laspremisasnosemodificarladeduccin.

Lainferenciainductivavlidagarantizalaverdaddelaconclusina
partirdelaverdaddelaspremisassloenunciertogradoporquela
conclusinaportamsinformacindelaqueestcontenidaenlas
premisas.Lainformacinadicionalpuedejugarunpapel
determinanteparajuzgarelgradodevalidezdeunainferencia
inductiva.

Jueganunpapelimportanteendisciplinascomo:lasmatemticas,
lafilosofa,yactualmenteenproblemasdecomputacinparael
desarrollodesistemasinteligentesyverificacindeprogramas.

Jueganunpapelimportanteendisciplinasconmayorcontenido
emprico,comolafsica,laqumica,labiologa,etc.

MATEMTICAS-I
GII. 201112

TEMA 1: RAZONAR CON LGICA, CON LGICA FORMAL DE PRIMER ORDEN

1.2.

Losrazonamientosdeductivos.Componentesynotacinformal

Unrazonamientodeductivo(diremosslorazonamientooargumento)comportaunarelacindeimplicacinoconsecuencia
lgicaqueseestableceentrelaspremisasylaconclusin,fundamentalendemostracionesmatemticas.Sisedemuestraque
deconsiderarlaspremisasverdaderasseinfierelaverdaddelaconclusinsetieneunrazonamientocorrectooformalmente
vlido,sinoesas,diremosqueelrazonamientonoesvlido.
Tantolaspremisascomolaconclusinsonsentenciasdellenguajenaturalquedeclaranconocimientodecualquiermbito
delsaberyqueenlgicaseconocencomo:proposiciones.

Porrazonamientoentenderemosaunmecanismodeductivoodeinferenciaformadopor:
- Un conjunto de proposiciones iniciales, llamadas premisas, que declaran informacin sobre el problema que se debe
resolver.
- Reglasdeinferenciaquenospermitenobtenerconocimientoapartirdeotroconocido.
- Una proposicin llamada conclusin del razonamiento que da respuesta al problema y que indica que el proceso ha
terminado.

Usaremoscomonotacinformaldeunrazonamientolaexpresin:

P1,P2,PnQ,siendonunenteropositivo.

DondePi,(i=1,2,n)sonlaspremisasyQlaconclusin.Elsmbolo,llamadodeductor,representaelprocesoporelque
laconclusinseobtienedelaspremisas.

Proposicin
Una proposicin es una sentencia declarativa del lenguaje natural que, en lgica de primer orden, puede ser verdadera o
falsa.Expresaunhechoquedeclaraobienunapropiedaddeunindividuoounarelacinentrevariosindividuos.Seconoce
tambincomoproposicinatmicaosimple.
Paraquehayaunaproposicintienequehaberunverboenlaoracin.Unsustantivonoesunaproposicin.Porejemplo,
"Existeunnmeroprimoparmayorquedos"esunaproposicin.Nosonproposicioneslassentenciascomo:Aquhora
llegaeltren?;quetecalles!ylafuncinf(x)=cosxesconmutativa.

OjO!

EnuncianExpresan
EnunciadosOraciones
Proposiciones

(actopsicofsico)(objetolingstico)(objetoconceptual)

Ejemplo4

Proposicionesdeaccin:

Llueve.

Hacefro.

Proposicionesqueatribuyenpropiedadesasujetosdeterminados:

Juanesinformtico.

Pepeesestudioso.

Proposicionesderelacinentresujetos:
JuanesamigodePepe.
ZaragozaestamediocaminoentreMadridyBarcelona.

MATEMTICAS-I
GII. 201112

TEMA 1: RAZONAR CON LGICA, CON LGICA FORMAL DE PRIMER ORDEN

Proposicinmolecular

Es una proposicin formada por proposiciones atmicas unidas por conexiones (operadores) lgicas (no, y,
sientonces,o)oafectadasporcuantificadores(universal,existencial).

Los nexos de conexin del lenguaje natural dan lugar a diversas proposiciones moleculares. Varias proposiciones pueden
estarconectadasporpartculasdeconjuncincomo:y,pero,sinembargo,aunque,,comoporejemplo:Maraes
inteligenteyguapa; por lapartculadedisyuncino,como por ejemplo: Maraest estudiando o viendo latele; una
proposicin molecular tambin puede tener una estructura condicional, que es el caso de las que estn formadas por la
expresin:sientonces,oformasequivalentes.Enestasproposiciones,seconocecomoproposicinantecedentelaque
va detrs de la partcula si y como consecuente la proposicin que va detrs de la partcula entonces, como ejemplo
tenemos:SiMaraestudiaentoncesaprobarelexamen,dondeMaraestudiaeslaproposicinantecedenteyMara
aprobar el examen el consecuente del condicional. Por ltimo son muy usadas en matemticas las proposiciones
denominadasbicondicionalesqueaparecenligadasporlaexpresinsiyslosioesequivalentea,porejemplo:
Maraapruebaelexamensiyslosiestudia.Enestasproposicionesseestablecendoscondicionalesdesentidoinversoy
sedicequeelantecedenteescondicinnecesariaysuficientedelconsecuenteyviceversa.Ademscualquierproposicin
puedeestarafectadaporunapartculadenegacincomo:no,esfalso,noescierto,.

Ejemplo5
SiMarahaterminadodeestudiarentoncespuedeiralcine.

Proposicinmolecularformadaporlasproposicionesatmicas:MarahaterminadodeestudiaryMarapuede
saliralcine,unidasporelnexodeconexin:y.

La verdad o falsedad de las proposiciones moleculares est determinada por la verdad o falsedad de las proposiciones
atmicasquelacomponenylasconectivasquelasunen.

Premisas

Una premisa es cada una de las proposiciones de un razonamiento que expresan o comunican conocimiento existente o
aceptado.Encualquierrazonamientolaspremisasseconsideranproposicionesciertasindependientementedelcontenidode
informacinquedeclaren.Ej:Loselefantesvuelanlosmartes,esunaproposicinatmicaquepuedeserverdaderaofalsa,
pero si aparece como premisa en un razonamiento se considera verdadera (a la lgica no le interesa el contenido de las
sentencias).Losrazonamientospuedenteneruna,dos(silogismos)omspremisas.Enocasiones,paraalcanzarlaconclusin
enunrazonamientoesnecesarioutilizarpremisassubsidiarias,estoes,suponercomoverdaderasmspremisasdelasqueel
razonamientocontempla.Cualquierpremisapuedeserasuvezconclusindelrazonamientodondeapareceodeotrodonde
noaparezcacomopremisa.

Inferenciaodeduccin

Una inferencia o deduccin es una operacin lgica o proceso por el que se obtienen proposiciones a partir de otras
(inicialmentesonlaspremisas),aplicandoreglaslgicas.Enunainferenciasecomienzaaceptandolaspremisasyamedida
que el razonamiento avanza, el nmerode afirmaciones disponibles para inferir aumenta. La inferencia finalizacuando se
obtienelaproposicinconclusin.Lospasosdelainferenciasesuelenidentificarconexpresionescomo"luego...",o"implica
que...".Decimos"A"infiereodeduce"B"siseaceptaquesi"A"esverdadero,entonces,necesariamente,"B"esverdadero.
Ennuestratareadiariautilizamosconstantementelasinferencias,lamayorpartedelasvecesaplicandoreglasdenuestro
sentido comn, ms que lgicas. La lgica se ocupa de sistematizar las reglas que permiten la inferencia con objeto de
obtenerunclculorigurosoyeficaz.

Ejemplo6
decmoserealizaunaInferenciainformal:
lnea1Premisa1:Todoeventotieneunacausa
lnea2Premisa2:Eluniversotuvouncomienzo
lnea3Premisa3:Todocomienzoesunevento
lnea41inferenciadelaslneas2y3:elcomienzodeluniversofueunevento.
lnea52inferenciadelaslneas1y4(conclusin):elcomienzodeluniversotuvounacausa.

MATEMTICAS-I
GII. 201112

TEMA 1: RAZONAR CON LGICA, CON LGICA FORMAL DE PRIMER ORDEN

Conclusin

Laconclusineslaproposicinqueseobtienedelaspremisasdadas,enelltimopasodelainferencia.Eselresultadoque
sequieredemostrarobienlaproposicinafirmadaenbasealaspremisasdadasyalainferenciaaplicadaaellas.
Notodaslasexpresionessonrazonamientos.

Ejemplo7
"Luisesinformticoyloslunesvoyalmercado,aunqueloselefantestienencuatropatas"
No es un razonamiento, es una proposicin molecular formada por varias proposiciones atmicas que no tienen
ninguna relacin entre ellas en el sentido de que la verdad o falsedad de cada una no tiene nada que ver con la
verdadofalsedaddelasdems.

Ejemplo8

"Luisesinformtico,porloqueLuishaestudiadoInformtica,yaquetodoslosinformticoshanestudiado
Informtica"

S es un argumento vlido ya que la verdad de la conclusin: "Luis ha estudiado Informtica" se infiere de las
premisas"Luisesinformtico"y"TodoslosinformticoshanestudiadoInformtica".

1.3.

Razonamientosdeductivoscorrectosyfalacias

Dependiendodequelaconclusinseinfieradelaspremisas(seaconsecuencialgicadeellas)losrazonamientospuedenser
correctosovlidos,onocorrectos(falacias),respectivamente.

Razonamientocorrecto

Unrazonamientoescorrectosiyslosinoesposiblequesuspremisasseanverdaderasysuconclusinfalsa,esdecir,sila
conjuncindelaspremisasesverdaderaentoncesdichaconjuncindebeimplicarnecesariamentelaverdaddelaconclusin.
Se habla de estructura correcta o incorrecta de los razonamientos y nunca de verdad, la verdad es una propiedad de los
enunciados no de los argumentos. La validez es una propiedad de los razonamientos y no de los enunciados. Irving Copi
definealalgicacomoelestudiodelosmtodosyprincipiosquepermitendistinguirlosrazonamientosbuenos(correctos)
de los malos (incorrectos), es decir, aquellos argumentos en los que efectivamente puede concebirse una relacin fuerte
entrepremisasyconclusin,deaquellosenlosqueesarelacinessoloaparente

Ejemplo9
Raz3.Razonamientocorrecto:
P1:JuanyAnasonprimosdeMara.
Q:JuanesprimodeMara.
SiseaceptalaverdaddeP1tambinsetienequeaceptarlaverdaddeQ.

LossiguientesrazonamientosRaz4yRaz5tienenlamismaestructuralgica:AB,ABysoncorrectos.

Ejemplo10
Raz4.Razonamientocorrecto:
P1:SiestudioLgicaapruebolgebra.
P2:EstudioLgica.
Q:Apruebolgebra.

Ejemplo11
Raz5.Razonamientocorrecto:
P1:SilatuberaAtieneunniveldedesviacindel20%ponerelniveldelaguaa40delasuperficie.
P2:LatuberaAtieneunniveldedesviacindel20%.
Q:Hayqueponerelniveldelaguaa40delasuperficie.

MATEMTICAS-I
GII. 201112

TEMA 1: RAZONAR CON LGICA, CON LGICA FORMAL DE PRIMER ORDEN

Ejemplo12

Raz6.Razonamientocorrectoconpremisasfalsasdesdeelpuntodevistadelconcepto.

P1:Todoslospecesvivenenelocano(premisafalsaconceptualmente).
P2:Lasnutriasmarinassonpeces(premisafalsaconceptualmente).
Q:Luego,lasnutriasmarinasvivenenelocano(conclusinverdaderaconceptualmente).

EnRaz6laspremisassonfalsasporsucontenidoontolgicoydeducenunaconclusinverdadera.Demostraremosquedicho
razonamientoescorrectoatendiendoasuestructura.

Ejemplo13

Raz7.Razonamientonocorrectoporquelaconclusinnoesconsecuenciadesuspremisas.

P1:SiEspaaesunademocraciaentoncessusciudadanostienenelderechoalvoto.
P2:LosciudadanosdeEspaatienenderechoalvoto.
Q:Luego,Espaaesunademocracia(conclusinverdaderaconceptualmente).

En el Raz7, tanto las premisas como la conclusin son verdaderas conceptualmente, pero se demostrar que dicho
razonamientonoescorrectoporquelaconclusinnosededucedelaspremisas.

Lasaparienciasengaan.Cuidadoconlosrazonamientosqueparecenloquenoson!Lasfalaciassonrazonamientosque
parecencorrectosperoquenoloson.

Falacia

Unafalacia(sofisma)esunrazonamientoaparentementecorrectoenelqueelresultadoesindependientedelaverdadde
las premisas. Una falacia lgica es la aplicacin incorrecta de un principio lgico vlido o la aplicacin de un principio
inexistente(errorcomnalrazonar).

Ejemplo14
P1:Siestoydormidoentoncestengolosojoscerrados,

P2:Tengolosojoscerrados.

Podemosinferirque:estoydormido?No

Explicacin: en P1 se afirma que cuando ests dormido tienes los ojos cerrados; en P2 se afirma que los ojos los

tienescerrados,peronoseespecificaenqusituacinteencuentras(despiertoodormido).Luegonosepuede

concluirqueefectivamenteestsdormido.

LasfalaciasmsusualessuelenaparecerconelusodesentenciascondicionalesdelaformaAimplicaB.

Falaciadeafirmarelconsecuente(B).

Ejemplo15

Raz8

P1:Sielmayordomoeselasesinoentoncestendrelcadverensucuarto(AimplicaB)
P2:Elmayordomotieneelcadverensucuarto(seafirmaelconsecuenteB).
Q:Porlotanto,Elmayordomoeselasesino(seafirmaelantecedenteA).ERROR.

Falaciadenegarelantecedente(A).

Ejemplo16

Raz9

P1:Sielmayordomoeselasesinoentoncestendrelcadverensucuarto(AimplicaB).
P2:Elmayordomonoeselasesino(seniegaelantecedenteA).
Q:Porlotanto,Elmayordomonotendrelcadverensucuarto(seniegaelconsecuenteB).ERROR.

MATEMTICAS-I
GII. 201112

TEMA 1: RAZONAR CON LGICA, CON LGICA FORMAL DE PRIMER ORDEN

Razonamientodeductivocorrecto

Razonamientodeductivonocorrecto:Falacia

P1,P2,PnQ
SilaconjuncindelasPi(i=1n)(todaslaspremisasson
verdaderas)yQsonverdaderas.
Si la conjuncin de las Pi (i=1n) (todas las premisas son
SilaconjuncindelasPiesfalsa(almenosunaPiesfalsa) verdaderas)yQesfalsa.
yQverdadera.

SilaconjuncindelasPiesfalsa(almenosunaPiesfalsa)
yQfalsa.

1.4.

ElsistemaformaldelaLgicadePrimerOrden

Laprincipalherramientadelalgicaformalmodernaparaestudiarlavalidezdelosrazonamientossonlossistemasformales
deductivos,quetambinsontileseneldiseodecircuitosdeunordenadoryparaverificacindeprogramas,porejemplo.
Enotrascienciasformalescomolasmatemticas,lainformtica,lateoradelainformacintambinseusanlossistemas
formalesparamodelizaraspectosdelarealidadmedianteundeterminadolenguajeformal.

Elobjetivodeunsistemaformalessealarcomovlidasdeterminadasexpresiones,engeneralllamadasteoremas,apartir
deotrasexpresionesiniciales,quesesuponenvlidaspordefinicin,losaxiomas.Enelsistemaformaldelalgicadeprimer
ordenlasexpresionesvlidasnotienenquesernecesariamenteteoremas,puedenserexpresionesvlidascualesquiera.Los
primeros sistemas lgicoformales eran sistemas axiomticos basados en la demostracin de leyes lgicas, despus se
desarrollaronsistemasdededuccinnatural,comoeldelalgicadeprimerorden,enlosqueelprotagonismosedesplaza
lasreglasdeinferenciaenelprocesodeductivo.

El sistema formal de la lgica de primer orden cuenta con una etapa de simbolizacin en la que se construyen frmulas
lgicasquerepresentanelrazonamientoquesedebevalidar.Dichasimbolizacinserealizaendosnivelesdeabstraccin:

Lgicadeproposicionesolgicadepredicadosdeordencero.Estudialasproposicionesysusinterpretaciones.
Enestenivelsesuponequeexistenhechosoproposicionesenelmundorealquepuedenserverdaderosofalsos.
Susfrmulascontienenvariablesproposicionalesyconectivas.

Lgica de predicados de primer orden. Describe un mundo de objetos con sus propiedades y las posibles
relaciones entre ellos, con lo cual podemos estudiar la estructura interna de los enunciados. Introduce los
cuantificadores.

Encadaniveldeabstraccinsedefineunclculolgicodondesellevaacaboelestudiodelavalidezdelosrazonamientos.
Esteentornocontarconunlenguajeformalyunsistemadededuccin.

Lenguajeformal
Sintaxis:comprendeelalfabetoylasreglasdeformacindefrmulas.Unacadenadesmbolosesunafrmula
bienformadadellenguaje.Unlenguajeformalseidentificaporelconjuntodesusfrmulasbienformadas.
Semntica:correspondealarelacindellenguajeconsusignificado.Estudialascondicionesnecesariasparaque
un signo pueda aplicarse a un objeto. Permite definir la validez de una frmula y de un razonamiento. Una
frmulaatmicaserverdaderaofalsayunrazonamientocorrectoonocorrecto.

Sistemasdededuccin:permitenobtenernuevoconocimientoapartirdeotroconocidomediantelaaplicacin
de reglas vlidas y por ende, demostrar la validez de los razonamientos. A dicho proceso se le conoce como
demostracinformal.Enelcontextodelasintaxissedenominateoradelademostracinyeneldelasemntica,
teorainterpretativa.

Metalenguaje:Esellenguajequeestformadoporsmbolostantomatemticos,comolgicos,comodellenguaje
natural, que vamos a usar para definir el lenguaje formal. Por ejemplo, El smbolo es el cuantificador
universal, en esta sentencia tenemos un smbolo lgico: y lenguaje natural. Actualmente existen otros

MATEMTICAS-I
GII. 201112

TEMA 1: RAZONAR CON LGICA, CON LGICA FORMAL DE PRIMER ORDEN

sistemas lgicos basados en la lgica de primer orden cuyo objetivo es fundamentar el procesamiento
computacionaldeinformacincompleja,eningeniera,medicina,economa,.

Sistemasformalesdelgicasnoclsicas

Polivalente2
Difusa(fuzzy)
Probabilstica
Modal6
Nomontonas
Temporal

Lukasiewicz3

Cuestionan el principio de bivalencia. Lgicas finitamente polivalentes

(trivalente,...)einfinitamentepolivalentes.
Zadeh4
Lgica polivalente que trata el tema de la ambigedad, imprecisin y el
carcterborrosodeciertostrminos.
Bacchus5
Aplicacin de las probabilidades y el conocimiento estadstico a sistemas
formalesderazonamiento.
Lewis, Carnap7, Incorporamaticesalavaloracindeverdaddelosenunciados,admitiendo
Kripke
modalidades:necesario,posible,
McDermott8,
Laobtencindenuevainformacinpuedellevarnosarevisary/ocambiar
creenciasanteriores.
Gardies9, Allen, Reconoceesquemasdeinferenciatemporales,dondeunamismasentencia
McDermott
puedetenerdiferentevalordeverdadendiferentesmomentos.

1.5.

Principioslgicos:deidentidad,nocontradiccinyterceroexcluso

El punto de partida de las leyes que rigen el sistema lgico se establece en ciertos principios fundamentales o verdades
axiomticas(Aristteles):

Principiodeidentidad:todaproposicinesigualasmisma.

Principiode(no)contradiccin:dosproposicionescontradictoriasnopuedenserambasverdaderas;esfalsoque
unaproposicinseaverdaderayfalsa.Siesverdadqueeltringulotienetreslados,nopuedeserverdadque
eltringulonotienetreslados.

Principiodeterceroexcluido:dosproposicionescontradictoriasnopuedenambasserfalsas(parecidoaldeno
contradiccin).Unaproposicinsolamentepuedeserverdaderaofalsa.

Otrasconsideracionesdelalgicason:
-

Estudialavalidezdelosrazonamientossegnsuforma.Prescindedelcontenido.

Lasleyeslgicasslosonaplicablesenelcampodelascienciasexactasyabstractas,talescomolasmatemticas,la
mecnica,yaquellasdisciplinasnormativasyabstractasdeductivas.

Dadas unas premisas, no se permite considerar nuevo conocimiento no contemplado en ellas, a no ser que sea
supuestamentecierto(esteconceptosevereneltemadededuccin).

Unrazonamientooescorrectoonoloes,nohayvalorintermedio.

N. Rescher, Many-Valued Logic, Nueva York, McGraw-Hill, 1969

J. Lukasiewicz, O logice trjwartosciowej, en Ruch Filozoficzny, 5, 1920, pg. 170-171. Sobre la lgica trivalente, ver. castellano J.
Lukasiewicz, Estudios de lgica y filosofa, seleccin, traduccin y presentacin de A. Deao, Madrid, Revista de Occidente, 1975, pg, 41-42

L. Zadeh, Fuzzy Sets, Information and Control, vol. 8, 1965, pg. 338-353

F. Bacchus, Representing and Reasoning with Probabilstic Knowledge: A Logical Approach to Probabilities, The MIT Press,
Cambridge,Massachusetts, 1990

G. E. Hughes y M. J. Cresswell, An Introduction to Modal Logic, Londres, Methuen and Co. 1968. Ver. castellana : Introduccin a la lgica
modal, Madrid, Tecnos, 1973

R. Carnap, Meaning and Necessity (A Study in Semantics and Modal Logic), Chicago y Londres, The University of Chicago Press, 1947, 2 ed.
ampliada 1956

D. McDermott y Jon Doyle, Non-Monotonic Logic I, Artificial Intelligence, 13, 1980, pg. 41-72

J. L. Gardies, La logique du temps, Paris, PUF, 1975

MATEMTICAS-I
GII. 201112

TEMA 1: RAZONAR CON LGICA, CON LGICA FORMAL DE PRIMER ORDEN

1.6.

Lgicaeinformtica.Apuntehistrico

Desde que Aristteles y los griegos de la poca consideraran que un razonamiento era un proceso gobernado por leyes
universales, hasta hoy da, la lgica, como ciencia dedicada el estudio de los mismos, ha tomado un papel relevante en
muchoscamposcientficos,enparticulareninformtica.

Lalgicaserelacionaconmateriascomoellgebra,laMatemticaDiscreta,laProgramacin,lasBasesdeDatos,etc,yen
informticasejustificasuaparicinporquesusteorasseaplicanacamposcomo:
Eldiseodelhardware:tantolosordenadoresdigitales,esdecir,losquetrabajanconcircuitoscodificadosensistema
binario,comolosquelohacenconcircuitosintegradosVLSI,utilizanlalgicaensudiseo. LalgicadeHoareenlos
primerosylalgicadeordensuperiorenlossegundossiendosubaselalgicadepredicados.
Los lenguajes de programacin: la lgica se ha convertido en el pilar de la Programacin Lgica. Este paradigma de
programacin ya justifica por s solo la inclusin de la lgica en informtica. Lenguajes funcionales como LISP, estn
inspiradosenelclculolambadeChurch,yloslenguajeslgicoscomoPROLOG10,enelteoremade Herbrandyenel
principiodeResolucindeRobinson,ampliamenteutilizadoseninvestigacionesdeInteligenciaArtificial.
Lademostracinautomticadeteoremasylossistemasderazonamiento:lapruebadeteoremasautomatizadatiene
comobaseunclculolgicoquepuedeserprogramadoeimplementadoenunamquina.Wang,Prawitz,elaboran
programas para demostrar teoremas del clculo de predicados con identidad creando modelos de razonamientos
orientadosalamquina.J.A.Robinson,diseaelprincipiodeResolucin,ysurefinamientolahiperresolucin,son
labasedeladat.
Lalgicadeprogramas:pararazonaracercadelosprogramassepuedeutilizarellenguajedelalgicadepredicados,
conelqueseexpresanpropiedadesdelosprogramascomolacorreccin yequivalenciadeprogramas olapropiedad
de tener un fin. Se cuenta con un clculo deductivo para verificar y controlar los razonamientos acerca de los
programas.Anlisisysntesisdeunprograma.
Laespecificacinformal:esunadelasaplicacionesmsimportantesdelalgicadepredicados,ypermitedescribirlo
queelusuariodeseaqueunprogramarealice.Estaaplicacinhaempezadoaserusadaeneldesarrollodelaspartes
crticas de un sistema. De esta manera, piezas de cdigo especificadas formalmente, pueden ser verificadas, en
principio,matemticamente,incrementandolaconfiabilidaddelsistemacompleto.Lenguajesdeespecificacinformal
basadosenlgica:ZoVDM.
Inteligencia Artificial: la lgica es el fundamento de todos los mtodos de representacin del conocimiento y del
razonamiento, especialmente en sistemas expertos, razonamiento con incertidumbre (encadenamiento de reglas,
lgicadifusa,etc...),procesadodellenguajenatural,razonamientoespacialytemporal,visinartificial,robtica,lgica
epistmico,etc.

Apuntehistrico.Lalgicaformalsurgecomoresultadodelaconvergenciadelaslneasdepensamiento:
1.Lalgicaformal:Aristteles(silogismos).
2.Lgicamatemticaosimblica(XIX):
Leibniz:resolucindeproblemaslgicosconrazonamientomatemtico.
Boole: lgebra booleana, aplica a los problemas lgicos los procedimientos matemticos. Sienta los
fundamentosdelatecnologadelacomputacinusadosporlasteorasdeEmilPostyelmatemticoA.M.Turing
creadordelaAutomaticDigitalMachinequerealizclculosmecanizadosusandoalgoritmos.
Frege:lenguajecompletoyautomticoparaelrazonamiento.
RussellyWhitehead:PrincipiaMathematicaquesustentaquelasmatemticasseobtienendepremisaslgicas.
3.LaLgicaenlainformtica(XXhoy):bsquedaheurstica,deduccinautomticaylgicasnoclsicas.
Robinson:regladeresolucinconunificacin.
Green:extraccinderespuestasaproblemasapartirderesolucinyunificacin.
Colmerauer:lenguajedeprogramacinlgicaProlog.

10

PROgrammation en LOGique

MATEMTICAS-I
GII. 201112

10

TEMA 1: RAZONAR CON LGICA, CON LGICA FORMAL DE PRIMER ORDEN

Aos80:lalgicaesbaseeneldesarrollodelastcnicasinformticascomo:

LgicadeHoare:soportedelastcnicasdeverificacindeprogramasprocedurales.
ProgramacinLgica:parabasesdeconocimientosparasistemasexpertos.
Lgicasnoclsicas:difusa(FuzzyLogic),temporal,modal,probabilstica,

1.7.

Ejerciciosresueltos

Ejercicio1Determinaculesdelassiguientesfrasessonproposiciones:
a)

Puedesbajaralgaraje?

b) LacasadeJavieresmuybonitaysoleada.
c)

Sielperroladraentoncesmolestaralosvecinos.

d) Peroqudatequietoquememareas!
e) Mepuedesayudarasalirdelcoche?
f)

Buenasnoches

g)

2+2=5

Solucin
a)

Noesproposicinpuesesunasentenciainterrogativaynodeclarativa.

b) Siesproposicin,esunasentenciadeclarativa.
c)

Siesproposicin,esunasentenciadeclarativa.

d) Noesproposicinpuesessentenciaimperativaynodeclarativa.
e) Noesproposicinpuesesunasentenciainterrogativaynodeclarativa.
f)

Noesproposicinpuesnoesunasentenciadeclarativa

g)

Esproposicinpuesdeclaraunaoperacinmatemtica(aunqueseafalsa)

Ejercicio 2 Determina cules de las siguientes proposiciones son atmicas y cules son moleculares, y para stas indica la
conectivaconlaquesehaformado:
a)

Puedesbajaralacalleapasearalperro

b) Sivasapasearalperrocompraelperidico.
c)

NosalgasestanocheaunquevayasconAna.

d) Salgodepaseoenlasnochesdelunallena.
e) Paraquesalgadepaseoesnecesarioquehagamuchofro
f)

Unapersonapuedeentraralcinesicomprasuboletouobtieneunpase

g)

Cuatroycuatroochoydospordosveinte.

Solucin
a)

Proposicinatmica.

b) Proposicinmolecularcondicional.
c)

Proposicinmolecularconjuncindedosproposicionesatmicas.

d) Proposicinatmica.
e) Proposicinmolecularcondicional

MATEMTICAS-I
GII. 201112

11

TEMA 1: RAZONAR CON LGICA, CON LGICA FORMAL DE PRIMER ORDEN

f)

Proposicinmolecularcondicional.

g)

Proposicinmolecularconjuncindedosproposicionesatmicas.

1.8.

Siquieressaberms

Libros

LgicadePrimerOrden.CastelMJ.yLlorensF.DCCIA,U.A.1999.
IntroduccinalaLgicaFormal.Deao,A.AlianzaU.Textos,1992.

LgicaSimblicaGarrido,M.Ed.Tecnos,S.A.,2ed.1991

MatemticaDiscretayLgica.UnaperspectivadesdelaC.C.Grassmann,W.K.
yTremblay.Ed.PrenticeHall,1996.

Enlacesweb

http://es.wikipedia.org/wiki/Razonamiento
http://razonamientologico.blogspot.com/2007/07/mtododeductivovsmtodoinductivo.html
http://www.mitecnologico.com/Main/ArgumentosValidosYNoValidos

Lgicadivertida
Ludwing Wittgenstein, filsofo austriaco, apunt que podra escribirse una obra filosfica buena y seria compuesta
enteramente por chistes. Si se entiende el chiste se entender el argumento implcito. En esta seccin vamos a contar
chistes,historias,juegosyacertijosrelacionados,dealgunamanera,conlalgica,porquesuenseanzanotieneporquser
aburridasisesabenencontrarcaminosparahacerlaagradableydistrada.ComodiceMartinGardner11lavirtudesten
encontrarelequilibrioentreeljuegoylaseriedad:eljuegoharquelosestudiantessemuestreninteresadosenlaactividady
siganhablandodeellafueradelasclases;laseriedadconvertirlasclasesenalgotilyprovechoso.

1.Queslalgica?
YasloqueestspensandodijoTweedledum;peronoescomotcrees.Deningunamanera!
Porelcontrario!continuTweedledee.Sifueas,entoncespodraser;ysifueraas,sera;perocomonoes,
noes.Esoeslgica!

LewisCarroll,Aliciaatravsdelespejo
2.Vayalgica!

Ruegoaceptenmirenuncia.Nodeseoperteneceraningnclubquemeaceptecomomiembro
GrouchoMarx,GrouchoyYo

3.Lgicaaplastante!
Haygentequequiereconseguirlainmortalidadmediantesusobrasolasdesusdescendientes.Yoquieroconseguir
lainmortalidadnomurindome
WoodyAllen

4.Eslgico!

Dosamigosestnenunrestauranteyambospidenpescado.Elcamarerolestraeunafuentecondostrozos.Unode
ellosdice:Srvete,porfavor.Elotrosesirveeltrozomsgrande.Trasunainquisitivamirada,elprimerolereprocha:Siyo
mehubieseservidoantes,mehabrapuestoeltrozomspequeo.Aloqueelsegundocontesta:Dequtequejas,esel
quetehedejado.

11

Martn Gardner, Carnaval Matemtico, Alianza Editorial (libro de bolsillo 778), 1987

MATEMTICAS-I
GII. 201112

12