Спирина, М.С. Дискретная математика

Конъюнкция двух последних предложений будет читаться «Два и только два объекта обладают свойством Р». Например, «Уравне­ ние ах2+ Ьх + с = 0 имеет не более двух действительных корней» и «Уравнение вида ax3+ bx2+ cx +d = 0 имеет хотя бы один действи­ тельный корень». Символическая запись с помощью кванторов дает возможность не только компактно записать формулировки математических ут­ верждений, но и формулировать противоречивые суждения для определений и теорем. Использование кванторов существенно упростило методы логического анализа высказываний, дало воз­ можность выводить одни высказывания из других. 5.4. Умозаключения как форма мышления. Дедуктивные умозаключения и их виды Гибкость ума может заменить кра­ соту. Стендаль Предметы, явления действительности находятся во взаимо­ действии. Отображением предметов в наших мыслях служат п о ­ нятия об этих предметах и суждения, которые формируются с помощью понятий. Поэтому суждения о понятиях, как и их о б ­ разы в реальном мире, тоже находятся во взаимодействии. Взяв за основу истинные исходные суждения (посылки), мы делаем выводы (умозаключения) о тех понятиях, которые фигурирова­ ли в суждениях. Связь между ними наглядно можно представить в виде схемы (рис. 5.6). Реальный мир Язык Мышление Рис. 5.6. Иллюстрация связи между объектами реального мира, их образами в языке и мышлении 9 * 243