Самостоятельная работа по теме Математическая логика

Дайте определение математической логики? Дайте определение формальной логики?
Выделяют следующие формы мышления -? Какого типа умозаключения вы знаете? Приведите примеры.
Для чего необходимо изучать математическую логику? Какие логические переменные используются в математической логике?
Изобразите таблицу истинности логического сложения (, or).
а b a b
Изобразите таблицу истинности логического умножения (, and).
а b a b
Изобразите таблицу истинности импликации (функции следования) a→b.
а b a → b
(а+b)
Изобразите таблицу истинности импликации (функции следования) а←b.
а b a ← b
(а+b)