Семя – орган полового размножения и расселения растений: наружи у семян имеется плотный покров – кожура...
Автоматическое растормаживание колес: Тормозные устройства колес предназначены для уменьшения длины пробега и улучшения маневрирования ВС при...
Топ:
Выпускная квалификационная работа: Основная часть ВКР, как правило, состоит из двух-трех глав, каждая из которых, в свою очередь...
Установка замедленного коксования: Чем выше температура и ниже давление, тем место разрыва углеродной цепи всё больше смещается к её концу и значительно возрастает...
Теоретическая значимость работы: Описание теоретической значимости (ценности) результатов исследования должно присутствовать во введении...
Интересное:
Мероприятия для защиты от морозного пучения грунтов: Инженерная защита от морозного (криогенного) пучения грунтов необходима для легких малоэтажных зданий и других сооружений...
Финансовый рынок и его значение в управлении денежными потоками на современном этапе: любому предприятию для расширения производства и увеличения прибыли нужны...
Распространение рака на другие отдаленные от желудка органы: Характерных симптомов рака желудка не существует. Выраженные симптомы появляются, когда опухоль...
Дисциплины:
2017-06-29 | 629 |
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 - Не является автором материалов. Исключительное право сохранено за автором текста.
Если вы не хотите, чтобы данный материал был у нас на сайте, перейдите по ссылке: Нарушение авторских прав. Мы поможем в написании вашей работы!