6.1.1.1 Исчисление высказываний

Исчисление высказываний, также известное как логика высказываний, имеет дело с предложениями, которые представляют собой утверждения, которые являются истинными или ложными. В этой логической системе при работе с предложениями и логическими связями возникают различные проблемы и задачи.