Lóxica proposicional

De Wikipedia
Saltar a: navegación, buscar

La lóxica proposicional o lóxica d'orde cero ye un sistema formal que los sos elementos más simples representen proposiciones, y que les sos constantes lóxiques, llamaes conectivas lóxiques, representen operaciones sobre proposiciones, capaces de formar otres proposiciones de mayor complexidá.[1]

La lóxica proposicional trata con sistemes lóxicos qu'escarecen de cuantificadores, o variables interpretables como entidaes. En lóxica proposicional magar nun hai signos pa variables de tipo entidad, sí esisten signos pa variables proposicionales (esto ye, que pueden ser interpretaes como proposiciones con un valor de verdá definíu), d'ende'l nome proposicional. La lóxica proposicional inclúi amás de variables interpretables como proposiciones simples signos pa conectivas lóxiques, polo que dientro d'esti tipu de lóxica puede analizase la inferencia lóxica de proposiciones a partir de proposiciones, pero ensin tener en cuenta la estructura interna de les proposiciones más simples.[2]

Introducción[editar | editar la fonte]

Considérese'l siguiente argumentu:

  1. Mañana ye miércoles o mañana ye xueves.
  2. Mañana non ye xueves.
  3. Polo tanto, mañana ye miércoles.

Ye un argumentu válidu. Quier dicir que ye imposible que les premises (1) y (2) sían verdaderes y la conclusión (3) falsa.

Sicasí, a pesar de que l'argumentu sía válidu, esto nun quier dicir que la conclusión sía verdadera. N'otres palabres, si les premises son falses, entós la conclusión tamién podría selo. Pero si les premises son verdaderes, entós la conclusión tamién la ye. La validez del argumentu nun depende del significáu de les espresiones «mañana ye miércoles» nin «mañana ye xueves», sinón de la estructura mesma del argumentu. Estes premises podríen camudase por otres y l'argumentu permanecería válidu. Por casu:

  1. Güei ta soleyeru o ta borrinosu.
  2. Güei non ta borrinosu.
  3. Polo tanto, güei ta soleyeru.

La validez de los dos argumentos anteriores depende del significáu de les espresiones «o» y «non». Si dalguna d'estes espresiones camudar por otra, entós los argumentos podríen dexar de ser válidos. Por casu, considérese'l siguiente argumentu inválidu:

  1. Nin ta soleyeru nin ta borrinosu.
  2. Non ta borrinosu.
  3. Polo tanto, ta soleyeru.

Estes espresiones como «o» y «non», de les que depende la validez de los argumentos, llámense conectivas lóxiques. Tocantes a espresiones como «ta borrinosu» y «mañana ye xueves», lo único qu'importa d'elles ye que tengan un valor de verdá. Ye por esto que-y les reemplaza por simples lletres, que la so intención ye simbolizar una espresión con valor de verdá cualesquier. A estes lletres se les llapada variables proposicionales, y polo xeneral tómense del alfabetu llatinu, empezando pola lletra p (de «proposición») depués q, r, s, etc. Ye asina que los dos primeros argumentos d'esta sección podríen reescribise asina:

  1. p o q
  2. Non q
  3. Polo tanto, p

Y el tercer argumentu, a pesar de nun ser válidu, puede reescribise asina:

  1. Nin p nin q
  2. Non q
  3. Polo tanto, p

Conectivas lóxiques[editar | editar la fonte]

Artículu principal: Conectiva lóxica

Plantía:Conectivas lóxiques

De siguío hai una tabla qu'esplega toles conectivas lóxiques qu'ocupen a la lóxica proposicional, incluyendo exemplos del so usu nel llinguaxe natural y los símbolos que s'utilicen pa representales en llinguaxe formal.

Conectiva Espresión n'el
llinguaxe natural
Exemplu !Símbolu en
esti artículu !Símbolos
alternativos
Negación non Non ta lloviendo.
Conxunción

align="left" | Ta lloviendo y ta borrinosu.

Dixunción

align="left" | Ta lloviendo o ta soleyeru.

Condicional material

align="left" | Si ta soleyeru, entós ye de día.

Bicondicional

align="left" | Ta borrinosu si y namái si hai nubes visibles.

Dixunción opuesta nin... nin Nin ta soleyeru nin ta borrinosu.
Dixunción esclusiva o bien... o bien O bien ta soleyeru, o bien ta borrinosu.

Na lóxica proposicional, les conectivas lóxiques trátense como funciones de verdá. Esto ye, como funciones que tomen conxuntos de valores de verdá y devuelven valores de verdá. Por casu, la conectiva lóxica «nun ye una función que si toma'l valor de verdá V, devuelve F, y si toma'l valor de verdá F, devuelve V. Poro, si aplícase la función «non» a una lletra que represente una proposición falsa, la resultancia va ser daqué verdaderu. Si ye falsu que «ta lloviendo», entós va ser verdaderu que «nun ta lloviendo».

El significáu de les conectivas lóxiques nun ye namás que'l so comportamientu como funciones de verdá. Cada conectiva lóxica estremar de les otres polos valor de verdá que devuelve frente a les distintes combinaciones de valores de verdá que puede recibir. Esto quier dicir que'l significáu de cada conectiva lóxica puede ilustrase por aciu una tabla qu'esplegue los valores de verdá que la función devuelve frente a toles combinaciones posibles de valores de verdá que puede recibir.

Negación Conxunción Dixunción Condicional Bicondicional Dixunción esclusiva

Lleis notables en lóxica[editar | editar la fonte]

Ente les riegles de la lóxica proposicional clásica dalgunes de la más notables son llistaes de siguío:

Otres lleis como'l principiu del terceru escluyíu son almitibles en lóxica clásica, pero en lóxica intuicionista y con fines a les sos aplicaciones matemátiques nun esiste un equivalente del terceru escluyíu, por casu.

Llendes de la lóxica proposicional[editar | editar la fonte]

La maquinaria de la lóxica proposicional dexa formalizar y teorizar sobre la validez d'una gran cantidá d'argumentos. Sicasí, tamién esisten argumentos que son intuitivamente válidos, pero que la so validez non poder probar pola lóxica proposicional. Por casu, considérese'l siguiente argumentu:

  1. Tolos homes son mortales.
  2. Sócrates ye un home.
  3. Poro, Sócrates ye mortal.

Como esti argumentu nun contién nenguna de les conectivas «non», «y», «o», etc., según la lóxica proposicional, la so formalización va ser la siguiente:

  1. p
  2. q
  3. Poro, r

Pero esta ye una forma d'argumentu inválida, y eso contradiz la nuesa intuición de que l'argumentu ye válidu. Pa teorizar sobre la validez d'esti tipu d'argumentos, precísase investigar la estructura interna de les variables proposicionales. D'esto ocupa la lóxica de primer orde. Otros sistemes formales dexen teorizar sobre otros tipos d'argumentos. Por casu la lóxica de segundu orde, la lóxica modal y la lóxica temporal.

Dos sistemes formales de lóxica proposicional[editar | editar la fonte]

De siguío preséntense dos sistemes formales estándar pa la lóxica proposicional. El primeru ye un sistema axomáticu simple, y el segundu ye un sistema ensin axomes, de deducción natural.

Sistema axomáticu[editar | editar la fonte]

Alfabetu[editar | editar la fonte]

L'alfabetu d'un sistema formal ye'l conxuntu de símbolos que pertenecen al llinguaxe del sistema. Si L ye'l nome d'esti sistema axomáticu de lóxica proposicional, entós l'alfabetu de L consiste en:

  • Una cantidá finita pero arbitrariamente grande de variables proposicionales. Polo xeneral tomar del alfabetu llatinu, empezando pola lletra p, depués q, r, etc., y utilizando subíndices cuando ye necesariu o conveniente. Les variables proposicionales representen proposiciones como "ta lloviendo" o "los metales espandir col calor".
  • Un conxuntu de operadores lóxicos:
  • Dos signos de puntuación: los paréntesis esquierdu y derechu. La so única función ye desambiguar ciertes espresiones ambigues, n'esactamente'l mesmu sentíu en que desambiguan la espresión 2 + 2 ÷ 2, que puede significar tantu (2 + 2) ÷ 2, como 2 + (2 ÷ 2).

Gramática[editar | editar la fonte]

Una vegada definíu l'alfabetu, el siguiente pasu ye determinar qué combinaciones de símbolos pertenecen al llinguaxe del sistema. Esto llógrase por aciu una gramática formal. La mesma consiste nun conxuntu de riegles que definen recursivamente les cadenes de calteres que pertenecen al llinguaxe. A les cadenes de calteres construyíes según estes riegles se les llapada fórmules bien formaes. Les riegles del sistema L son:

  1. Les variables proposicionales del alfabetu de L son fórmules bien formaes.
  2. Si ye una fórmula bien formada de L, entós tamién lo ye.
  3. Si y son fórmules bien formaes de L, entós , , y tamién lo son.
  4. Namái les espresiones que pueden ser xeneraes por aciu les clauses 1 a 3 nun númberu finito de pasos son fórmules bien formaes de L.

Según estes riegles, les siguientes cadenes de calteres son exemplos de fórmules bien formaes:

Y los siguientes son ejempos de fórmules mal formaes[ensin referencies]:

Fórmula !align="left"|Erru !align="left"|Corrección


Sobren paréntesis
Sobren paréntesis
Sobren paréntesis
Falten paréntesis
Falten paréntesis

Per otra parte, cuidao que la única función de los paréntesis ye desambiguar les fórmules, polo xeneral acostúmase omitir los paréntesis esternos de cada fórmula, una y bones estos nun cumplen nenguna función. Asina por casu, les siguientes fórmules xeneralmente considérense bien formaes:

Otra convención avera del usu de los paréntesis ye que les conxunciones y les dixunciones tienen «menor xerarquía» que los condicionales materiales y los bicondicionales. Esto significa que dada una fórmula ensin paréntesis, les conxunciones y les dixunciones tienen d'arrexuntase antes que los condicionales materiales y los bicondicionales. Por casu:

Fórmula !align="left"|Llectura correcta !align="left"|Llectura incorrecta

Estes convenciones son análogues a les qu'esisten nel álxebra elemental, onde la multiplicación y la división siempres tienen de resolvese primero que la suma y restar. Asina por casu, la ecuación 2 + 2 × 2 podría interpretase como (2 + 2) × 2 o como 2 + (2 × 2). Nel primer casu la resultancia sería 8, y nel segundu casu sería 6. Pero como la multiplicación siempres tien de resolvese primero que la suma, la resultancia correcta nesti casu ye 6, non 8.

Axomes[editar | editar la fonte]

Los axomes d'un sistema formal son un conxuntu de fórmules bien formaes que se tomen como puntu de partida pa demostraciones ulteriores. Un conxuntu d'axioma estándar ye'l qu'afayó Jan Łukasiewicz:

Riegles de inferencia[editar | editar la fonte]

Plantía:Riegles de tresformamientu

Una riegla de inferencia ye una función que va de conxuntos de fórmules a fórmules. Al conxuntu de fórmules que la función toma como argumentu llamar premises, ente que a la fórmula que devuelve como valor se la llapada conclusión. Polo xeneral búscase que les riegles de inferencia tresmitan la verdá de les premises a la conclusión. Esto ye, que sía imposible que les premises sían verdaderes y la conclusión falsa. Nel casu de L, la única riegla de inferencia ye'l modus ponens, que diz:

Recordando que y nun son fórmules, sinón metavariables que pueden ser reemplazaes por cualesquier fórmula bien formada.

Deducción natural[editar | editar la fonte]

Artículu principal: Deducción natural

Dexar , onde , , , , defínese como:

  • Alpha conxuntu de ye un conxuntos finito de símbolos que ye lo suficientemente grande como pa satisfaer les necesidaes d'un discutiniu dáu, por casu:
  • Omega conxuntu de como partición de :

Nel siguiente exemplu ye d'un cálculu proposicional, les riegles presentaes de tresformamientu tienen que ser interpretaes como riegles de inferencia d'un sistema de deducción natural. El sistema particular equí presentáu nun tien puntos iniciales, lo que significa que la so interpretación pa les aplicaciones lóxiques deriva d'un teorema de conxuntos d'axomes vacíos.

*El conxuntu de puntos iniciales ta vacíu, este ye .

*El conxuntu de riegles de tresformamientu descríbese como :

El nuesu cálculu proposicional tien diéz riegles de inferencia. Estes riegles déxennos derivar otres fórmules verdaderes dáu un conxuntu de fórmules que se supon que son verdaderes. Les primeros nueve a cencielles declaren que podemos inferir ciertes fórmules bién formaes d'otres fórmules bien formaes; y l'última riegla utiliza'l razonamientu hipotéticu nel sentíu de que la premisa de la riegla asuma temporalmente una hipótesis( non probada) pa formar parte del conxuntu de fórmules deducíes pa ver si podemos inferir dalguna otra fórmula. Cuidao que les primeres nueve regles nun son hipotétiques , usualmente describiríense como riegles non hipotétiques, y l'última riegla como una riegla hipotética.

Al describir les riegles de tranformación, podemos introducir un símbolu de metallinguaxe . Ye básicamente una taquigrafía conveniente pa dicir " inferir que ". El formatu ye , nel cual Γ ye un conxuntu de fórmules llamaes premises, y Plantía:Mvar ye una fórmula pa topar la conclusión. La riegla de tranformacíon significa que si toa proposición enΓ ye un teorema ( o tien el mesmu valor de verdá que los axomes ), entós Plantía:Mvar ye tamién un teorema. Tenga en cuenta que teniendo encuenta la siguiente regla la introducción de conxunción Γ tien más d'una fórmula, siempres podemos amenorgala con seguridá nuna fórmula usando una conxunción. Asina que pa embrivir, a partir d'esi momentu podemos representar Γ como una fórmula en llugar d'un conxuntu. Otra omisión por conveniencia ye cuando Γ ye un conxuntu vacíu, y nesi casu Γ puede nun apaecer.

Un sistema de lóxica proposicional tamién puede construyise a partir d'un conxuntu vacíu d'axomes. Pa ello especifiquen una serie de riegles de inferencia qu'intenten prindar la manera en que naturalmente razonamos alrodiu de les conectivas lóxiques.

Introducción de la negación
De y , infierse .
Esto ye, .
Eliminación de la negación
De , infierse .
Esto ye, .
Eliminación de la doble negación
De , infierse .
Esto ye, .
Introducción de la conxunción
De y , infierse .
Esto ye, .
Eliminación de la conxunción
De , infierse .
De , infierse .
Esto ye, y .
Introducción de la dixunción
De , infierse .
Esto ye, y .
Eliminación de la dixunción
De y y , infierse .
Esto ye, .
Introducción del bicondicional
De y , infierse .
Esto ye, .
Eliminación del bicondicional
De , infierse .
De , infierse .
Esto ye, y .
Modus ponens (eliminación del condicional)
De y , infierse .
Esto ye, .
Prueba condicional (introducción del condicional)
De [aceptando que dexa una prueba de ], infierse .
Esto ye, .

Formes d'argumentos básiques y derivaes[editar | editar la fonte]

Nome Consecuente Descripción
Modus ponens Si entós ; ; polo tanto
Modus tollens Si entós ; non ; polo tanto non
Siloxismu hipotéticu Si entós ; si entós ; poro, si entós
Siloxismu disyuntivu Si o , Y; non ; poro,
Dilema constructivu Si entós ; y si entós ; pero o ; polo tanto o
Dilema destructivu Si entós ; y si entós ; pero non o non ; polo tanto non o non
Dilema bidireccional Si entós ; y si entós ; pero o non ; polo tanto o non
Simplificación y son verdaderos; polo tanto ye verdaderu
Conxunción y son verdaderos xebradamente; entós son verdaderos conjuntamente.
Adición ye verdaderu; polo tanto la dixunción ( o ) ye verdadera
Composición Si entós ; y si entós ; polo tanto si ye verdaderu entós y son verdaderos
Llei de De Morgan (1) La negación de ( y ) ye equivalente a (non o non )
Llei de De Morgan (2) La negación de ( o ) ye equivalente a (non y non )
Conmutación (1) ( o ) ye equivalente a ( o )
Conmutación (2) ( y ) ye equivalente a ( y )
Conmutación (3) ( ye equivalente a ) ye equivalente a ( ye equivalente a )
Asociación (1) o ( o ) ye equivalente a ( o ) o
Asociación (2) y ( y ) ye equivalente a ( y ) y
Distribución (1) y ( o ) ye equivalente a ( y ) o ( y )
Distribución (2) o ( y ) ye equivalente a ( o ) y ( o )
Doble negación ye equivalente a la negación de non
Transposición Si entós ye equivalente a si non entós non
Implicación material Si entós ye equivalente a non o
Equivalencia material (1) ( si y solu si ) ye equivalente a (si ye verdaderu entós ye verdaderu) y (si ye verdaderu entós ye verdaderu)
Equivalencia material (2) ( si ) ye equivalente a cualesquier de los dos ( y son verdaderos) o (tantu como son falsos)
Equivalencia material (3) ( si ) ye equivalente a: tantu ( como non son verdaderos) y (non o ye verdaderu)
Esportación[3] dende (si y son verdaderos, entós ye verdaderu) puede probase que (si ye verdaderu entós ye verdaderu, si ye verdaderu)
Importación implica que implica ye equivalente a que y impliquen
Tautoloxía (1) ye verdaderu ye equivalente a ye verdaderu o ye verdaderu
Tautoloxía (2) ye verdaderu ye equivalente a ye verdaderu y ye verdaderu
Principiu del terceru escluyíu o non ye verdaderu
Principiu de non contradicción y non ye falsu


Exemplu d'una demostración[editar | editar la fonte]

Demostrar:

Una posible prueba d'esto (que, anque válida, pasa a contener más pasos de los necesarios) puede disponese de la siguiente manera:

Pasu Fórmula Razón
1 Premisa.
2 Dende (1) por introducción de la dixunción.
3 Dende (1) y (2) por introducción de la conxunción.
4 Dende (3) por eliminación de la conxunción.
5 Resume de (1) hasta (4).
6 Dende (5) por introducción del condicional. QED

Interpretar como: "Asumiendo que , inferire ". Lleer como "Suponiendo nada, inferir que implica ", o "Ye una tautoloxía que implica ", o "Siempres ye ciertu que implica ".

Llinguaxe formal na notación BNF[editar | editar la fonte]

El llinguaxe formal de la lóxica proposicional puede xenerase cola gramática formal descrita usando la notación BNF como sigue:

La gramática anterior define la precedencia de operadores de la siguiente manera:

  1. Negación ()
  2. Conxunción ()
  3. Dixunción ()
  4. Condicional material ()
  5. Bicondicional ()

Semántica[editar | editar la fonte]

Una interpretación pa un sistema de lóxica proposicional ye una asignación de valores de verdá pa cada variable proposicional, sumada a la asignación avezada de significaos pa los operadores lóxicos. A cada variable proposicional asígnase-y unu de dos posibles valores de verdá: o V (verdaderu) o F (falsu). Esto quier dicir que si hai n variables proposicionales nel sistema, el númberu d'interpretaciones distintes ye de 2n.

Partiendo d'esto ye posible definir una cantidá de nociones semántiques. Si A y B son fórmules cualesquier d'un llinguaxe L, ye un conxuntu de fórmules de L, y M ye una interpretación de L, entós:

  • A ye verdadera so la interpretación M si y namái si M asigna'l valor de verdá V a A.
  • A ye falsa so la interpretación M si y namái si M asigna'l valor de verdá F a A.
  • A ye una tautoloxía (o una verdá lóxica) si y namái si pa toa interpretación M, M asigna'l valor de verdá V a A.
  • A ye una contradicción si y namái si pa toa interpretación M, M asigna'l valor de verdá F a A.
  • A ye satisfacible (o consistente) si y namái si esiste siquier una interpretación M qu'asigne'l valor de verdá V a A.
  • ye consistente si y namái si esiste siquier una interpretación que faiga verdaderes a toles fórmules en .
  • A ye una consecuencia semántica d'un conxuntu de fórmules si y namái si nun esiste interpretación na que toles fórmules que pertenecen a sían verdaderes y A sía falsa. Cuando A ye una consecuencia semántica de nun llinguaxe L, escríbese: .
  • A ye una verdá lóxica si y namái si A ye una consecuencia semántica del conxuntu vacíu. Cuando A ye una verdá lóxica d'un llinguaxe L, escríbese: .

Tables de verdá[editar | editar la fonte]

Artículu principal: Tables de verdá

La tabla de verdá d'una fórmula ye una tabla na que se presenten toles posibles interpretaciones de les variables proposicionales que constitúi la fórmula y el valor de verdá de la fórmula completa pa cada interpretación. Por casu, la tabla de verdá pa la fórmula ye:

Como se ve, esta fórmula tien 2n interpretaciones posibles —una per cada llinia de la tabla— onde n ye'l númberu de variables proposicionales (nesti casu 3, ye dicir p, q, r) y resulta ser una tautoloxía, ye dicir que so toles interpretaciones posibles de les variables proposicionales, el valor de verdá de la fórmula completa termina siendo V.

Formes normales[editar | editar la fonte]

De cutiu ye necesariu tresformar una fórmula n'otra, sobremanera tresformar una fórmula a la so forma normal. Esto consíguese tresformando la fórmula n'otra equivalente y repitiendo el procesu hasta consiguir una fórmula que namái use los conectivos básicos (). Pa llograr esto utilicen les equivalencies lóxiques:

Por casu, considérese la siguiente fórmula:

La mesma puede desenvolvese asina:

Dizse qu'una fórmula ta en forma normal disyuntiva (FND) si y namái si tien la siguiente forma:

onde cada A ye una conxunción de fórmules. Por casu, la siguiente fórmula ta en forma normal disyuntiva:

Dizse qu'una fórmula ta en forma normal conxuntiva (FNC) si y namái si tien la siguiente forma:

onde cada A ye una dixunción de fórmules. Por casu, la siguiente fórmula ta en forma normal conxuntiva:

Poles lleis de De Morgan, ye posible pasar d'una forma normal disyuntiva a una forma normal conxuntiva y viceversa:

Les FNC y FND son mutuamente duales. La demostración fai usu de les lleis de De Morgan y de la propiedá distributiva de la conxunción y la dixunción. Tien de cumplise que:

Y viceversa:

La lóxica proposicional y la computación[editar | editar la fonte]

Por cuenta de que los computadores trabayen con información binaria, la ferramienta matemático fayadiza pal analís y diseñu del so funcionamientu ye'l Álxebra de Boole. La Álxebra de Boole foi desenvuelta primeramente pal estudiu de la lóxica. Foi a partir de 1938, fecha en que Claude Shannon publicó un llibru llamáu "Analís simbólicu de circuitos con relés", estableciendo los primeros conceutos de l'actual teoría de la conmutación, cuando se produció un aumentu considerable nel númberu de trabayos d'aplicación de la Álxebra de Boole a los computadores dixitales. Anguaño, esta ferramienta resulta fundamental pal desenvolvimientu de los computadores yá que, cola so ayuda, l'analís y síntesis de combinaciones complexes de circuitos lóxicos puede realizase con rapidez.

Hestoria[editar | editar la fonte]

Artículu principal: Hestoria de la lóxica

La lóxica ye conocida como una de les ciencies más antigües, tantu ye asina que se-y atribúi a Aristóteles la paternidá d'esta disciplina. Partiendo de que correspuende a Aristóteles ser el primeru en tratar con tou detalle la lóxica, considérase-y el so fundador. Nun principiu llamóse Analítica, en virtú del títulu de les obres en que trató los problemes lóxicos. Más tarde los escritos de Aristóteles relativos a estos eventos fueron arrexuntaos polos sos discípulos col títulu de Órganon, por considerar que la lóxica yera un preséu pa la conocencia de la verdá.

Aristóteles plantegóse cómo ye posible probar y demostrar qu'una conocencia ye verdaderu, esto ye, que tien una validez universal. Aristóteles atopa'l fundamentu de la demostración na deducción, procedimientu que consiste en derivar un fechu particular de daqué universal. La forma en que s'afecta esa derivación ye'l siloxismu, por que la so razón la siloxística apuerta a el centru de la lóxica aristotélica.

Anque la lóxica proposicional (que ye intercambiable col cálculu proposicional) fuera suxurida polos filósofos anteriores, foi desenvuelta nuna lóxica formal por Chrysippus nel sieglu III AC y ampliada pol so socesor Stoics. La lóxica proposicional centrar en proposiciones. Esta meyora foi distinta de la lóxica siloxística tradicional que se centró nos términos. Sicasí, más tarde na antigüedá, la lóxica proposicional desenvuelta polos estoicos nun s'entendía [¿Quién?]. En consecuencia d'ello, el sistema foi reinventáu esencialmente por Peter Aberlard nel sieglu XII.

La lóxica proposicional foi finalmente refinada usando la lóxica simbólica, acreditóse ser el fundador de la lóxica simbólica'l matemáticu Gottfried Leibniz sieglu XVII/XVIII, pol so trabayu ratiocinator del cálculu. Anque'l so trabayu yera unos de los primeres, yera desconocíu pa la comunidá lóxica más grande. Arriendes d'ello, munchos de les meyores llograes por Leibniz fueron recreaos por lóxicos como George Boole y Augustus De Morgan dafechu independientes a Leibniz.

Según la lóxica proposicional puede considerase una meyora de la lóxica silogísta anterior, la lóxica del pedricada de Gottlob Frege yera una meyora de la lóxica proposicional anterior. Un autor describe esta lóxica como la combinación de les traces distintives de la lóxica siloxística y la lóxica proposicional. Poro, la lóxica pedricái marcó l'empiezu d'una nueva yera na hestoria de la lóxica; sicasí, les meyores na lóxica proposicional fixéronse entá dempués de Frege, incluyendo Deducción Natural, Árboles de la Verdá y Tables de verdá. La deducción natural foi inventada por Gerhard Gentzen y Jan Lukasiewicz. Los árboles de la verdá fueron inventaos por Evert Willem Beth. La invención de les tables de la verdá, sicasí, ye d'atribución revesosa.

Dientro de les obres de Frege y Bertrand Russell, hai idees qu'inflúin na invención de les tables de la verdá. La estructura tabular real acredítase xeneralmente a Ludwig Wittgenstein o a Emil Post ( o dambos independientemente). Adeám de Frege y Russell, otros acreditaos con idees anteriores a les tables de la verdá inclúin a Philo, Boole, Charles Sanders Peirce. Otros acreditaos de la estructura tabular inclúin Lukasiewicz, Alfred North Whitehead, Guillermo Stanley Jevons, John Venn, y Clarence Irving Lewis. N'última instancia, dalgunos llegaron a la conclusión, como John Shosky, de que " ta llueñe de tar claro qu'a cualquier persona tien de dáse-y el títulu de 'inventor' de les tables de la verdá".

Ver tamién[editar | editar la fonte]

Notes y referencies[editar | editar la fonte]

  1. Simon Blackburn, ed., «propositional calculus» (en inglés), Oxford Dictionary of Philosophy, Oxford University Press, http://www.oxfordreference.com/views/ENTRY.html?subview=Main&entry=t98.y2552, consultáu el 13 d'agostu de 2009 
  2. Klement (en inglés), Internet Encyclopedia of Philosophy, http://www.iep.utm.edu/prop-log/, consultáu el 6 de febreru de 2012 
  3. «Proof of Implications» (inglés). CS381 Discrete Structures/Discrete Mathematics Web Course Material. Department Of Computer Science, Old Dominion University (2 d'agostu de 2009). Consultáu'l 10 de marzu de 2010.

Bibliografía[editar | editar la fonte]

  • (1972) A Mathematical Introduction to Logic. Academic Press.
  • (1981) Lóxica pa matemáticos editorial=Paraningo.
  • (1997) Introduction to Mathematical Logic, 4ª, Chapman and May.
  • (1991) Lliçons de lóxica matemática. P.P.O..
  • (1998) Elemento de lóxica formal. Ariel.
  • (1978) Una introducción alxebraica a la lóxica matemática. Eunibar.
  • (1977) Beginning Model Theory. Oxford University Pres.
  • (1990) Lóxica matemática. Mir.
  • (1987) Gödel, Escher, Bach: un Eternu y Grácil Bucle. Tusquets Editores.
  • (1989) Álgebra de Boole y lóxica. Publicaciones O.B..
  • (1976) Mathematical Logic. Springer-Verlag.
  • (1978) El desenvolvimientu de la lóxica matemática. Cátedra.
  • (1983) Logic and Structure, 2ª, Universitext, Springer-Verlag.

Enllaces esternos[editar | editar la fonte]



Lógica proposicional