Условие задачи
Раскройте тему: "Кванторы и их роль в математических предложениях. Отрицание высказываний с кванторами. Законы де Моргана. Отношения следования и равносильности. Теорема. Виды теорем: прямая, обратная, противоположная, противоположная обратной. Закон контрапозиции. "
Ответ
В математической логике наряду с логическими операциями используются и кванторы. Квантор (от лат. quantum сколько) логическая операция, дающая количественную характеристику области предметов, к которой относится выражение, получаемое в результате ее применения.
В обычном языке носителями таких характеристик служат слова типа все, каждый, некоторый, любой, всякий, бесконечно много, существует, имеется, единственный, несколько, конечное число, а также все количественные числительные. В формализованных языках, составной частью которых является исчисление предикатов, для выражения всех подобных х...
