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

П.1 Высказывания Алгебра логики (высказываний) - раздел математической логики, изучающий высказывания и логические операции над ними. Высказывание(суждение) – любое повествовательное предложение в отношении которого можно однозначно сказать, истинно оно или ложно. Примеры высказываний: Высказываниями не являются: Алгебра логики (высказываний) работает с высказываниями. Различают: Истина: Аристотель - основоположник логики. Ложь: На яблонях растут бананы. А = {Аристотель - основоположник логики} – истина...