sembolik mantıkmodern kalkınmaİngiliz matematikçi George Boole ile başladı . 1847 yılında , o mantık matematik ziyade felsefe ile müttefik gerektiğini savundu hangi bir broşür , " Mantık Matematiksel Analizi , " yayınladı. Tümdengelim ve cebirsembolleri arasındakibağlantıyı gözlemlemek , o üç temel işlemleri ile bir cebirsel dil geliştirdi: VE, VEYA ve DEĞİL . Bu üç fonksiyon onun öncültemelini oluşturmuştur . Onlar hala , ve vardır , gerekliişlemler sadece karşılaştırmalar veya temel matematiksel fonksiyonları gerçekleştirmek için .
Matematik
Sembolik mantık yeni aksiyomatik çerçeveleriningelişmesine katkıda bulunmuştur , aritmetik , analiz ve geometri olmak üzere matematiğin çeşitli kollarında, mantıksal teoremleri türetmek için kullanılır biçimsel sistemler . Del ve Gerhard Gentzen ; denilen geliştirilen matematik sembolik mantığınçalışması David Hilbert , Kurt G ö dahil Erken 20. yüzyıl öncüleri ile " , küme teorisi " . Set teorisiningelişimi neredeyse tüm sıradan matematik setleri açısından resmiyet ispatlamıştır .
Önermeler ve dilinde Operatörler
, sembolik mantık olabilir anlam kaybı olmadan kırılmış olamaz ifadeler önerme için çıkarılabilir . Önermeler böyle temsil edilmektedir: A = B -olmayan çürütülebilir ifadeleri simgeleyen A ile B = C , A = C , B ve C . " Sadece " ve " diğerleri arasında " ima ", sonra ... eğer " " ve " "ya ... ya , " - - bağlantı blokları gibi hareket ettiklerini , bu önermelerden işletmeciler bulunmaktadır. Önermede , " Jane sadece varsa Joe ,partiye gelecek " bir operatör olarak " sadece " davranır . Önerme " Janepartide değil" doğru ise , o zamanönerme " Joepartide de değil , " ima edilir. Daha karmaşık mantıksal yapının daha operatörler sonuçlar ekleyerek .
Bilgisayar Bilimleri
Tüm sembolik mantık birler ve sıfırlar kadar yapılmış numaraları ile çalışma gibi karmaşıktır. Sonuç olarak , matematik Boole gelişmeler bilgisayar bilimlerialanında dramatik katkıda bulunmuştur . Üç temel VE, VEYA DEĞİL operasyonları - Bugün , tüm bilgisayarların mantıksal " kapıları " halinde düzenlenmiştir küçük elektronik anahtarlar içeren binlerce mikroçip aracılığıylaBoole mantık sistemini kullanın . Bu öngörülebilir ve güvenilir sonuçlara üretmek vebilgisayar ikili dilini kullanarak faaliyetlerini yürütmesine izin .