Семя – орган полового размножения и расселения растений: наружи у семян имеется плотный покров – кожура...
Биохимия спиртового брожения: Основу технологии получения пива составляет спиртовое брожение, - при котором сахар превращается...
Топ:
Когда производится ограждение поезда, остановившегося на перегоне: Во всех случаях немедленно должно быть ограждено место препятствия для движения поездов на смежном пути двухпутного...
Теоретическая значимость работы: Описание теоретической значимости (ценности) результатов исследования должно присутствовать во введении...
История развития методов оптимизации: теорема Куна-Таккера, метод Лагранжа, роль выпуклости в оптимизации...
Интересное:
Мероприятия для защиты от морозного пучения грунтов: Инженерная защита от морозного (криогенного) пучения грунтов необходима для легких малоэтажных зданий и других сооружений...
Искусственное повышение поверхности территории: Варианты искусственного повышения поверхности территории необходимо выбирать на основе анализа следующих характеристик защищаемой территории...
Наиболее распространенные виды рака: Раковая опухоль — это самостоятельное новообразование, которое может возникнуть и от повышенного давления...
Дисциплины:
2017-06-29 | 632 |
5.00
из
|
Заказать работу |
|
|
Кванторы применяются для того, чтобы перейти от высказывательной формы к истинному высказыванию, эта операция называется квантификацией.
Квантификация - переход от высказывательной формы к истинному высказыванию.
Рассмотрим двуместную высказывательную форму и всевозможные варианты её квантификации:
(1)
(2)
(3)
(4)
(5)
(6)
(7)
(8)
(1) ≡ (2)
(3) ≡ (4)
Одноименные кванторы можно менять местами
(6) => (5)
(8) => (7)
Если высказывательная форма зависит от n переменных, то при квантификации высказывательной формы по xi переменной, xi переменная становится связанной (связана квантором), при этом все остальные называются свободными.
Чтобы перейти от высказывательной формы к истинному высказыванию нужно проквантифицировать её n раз по каждой переменной.
Отрицание предложений кванторами.
Рассмотрим такой пример: (отрицание предложения необходимо начинать со слов <неверно, что:>) - <неверно, что все ученики отличники>. Попытаемся перефразировать: <среди учеников есть хотя бы неотличник> или , т. е. ≡ . Ещё один пример: ≡ .
Правила построения отрицания предложения с кванторами:
- каждый квантор меняем на противоположный;
- отрицание переносим на высказывательную форму.
Пример: Предложение: <в каждой стране найдётся город, у всех жителей которого глаза одинакового цвета>.
Запись кванторами: (глаза одинакового цвета)
Отрицание кванторами: (неверно, что глаза одинакового цвета)
Отрицание предложение: <существует страна, в каждом городе которой найдётся житель с глазами разного цвета>.
Дать определение кванторов, свободных и связанных переменных.
Кванторы – логические символы или специальные обозначения для некоторых часто встречающихся выражений.
|
Например: 1) Квантор общности – – любой, каков бы ни был.
– для всех x истинно (или выполнимо) свойство p (x).
2) Квантор существования – – существует.
– найдутся (или существуют) x, обладающие свойством p (x).
Свободные и связанные переменные
Множество свободных переменных * формулы F определяется рекурсивно, следующим образом:
Определение 1 (Свободные переменные).
Определение 2 (Замкнутая формула). Формула без свободных переменных называется замкнутой формулой, или предложением.
Определение 3 (Связаная переменная). Переменная v связана в формуле F, если F содержит вхождение Kv, где K – квантор.
|
|
Типы оградительных сооружений в морском порту: По расположению оградительных сооружений в плане различают волноломы, обе оконечности...
Наброски и зарисовки растений, плодов, цветов: Освоить конструктивное построение структуры дерева через зарисовки отдельных деревьев, группы деревьев...
Общие условия выбора системы дренажа: Система дренажа выбирается в зависимости от характера защищаемого...
Эмиссия газов от очистных сооружений канализации: В последние годы внимание мирового сообщества сосредоточено на экологических проблемах...
© cyberpedia.su 2017-2024 - Не является автором материалов. Исключительное право сохранено за автором текста.
Если вы не хотите, чтобы данный материал был у нас на сайте, перейдите по ссылке: Нарушение авторских прав. Мы поможем в написании вашей работы!