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

Статья была написана Павловым Александром 2 Сентября 2013 года. Высказывание — Словесное предложение, которое является либо истинным, либо ложным. Логическое высказывание — Логическое словесное предложение, которое является либо истинным, либо ложным. Высказывательная форма - Логическое высказывание, где один из объектов заменён переменной. Переменная – Неизвестное слово или число (х,y, z) Пример: «В городе x идёт дождь.» — высказывательная форма, «В городе Архангельске идёт дождь.» — высказывание...