Своеобразие русской архитектуры: Основной материал – дерево – быстрота постройки, но недолговечность и необходимость деления...
Адаптации растений и животных к жизни в горах: Большое значение для жизни организмов в горах имеют степень расчленения, крутизна и экспозиционные различия склонов...
Топ:
Организация стока поверхностных вод: Наибольшее количество влаги на земном шаре испаряется с поверхности морей и океанов...
Характеристика АТП и сварочно-жестяницкого участка: Транспорт в настоящее время является одной из важнейших отраслей народного хозяйства...
Выпускная квалификационная работа: Основная часть ВКР, как правило, состоит из двух-трех глав, каждая из которых, в свою очередь...
Интересное:
Принципы управления денежными потоками: одним из методов контроля за состоянием денежной наличности является...
Инженерная защита территорий, зданий и сооружений от опасных геологических процессов: Изучение оползневых явлений, оценка устойчивости склонов и проектирование противооползневых сооружений — актуальнейшие задачи, стоящие перед отечественными...
Средства для ингаляционного наркоза: Наркоз наступает в результате вдыхания (ингаляции) средств, которое осуществляют или с помощью маски...
Дисциплины:
2017-12-13 | 281 |
5.00
из
|
Заказать работу |
|
|
Обозначим через Аи , Ви множества истинности предикатов А(х), В(х) соответственно.
Нас будут интересовать множества истинности операций над этими предикатами.
Несложно показать при помощи рассуждений, что
[А(х)⋀В(х)]и = Аи Ви, (11.1)
[А(х)⋁В(х)]и = Аи Ви, (11.2)
[⅂А(х)]и = (Аи)’, (11.3)
[A(x) →В(х)]и = [⅂А(х)⋁В(х)]и = (Аи)’ Ви. (11.4)
Логическое следование предикатов
Определение 12.1. Пусть А(х) и В(х) – два предиката с общей областью определения. Если
A(x) →В(х) = И, (12.1)
то говорят, что В(х) логически следует из А(х).
Теорема 12.1. Предикат В(х) логически следует из предиката А(х) в том и только том случае, если выполнено включение множеств истинности:
Аи Ви. (12.2)
Доказательство. См. рис. 7.1 и 7.2.
Замечание. Если выполнено соотношение (12.1), то говорят, что А(х) является достаточным условием для В(х), а В(х) является необходимым условием для А(х).
Квантор общности
Для определенности, будем в этом разделе говорить об одноместных предикатах, зависящих от переменной х; областью определения рассматриваемых предикатов считаем множество Х.
Определение 13.1. Квантором общности называют выражение
«для каждого х» (13.1)
- это краткая форма записи; либо выражение
«для каждого х Х» (13.1’)
- это подробная форма записи.
Для обозначения квантора общности используют специальный значок - перевернутую букву А (от английского слова all). В результате краткая запись приобретает вид: ( х), а подробная запись – вид: ( х Х).
Замечание. Синонимами выражения (13.1) являются следующие словосочетания: «для всех х», «для любого х», «для всякого х». Аналогичное замечание справедливо и для выражения (13.1’).
Пусть теперь P(x) – некоторый предикат; постановка квантора общности перед ним превращает его в высказывание
|
( х)P(x) (13.2)
или, в подробной записи,
( х Х)P(x). (13.2’)
Замечание. Говорят, что квантор ( х) связывает переменную х; в выражениях (13.2) и (13.2’) переменная х считается связанной (до постановки квантора ( х) эта же переменная была свободной).
Пример. Рассмотрим высказывание на естественном языке:
С: «Каждый человек носит шляпу».
Логическая структура этого предложения такова:
( х Х)P(x);
здесь Х – множество всех людей, P(x) – предикат «х носит шляпу».
Нетрудно понять, что высказывание С ложно (т.к. существуют люди, которые не носят шляпу).
Квантор существования
Определение 14.1. Квантором существования называют выражение
«существует х такой, что» (14.1)
- это краткая форма записи; либо выражение
«существует х Х такой, что» (14.1’)
- это подробная форма записи.
Замечание. В естественном языке роль квантора существования выполняют также словосочетания: «найдется х такой, что», «для некоторых х».
Для обозначения квантора существования используют специальный значок - отраженную по горизонтали букву Е (от английского слова exist). В результате краткая запись приобретает вид: ( х), а подробная запись – вид: ( х Х).
Квантор существования (как и квантор общности) связывает соответствующую переменную и превращает предикат в высказывание.
Пример. Рассмотрим высказывание:
D: «У некоторых людей четырнадцать ног».
Логическая структура этого предложения такова:
( х Х)Q(x);
здесь Х – множество всех людей, Q(x) – предикат «х имеет четырнадцать ног».
Высказывание D, очевидно, ложно, так как не существует ни одного человека с 14-ю ногами.
|
|
Папиллярные узоры пальцев рук - маркер спортивных способностей: дерматоглифические признаки формируются на 3-5 месяце беременности, не изменяются в течение жизни...
Индивидуальные и групповые автопоилки: для животных. Схемы и конструкции...
Семя – орган полового размножения и расселения растений: наружи у семян имеется плотный покров – кожура...
Поперечные профили набережных и береговой полосы: На городских территориях берегоукрепление проектируют с учетом технических и экономических требований, но особое значение придают эстетическим...
© cyberpedia.su 2017-2024 - Не является автором материалов. Исключительное право сохранено за автором текста.
Если вы не хотите, чтобы данный материал был у нас на сайте, перейдите по ссылке: Нарушение авторских прав. Мы поможем в написании вашей работы!