modernia kehitystä symbolisen logiikan alkoiEnglanti matemaatikko George Boole . Vuonna 1847 hän julkaisikirjasen "matemaattinen analyysi Logic ", jossa hän väitti, että logiikka olisi liittoutunut matematiikan sijaan filosofiaa . Tarkkailemallayhteys deduktiivista päättelyä jasymbolit algebran , hän kehitti algebrallinen kieli , jossa on kolme perustoiminnot : AND , OR ja NOT . Nämä kolme toimintoa muodosti perustan hänen lähtökohta . He olivat ja ovat edelleen ,vain toimet tarpeen suorittaa vertailuja tai matemaattisten toimintoja.
Matematiikka
Symbolinen logiikka on edistänytuusien axiomatic viitekehyksiä , virallisten järjestelmien johtamiseen käytetty loogisia lauseita , useilla aloilla matematiikan , kuten aritmeettinen , analysointi ja geometria . Tutkimus symbolisen logiikan matematiikan kehitetty niin kutsuttu " joukko-oppi ", jossa on jo 20-luvun pioneerien kuten David Hilbert , Kurt G ö , del ja Gerhard Gentzen . Kehittämistä joukko-oppi osoitti, että lähes kaikki tavalliset matematiikan voidaan vakioidut sarjaa .
Propositions ja operaattorit
kieli , symbolinen logiikka voi olla pääteltiin ehdotuksia , jotka ovat väitteisiin, joita ei jaeta ilmantappiota merkitys . Ehdotukset ovat edustettuina näin := B , B = C , niin= C , jossa A, B , ja C symboloi ei- kumottavissa lausuntoja . Näiden ehdotukset ovat toimijoita - " ja ", " joko ... tai ", " jos ... niin ", " vain jos " ja " merkitsee , " muun muassa - jotka toimivat kuin liitäntälohkosta . Vuonnaehdotus, " Joe tulevatosapuolelle vain , jos Jane on siellä ", " vain jos " toimiioperaattori . Josehdotus " Jane ei juhlissa " on totta, niinlause " Joe ei myöskään ole juhlissa , " on hiljaista . Lisäämällä toimijoiden tuloksia monimutkaisempia loogisia rakenteita .
Computer Science
Kaikki symbolinen logiikka on yhtä monimutkaista kuin sisältämiä lukuja koostuu ykkösiä ja nollia . Tämän seurauksena Boole n kehitys matematiikassa ovat vaikuttaneet dramaattisestialan tietotekniikassa. Nykyään kaikki tietokoneet käyttävätBoolen logiikan järjestelmän kautta mikrosiruja , jotka sisältävät tuhansia pieniä elektroniset kytkimet on järjestetty loogisiin " portit " -kolme perusasiaa AND, OR, NOT toimintaa . Nämä tuottavat ennustettavia ja luotettavia johtopäätöksiä ja annatietokoneen suorittamaan toimintaansa käyttäen binary kielellä .