2 листопада виповнюється 200 років з дня народження видатного математика Джорджа Буля - засновника математичної логіки

Джордж Буль - англійський математик, засновник математичної логіки. Основн його праці:
"Математичний аналіз логіки" (1847)
"Логічне числення"(1848)
"Дослідження законів мислення"(1854)..
Джордж Буль звів логіку до алгебраїчної форми.  Логічне числення дістало назву булевої  алгебри.
Математична логіка - розділ математики, присвячений вивченню математичних доведень і питань основ математики.

Основні логічні операції:

Кон'юкція - поєднання висловлювань А і В у нове висловлювання "А і В" (А /\ В)

Наприклад. На вулиці холодно. На вулиці йде дощ. Отже, на вулиці холодно і йде дощ.

Диз'юнкція - поєднання висловлювань А і В у нове висловлювання "А або В" (А \/ В).
Наприклад. Петро -юрист. Петро -спортсмен. Отже, Петро юрист або спортсмен.

Імплікація -поєднання висловлювань А і В у нове висловлювання "Якщо А , то  В"(А → В)

Наприклад. Робітники поліпшать якість роботи. Робітники отримають премію. Якщо робітники поліпшать якість роботи, то вони отримають премію.

Еквіваленція -отримання з двох висловлювань А і В нового висловлювання "А тоді і тільки тоді, коли В", "А якщо В і В якщо А" , " Для А достатньо і необхідно В".

Наприклад. Чотирикутник -паралелограм. У чотирикутника діагоналі в точці перетину діляться навпіл. Чотирикутник паралелограм тоді і тільки тоді, коли в нього діагоналі в точці перетину діляться навпіл. 

Заперечення - отримання з висловлювання А висловлювання "не А". Наприклад. Харків - столиця України. Харків не є столицею України.

Таблиця істинності

А	В	Кон'юкція	Диз'юнкція	Імлікація	Еквіваленція
істинне	істинне	істинне	істинне	істинне	істинне
істинне	хибне	хибне	істинне	хибне	хибне
хибне	істинне	хибне	істинне	істинне	хибне
хибне	хибне	хибне	хибне	істинне	істинне