Утверждения и высказывания С детских лет мы учимся отличать правду от лжи. Мы хотим иметь разумные представления об окружающем мире, а для этого надо пользоваться правдивой информацией. Однако иногда одного здравого смысла может не хватить для того, чтобы понять или объяснить, почему то или иное утверждение истинно или ложно. Нужны правила рассуждений, которые позволяют из верных утверждений получать другие верные утверждения. Всегда ли мы можем сказать, истинно утверждение или нет? О каких из этих утверждений можно сказать, истинны они или нет? 1...

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