Чтобы логику можно было развивать математическими методами, необходимо прежде всего уточнить основные логические понятия. Нашей ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Успенский В.А. Вводный курс математической логики Изд.2


Чтобы логику можно было развивать математическими методами, необходимо прежде всего уточнить основные логические понятия. Нашей основной задачей является уточнение и изучение понятия правильного рассуждения, или доказательства. Всякое рассуждение состоит в последовательном переходе от одной мысли к другой, или, как говорят в логике, от одного суждения к другому. Материальным выражением суждения является предложение того или иного языка. Например, математические суждения мы обычно записываем в виде текстов на русском языке, обогащенном математической символикой. Предложения, выражающие определенные суждения, называются высказываниями. Они характеризуются тем, что могут быть истинными или ложными, и этим отличаются, например, от повелительных или вопросительных предложений.

(cкачать страницу)

Смотреть книгу на libgen

Чтобы логику можно было развивать математическими методами, необходимо прежде всего уточнить основные логические понятия. Нашей основной задачей является уточнение и изучение понятия правильного рассуждения, или доказательства. Всякое рассуждение состоит в последовательном переходе от одной мысли к другой, или, как говорят в логике, от одного суждения к другому. Материальным выражением суждения является предложение того или иного языка. Например, математические суждения мы обычно записываем в виде текстов на русском языке, обогащенном математической символикой. Предложения, выражающие определенные суждения, называются высказываниями. Они характеризуются тем, что могут быть истинными или ложными, и этим отличаются, например, от повелительных или вопросительных предложений.