В данной статье мы поговорим о математической логике, разберем основные операции и ассоциируем их с реальным миром. Математическая логика — это раздел современной формальной логики, в котором логические...

Приветствую Вас, уважаемые Читатели! Сегодня я хочу затронуть интересную тему, которая изначально касается математической логики. В курсе математического анализа студентам часто приходится слушать такие формулировки "достаточным условием является", "необходимым условием является", "является необходимым и достаточным условием" и т.д А еще задачи с параметрами, если Вы понимаете о чём я... Чтобы разобраться со всем этим добром, начнем с формальной логики. Пусть существуют высказывания A и B: Из двух высказываний мы всегда можем построить импликацию "если А, то B"...