Статья 209

Например, разделить 18 на 3, результат умножить на 4 и к последнему результату прибавить результат вычитания 12 из 19. Такого рода предложения описывают некоторую программу действий. К более подробному анализу задач и программ мы обратимся ниже. Пока необходимо лишь четко зафиксировать отличие задач и программ от высказываний.
Выше было отмечено, что отличительная черта высказываний состоит в том, что они могут быть истинными или ложными. Логика действительно опирается на теоретико-познавательное понятие истинности, которое в классической логике трактуется следующим образом высказывание называется истинным тогда и только тогда, когда оно соответствует описываемому положению дел, в противном случае оно называется ложным. В логической семантике понятие истинности находит свое уточнение и существенным образом используется для обоснования правильности определенных способов рассуждений.