Логика высказываний, называемая также пропозициональной логикой - раздел математики и логики, изучающий логические формы сложных высказываний, построенных из простых или элементарных высказываний с помощью логических операций. Высказываниями принято считать такие предложения (написанные на "словесном" либо математическом языке), о которых можно сказать одно из двух: либо они являются истинными, либо ложными. С математическими высказываний проще всего: они всегда имеют либо значение "истина", либо значение "ложь"...

Продолжим рассмотрение раздела «Логика высказываний». Ознакомиться с основными понятиями этого раздела можно по ссылкам: https://zen.yandex.ru/media/id/603a418d1684900aa2499416/logika-vyskazyvanii-postroenie-tablic-istinnosti-6239460b8d70de4bf0b7ac3f В этой лекции будет представлен перечень различных законов логики высказываний, а также рассмотрена методика получения формул логики высказываний по заданной таблице истинности. В результате изучения этой лекции предполагается, что обучающийся ознакомится...