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) los problemas informticos deben ser sometidos a los postulados de la lgica. El razonamiento lgico se emplea 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
Palabras clave: lgica, razonamiento deductivo, proposicin, premisas, inferencia, conclusin, sistema formal lgico, lgica deproposiciones,lgicadepredicados. Conocer e identificar los razonamientos, en particular, los deductivos, y sus componentes bsicas: premisas, conclusinyprocesodeinferencia. Conocerelsistemadelalgicadeprimerordenysusdosnivelesdeabstraccin:proposicionalypredicativo. Revisarotrossistemaslgicospararepresentacindeconocimiento.

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 conocidos como inferencia inductiva y deductiva, respectivamente. Un razonamiento inductivo es el medio por el cual, en base de unas experiencias especficas (premisas) se decide aceptar como vlido un principiogeneral (conclusin).Es decir,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. El estudio de los razonamientos deductivos es competencia de la lgica y fue el filsofo griego Aristteles (siglo IV a.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

Ciencia formal que se dedica al estudio de las leyes de inferencia para demostrar la validez de los razonamientos deductivos tambin conocidos como inferencias deductivas. Deriva del griego (logike) y significa "pensamiento, razn, conocimiento,argumento". Lgicaformaldeprimerorden Partedelalgicaquesededicaalestudiodelavalidezdelosrazonamientosdeductivosdesdeelpuntodevistadesuanlisis formal mediante la construccin de un sistema formado por lenguajes formales, sistemas deductivos y semnticas formales. 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.
1

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 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", cuando Holmes destaca no por su capacidad de deduccin sino de induccin. En efecto, en la mayor parte de sus aventuras, Holmes resuelve los misterios procediendo desde observaciones particulares hacia conclusiones ms generales, propioderazonardemanerainductiva.

Razonamientodeductivo Basadoenelprocesodeinferenciaconocidocomodeduccin, obtienedesdeunconjuntodepremisas,atravsdepasosbien establecidosyfirmes,laconclusin. Lainferenciadeductivavlidagarantizaquedelaverdaddelas premisassesiguelaverdaddelaconclusin.Dichaconclusinno aportanuevoconocimientosinoquesteesextradodelcontenido enlaspremisas.Porello,aunqueseaadainformacinadicionala laspremisasnosemodificarladeduccin. Jueganunpapelimportanteendisciplinascomo:lasmatemticas, lafilosofa,yactualmenteenproblemasdecomputacinparael desarrollodesistemasinteligentesyverificacindeprogramas. Razonamientoinductivo Basadosenrepetidasobservacionesparticulares(empricas)infiere verdadesmsgeneralespormediodegeneralizacionesestadsticas yanalogas. Lainferenciainductivavlidagarantizalaverdaddelaconclusina partirdelaverdaddelaspremisassloenunciertogradoporquela conclusinaportamsinformacindelaqueestcontenidaenlas premisas.Lainformacinadicionalpuedejugarunpapel determinanteparajuzgarelgradodevalidezdeunainferencia inductiva. 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. Tanto las premisas como la conclusin son sentencias del lenguaje natural que declaran conocimiento de cualquier mbito 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. Expresa un hecho que declara o bien una propiedad de un individuo o una relacin entre varios individuos. Se conoce tambincomoproposicinatmicaosimple. Para que haya una proposicin tiene que haber un verbo en la oracin. Un sustantivo no es una proposicin. Por ejemplo, "Existe un nmero primo par mayor que dos" es una proposicin. No son proposiciones las sentencias como: A qu hora 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 estar conectadas por partculas de conjuncin como: y, pero, sin embargo, aunque,, como por ejemplo: Mara es inteligente y guapa; por la partcula de disyuncin o, como por ejemplo: Mara est estudiando o viendo la tele; una proposicin molecular tambin puede tener una estructura condicional, que es el caso de las que estn formadas por la expresin: sientonces, o formas equivalentes. En estas proposiciones, se conoce como proposicin antecedente la que va detrs de la partcula si y como consecuente la proposicin que va detrs de la partcula entonces, como ejemplo tenemos: Si Mara estudia entonces aprobar el examen, donde Mara estudia es la proposicin antecedente y Mara aprobar el examen el consecuente del condicional. Por ltimo son muy usadas en matemticas las proposiciones denominadas bicondicionales que aparecen ligadas por la expresin si y slo si o es equivalente a, por ejemplo: Mara aprueba el examen si y slo si estudia. En estas proposiciones se establecen dos condicionales de sentido inverso y se dice que el antecedente es condicin necesaria y suficiente del consecuente y viceversa. Adems cualquier proposicin puedeestarafectadaporunapartculadenegacincomo:no,esfalso,noescierto,. Ejemplo5 SiMarahaterminadodeestudiarentoncespuedeiralcine. Proposicin molecular formada por las proposiciones atmicas: Mara ha terminado de estudiar y Mara puede 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 (inicialmente son las premisas), aplicando reglas lgicas. En una inferencia se comienza aceptando las premisas y a medida que el razonamiento avanza, el nmero de afirmaciones disponibles para inferir aumenta. La inferencia finaliza cuando se obtienelaproposicinconclusin.Lospasosdelainferenciasesuelenidentificarconexpresionescomo"luego...",o"implica que...".Decimos"A"infiereodeduce"B"siseaceptaquesi"A"esverdadero,entonces,necesariamente,"B"esverdadero. En nuestra tarea diaria utilizamos constantemente las inferencias, la mayor parte de las veces aplicando reglas de nuestro 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

La conclusin es la proposicin que se obtiene de las premisas dadas, en el ltimo paso de la inferencia. Es el resultado que 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

Un razonamiento es correcto si y slo si no es posible que sus premisas sean verdaderas y su conclusin falsa, es decir, si la 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 define a la lgica como el estudio de los mtodos y principios que permiten distinguir los razonamientos buenos (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. Las apariencias engaan. Cuidado con los razonamientos que parecen lo que no son! Las falacias son razonamientos que parecencorrectosperoquenoloson.

Falacia

Una falacia (sofisma) es un razonamiento aparentemente correcto en el que el resultado es independiente de la verdad de 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 tienes cerrados, pero no se especifica en qu situacin te encuentras (despierto o dormido). Luego no se puede 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, que tambin sontiles en el diseo decircuitos de un ordenador ypara verificacin de programas, por ejemplo. En otras ciencias formales como las matemticas, la informtica, la teora de la informacin tambin se usan los sistemas formalesparamodelizaraspectosdelarealidadmedianteundeterminadolenguajeformal. El objetivo de un sistema formal es sealar como vlidas determinadas expresiones, en general llamadas teoremas, a partir deotrasexpresionesiniciales,quesesuponenvlidaspordefinicin,losaxiomas.Enelsistemaformaldelalgicadeprimer orden las expresiones vlidas no tienen que ser necesariamente teoremas, pueden ser expresiones vlidas cualesquiera. 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:

Lgica de proposiciones o lgica de predicados de orden cero. Estudia las proposiciones y sus interpretaciones. 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.

En cada nivel de abstraccin se define un clculo lgico donde se lleva a cabo el estudio de la validez de los razonamientos. Esteentornocontarconunlenguajeformalyunsistemadededuccin.

Lenguajeformal Sintaxis: comprende el alfabeto y las reglas de formacin de frmulas. Una cadena de smbolos es una frmula 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.

Sistemas de deduccin: permiten obtener nuevo conocimiento a partir de otro conocido mediante la aplicacin 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
8

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 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, Incorpora matices a la valoracin de verdad de los enunciados, admitiendo Kripke modalidades:necesario,posible, McDermott8, La obtencin de nueva informacin puede llevarnos a revisar y/o cambiar creenciasanteriores. Gardies9, Allen, Reconoceesquemasdeinferenciatemporales,dondeunamismasentencia McDermott puedetenerdiferentevalordeverdadendiferentesmomentos.

Polivalente2 Difusa(fuzzy) Probabilstica Modal6 Nomontonas Temporal

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. Principio de (no) contradiccin: dos proposiciones contradictorias no pueden ser ambas verdaderas; es falso que una proposicin sea verdadera y falsa. Si es verdad que el tringulo tiene tres lados, no puede ser verdad que eltringulonotienetreslados. Principio de tercero excluido: dos proposiciones contradictorias no pueden ambas ser falsas (parecido al de no contradiccin).Unaproposicinsolamentepuedeserverdaderaofalsa.

Otrasconsideracionesdelalgicason:
2

Estudialavalidezdelosrazonamientossegnsuforma.Prescindedelcontenido. Las leyes lgicas slo son aplicables en el campo de las ciencias exactas y abstractas, tales como las matemticas, 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. La lgica se relaciona con materias como el lgebra, la Matemtica Discreta, la Programacin, las Bases de Datos, etc, y en informticasejustificasuaparicinporquesusteorasseaplicanacamposcomo: El diseo del hardware: tanto los ordenadores digitales, es decir, los que trabajan con circuitos codificados en sistema binario, como los que lo hacen con circuitos integrados VLSI, utilizan la lgica en su diseo. La lgica de Hoare en los 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 inspirados en el clculo lamba de Church, y los lenguajes lgicos como PROLOG10, en el teorema de Herbrand y en el principiodeResolucindeRobinson,ampliamenteutilizadoseninvestigacionesdeInteligenciaArtificial. La demostracin automtica de teoremas y los sistemas de razonamiento: la prueba de teoremas automatizada tiene como base un clculo lgico que puede ser programado e implementado en una mquina. 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. La lgica de programas: para razonar acerca de los programas se puede utilizar el lenguaje de la lgica de predicados, con el que se expresan propiedades de los programas como la correccin y equivalencia de programas o la propiedad de tener un fin. Se cuenta con un clculo deductivo para verificar y controlar los razonamientos acerca de los programas.Anlisisysntesisdeunprograma. La especificacin formal: es una de las aplicaciones ms importantes de la lgica de predicados, y permite describir lo que el usuario desea que un programa realice. Esta aplicacin ha empezado a ser usada en el desarrollo de las partes crticas de un sistema. De esta manera, piezas de cdigo especificadas formalmente, pueden ser verificadas, en principio, matemticamente, incrementando la confiabilidad del sistema completo. Lenguajes de especificacin formal 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, lgica difusa, etc...), procesado del lenguaje natural, razonamiento espacial y temporal, visin artificial, 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 fundamentosde la tecnologa de la computacin usados por las teoras de Emil Post y el matemtico A. 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.
a)

Ejerciciosresueltos

Ejercicio1Determinaculesdelassiguientesfrasessonproposiciones: Puedesbajaralgaraje?

b) LacasadeJavieresmuybonitaysoleada. c) Sielperroladraentoncesmolestaralosvecinos.

d) Peroqudatequietoquememareas! e) Mepuedesayudarasalirdelcoche? f) g) Buenasnoches 2+2=5

Solucin a) Noesproposicinpuesesunasentenciainterrogativaynodeclarativa.

b) Siesproposicin,esunasentenciadeclarativa. c) Siesproposicin,esunasentenciadeclarativa.

d) Noesproposicinpuesessentenciaimperativaynodeclarativa. e) Noesproposicinpuesesunasentenciainterrogativaynodeclarativa. f) g) Noesproposicinpuesnoesunasentenciadeclarativa 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) g) Solucin a) Proposicinatmica. Unapersonapuedeentraralcinesicomprasuboletouobtieneunpase Cuatroycuatroochoydospordosveinte.

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) g)

Proposicinmolecularcondicional. 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, juegos y acertijos relacionados, de alguna manera, con la lgica, porque su enseanza no tiene porqu ser aburrida si se saben encontrar caminos para hacerla agradable y distrada. Como dice Martin Gardner11 la virtud est en encontrarelequilibrioentreeljuegoylaseriedad:eljuegoharquelosestudiantessemuestreninteresadosenlaactividady siganhablandodeellafueradelasclases;laseriedadconvertirlasclasesenalgotilyprovechoso. 1.Queslalgica? YasloqueestspensandodijoTweedledum;peronoescomotcrees.Deningunamanera! Por el contrario! continu Tweedledee. Si fue as, entonces podra ser; y si fuera as, sera; pero como no es, 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 me hubiese servido antes, me habra puesto el trozo ms pequeo. A lo que el segundo contesta: De qu te quejas, es el quetehedejado.

11

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

MATEMTICAS-I
GII. 201112

12