Алгебра логики

Наука о формах и способах мышления. 

Основоположник формальной логики (понятие, суждение, умозаключение).

Создал новую область науки - Математическую логику

Его исследования позволили применить алгебру логики в вычислительной технике

предложение на любом языке, содержание которого можно однозначно определить как истинное или ложное.

Является ли высказываение следующее предложение "Кто к нам пришел?"

это раздел математики, изучающий высказывания, их логические значения (истинность или ложность) и логические операций над ними

\(х\wedgeу\ это\)

Импликация  ложна тогда

Даны два простых высказывания:

А = {2 • 2 = 4},

В = {2 • 2 = 5}. Истина ли дизъюнкция этих высказываней?