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

Знакомы ли Вы с понятием "формальная логика"? Что такое конъюнкция и дизъюнкция? А импликация? В статье будут рассмотрены данные понятия. Надеюсь статья будет Вам полезна. Формальная логика (математическая логика) является важнейшей основой функционирования современных компьютеров. Мы используем законы формальной логики, когда делаем запрос на поиск информации в Интернете или базе данных или когда анализируем правильность математического вывода. Многие элементы компьютеров проектируются и работают на основе законов формальной логики...