Отношение следование и равносильности между предложениями. Необходимое и достаточное условие
Отношение следование и равносильности между предложениями. Необходимое и достаточное условие - Лекция, раздел Математика, Глава 1. Высказывания
Часто Встречаются Такие Предикаты, Что Из Истинности Одного И...
Часто встречаются такие предикаты, что из истинности одного из них следует истинность другого. Например, можно сказать, что из предиката А (х): «число х кратно 9» следует предикат В(х): «число х кратно 3», т.к. мы знаем, что при всех значениях х, при которых истинно утверждение «число х кратно 9» будет и истинно утверждение «число х кратно 3».
Определение. Предикат В (х) следует из предиката А (х), если В (х) обращается в истинное высказывание при всех тех значениях х, при которых истинен предикат А (х).
В этом случае говорят, что данные предложении находятся в отношении логического следования и обозначают: А (х) Þ В (х).
Выясним в каком отношении находятся области истинности предикатов А (х) и В (х). ТА = {9; 18; 27; …}, ТВ = {3; 6; 9; 12; 15; 18; …}. Видим, что ТАÌ ТВ.
Таким образом, А (х) Þ В (х) Û ТАÌ ТВ.
Если А (х) Þ В (х), то предикат В (х) называют необходимым условием для А (х), а предикат А (х) – достаточным условием для В (х).
Так, утверждение о том, что если число кратно 9, то оно кратно 3, можно сформулировать так: «кратность числа 9 является достаточным условием кратности числа 3» или «кратность числа 3 является необходимым условием его кратности 9».
Как и любое высказывание, предложение А (х) Þ В (х) может быть истинным либо ложным. Но так как оно может быть сформулировано в виде «всякое А (х) есть В (х)», то его истинность устанавливается путем доказательства, а то, что оно ложно – с помощью контрпримера.
Рассмотрим два предиката: А (х): «число оканчивается нулем» и В (х): «число делится на 10». Из школьного курса математики известно, что если число оканчивается нулем, то оно делится на 10. Верно и обратное. В этом случае говорят, что предложения А (х) и В (х) равносильны.
Определение. Предикаты А (х) и В (х) равносильны, если из предиката А (х) следует предикат В (х), а из предиката В (х) следует предикат.
Для обозначения отношения равносильности используется знак Û.
Высказывание А (х) Û В (х) можно прочитать так: А (х) равносильно В (х), А (х) тогда и только тогда, когда В (х), А (х) необходимое и достаточное условие для В (х), В (х) необходимое и достаточное условие для А (х).
Заметим, что А (х) Û В (х) тогда и только тогда, когда ТА= ТВ.
Понятие множества. Элемент множества. Пустое множество
Множество – основное понятие математики и поэтому не определяется через другие.
Обычно под множеством понимают совокупность предметов, объединенных по общему признаку. Так, можно говорить
Число элементов объединения двух и трех конечных множеств
В математике часто приходится решать задачи, в которых требуется определить число элементов в множестве, либо в объединении или пересечении множеств.
Условимся число элемен
Упорядоченная пара. Декартово произведение двух множеств
Рассмотрим задачу: используя цифры 1, 2, 3, образуйте все возможные двузначные числа.
Запись каждого числа состоит из двух цифр, причем существенен порядок их следования (ч
Взаимно однозначное соответствие
Определение. Отображением f множества Х в множество Y называется такое соответствие между множествами Х и Y, при котором каждому элемен
Виды функций
1. Постоянная функция.
Определение. Постоянной называется функция, заданная формулой у = b, где b - некоторое число.
Обратная функция
Пусть функция у = f (х) задает инъективное отображение числового множества Х в множество действительных чисел R (т.е. различным значения
Свойства отношений
Отношение, заданное на множестве, может обладать рядом свойств, а именно:
1. Рефлексивность
Определение. Отношение R на множестве Х
Отношение порядка. Упорядоченные множества
Определение. Отношение R на множестве Х называется отношением порядка, если оно транзитивно и асимметрично или антисимметрично.
Определение. Отн
Высказывания с кванторами и их отрицания
Если задан предикат, то, чтобы превратить его в высказывание, достаточно вместо каждой из переменных, входящих в предикат, подставить ее значение.
Например, если на множестве натуральных ч
Строение и виды теорем
Теорема – это высказывание, истинность которого устанавливается посредством рассуждения (доказательства).
С логической точки зрения теорема представляет собой высказывание вида А &T
Определение понятия. Требования к определению понятия
Появление в математике новых понятий, а значит, и новых терминов, обозначающих эти понятия, предполагает их определение.
Определением обычно называют предложение, разъясняющее суть нового
Умозаключения и их виды
Умозаключение (рассуждение) – это способ получения нового знания на основе некоторого имеющегося.
Умозаключение состоит из посылок и заключения.
Посылки – это выск
Схемы дедуктивных умозаключений
Умозаключение дает истинное заключение, если исходные посылки истинны и соблюдены правила вывода, или, как их еще называют, схемы дедуктивных умозаключений.
Рассмотрим наиб
Проверка правильности умозаключений
В логике существуют различные способы проверки правильности умозаключений.
Один из них – с использованием кругов Эйлера. Данное умозаключение вначале записывают на теоретико-множественном
Способы математического доказательства
Доказать какое-либо утверждение – это значит показать, что это утверждение логически следует из системы истинных и связанных утверждений.
В логике считают, что если рассматриваемое утвержд
Хотите получать на электронную почту самые свежие новости?
Подпишитесь на Нашу рассылку
Наша политика приватности обеспечивает 100% безопасность и анонимность Ваших E-Mail
Новости и инфо для студентов