Конспект лекций по предмету "Математическая логика"

Узнать цену работы по вашей теме


Отношение следование и равносильности между предложениями. Необходимое и достаточное условие

Часто встречаются такие предикаты, что из истинности одного из них следует истинность другого. Например, можно сказать, что из предиката А (х): «число х кратно 9» следует предикат В(х): «число х кратно 3», т.к. мы знаем, что при всех значениях х, при которых истинно утверждение «число х кратно 9» будет и истинно утверждение «число х кратно 3».
Определение. Предикат В (х) следует из предиката А (х), если В (х) обращается в истинное высказывание при всех тех значениях х, при которых истинен предикат А (х).
В этом случае говорят, что данные предложении находятся в отношении логического следования и обозначают: А (х) Þ В (х).
Выясним в каком отношении находятся области истинности предикатов А (х) и В (х). ТА = {9; 18; 27; …}, ТВ = {3; 6; 9; 12; 15; 18; …}. Видим, что ТА Ì ТВ.
Таким образом, А (х) Þ В (х) Û ТА Ì ТВ.
Если А (х) Þ В (х), то предикат В (х) называют необходимым условием для А (х), а предикат А (х) – достаточным условием для В (х).
Так, утверждение о том, что если число кратно 9, то оно кратно 3, можно сформулировать так: «кратность числа 9 является достаточным условием кратности числа 3» или «кратность числа 3 является необходимым условием его кратности 9».
Как и любое высказывание, предложение А (х) Þ В (х) может быть истинным либо ложным. Но так как оно может быть сформулировано в виде «всякое А (х) есть В (х)», то его истинность устанавливается путем доказательства, а то, что оно ложно – с помощью контрпримера.
Рассмотрим два предиката: А (х): «число оканчивается нулем» и В (х): «число делится на 10». Из школьного курса математики известно, что если число оканчивается нулем, то оно делится на 10. Верно и обратное. В этом случае говорят, что предложения А (х) и В (х) равносильны.
Определение. Предикаты А (х) и В (х) равносильны, если из предиката А (х) следует предикат В (х), а из предиката В (х) следует предикат.
Для обозначения отношения равносильности используется знак Û.
Высказывание А (х) Û В (х) можно прочитать так: А (х) равносильно В (х), А (х) тогда и только тогда, когда В (х), А (х) необходимое и достаточное условие для В (х), В (х) необходимое и достаточное условие для А (х).
Заметим, что А (х) Û В (х) тогда и только тогда, когда ТА = ТВ.


Не сдавайте скачаную работу преподавателю!
Данный конспект лекций Вы можете использовать для создания шпаргалок и подготовки к экзаменам.

Доработать Узнать цену работы по вашей теме
Поделись с друзьями, за репост + 100 мильонов к студенческой карме:

Пишем конспект самостоятельно:
! Как написать конспект Как правильно подойти к написанию чтобы быстро и информативно все зафиксировать.

Другие популярные конспекты:

Конспект Основные проблемы и этапы развития средневековой философии
Конспект Проблема познаваемости мира. Гносеологический оптимизм, скептицизм, агностицизм. Взаимосвязь субъекта и объекта познания
Конспект Понятие финансовой устойчивости организации
Конспект ПРОБЛЕМЫ КВАЛИФИКАЦИИ ПРЕСТУПЛЕНИЙ
Конспект Понятие мировоззрения, его уровни и структура. Исторические типы мировоззрения
Конспект Внутренняя политика первых Романовых.
Конспект Синтагматические, парадигматические и иерархические отношения в языке
Конспект Происхождение человека. Основные концепции антропосоциогенеза. Антропогенез и культурогенез.
Конспект Тема 1.2. Плоская система сходящихся сил. Определение равнодействующей геометрическим способом 13
Конспект Общая характеристика процессов сбора, передачи, обработки и накопления информации