Математическая логика и теория алгоритмов

Но не всякая речь,- есть высказываюгцая речь, а лишь та, в которой содерэюится истинность или ложность чего-либо; мольба, например, есть речь, но она не истинна и не ложна. Аристотель Гл а в а 1. ЛОГИКА ВЫСКАЗЫВАНИЙ И иг облекайте истину ложью, чтобы скрыть истину, в то время как вы знаете. Коран Ибо мы не сильны против истины, но сильны за истину. Библия' § 1. Высказывание . Логические операции Высказыванием называется любое повествовательное предло­ жение, которое истинно либо ложно. Примерами высказываний в математической логике являются следующие предложения: Сократ - человек. 2 + 2=4. 5> 7. ' По Синодальному изданию; по Восстановительному переводу эта фраза имеет вид: «Ибо мы не можем делать что-либо против истины, а можем ради истины». Выделение слов здесь и в эпиграфе сделано согласно указанным источни­ кам. 11