Тест сдан на "5". Благодарю за работу))
Информация о работе
Подробнее о работе
4 Разбейте следующие предложения на две группы По какому признаку Вы это сделали
- 2 страниц
- 0 год
- 11 просмотров
- 0 покупок
Гарантия сервиса Автор24
Уникальность не ниже 50%
Фрагменты работ
Предложения 1 группы: а, в, д, е.
Предложения 2 группы: б.
Предложения разбиты на две группы по признаку истин
Отсутствует
4.
Разбейте следующие предложения на две группы. По какому признаку Вы это сделали? Запишите эти предложения, используя обозначения кванторов и высказывательных форм. а) Существуют четные числа; б) Любое четное число оканчивается на 2; в) Некоторые числа круглые; д) Найдутся натуральные числа меньшие 5; е) Для каждой пары натуральных чисел верно переместительное свойство сложения.
Теория:
Квантор — общее название для логических операций, ограничивающих область истинности какого-либо предиката и создающих высказывание.
Высказывания «для всех х» (для любого х, для каждого х) называется квантором общности и обозначается Ɐx.
Высказывание «существует х» (для некоторых х, хотя бы для одного х, найдется такое х) называется квантором существования и обозначается ∃x.
Высказывание «существует одно и только одно х» (для единственного значения х) называется квантором единственности: ∃! x.
Для того чтобы получить высказывание из многоместного предиката, надо связать кванторами каждую переменную. Например, если Р(х; у) – двухместный предикат, то
(Ɐx ∈ x)( ∃y ∈ y) Р(х; у) – высказывание. Законы де Моргана (правила де Моргана) — логические правила, связывающие пары логических операций при помощи логического отрицания. Названы в честь шотландского математика Огастеса де Моргана. В краткой форме звучат так: отрицание конъюнкции есть дизъюнкция отрицаний; отрицание дизъюнкции есть конъюнкция отрицаний. Из предложения А следует предложение В, если всякий раз, когда истинно предложение А, истинно и предложение В, данные предложения находятся в отношении логического следования. Предложения А и В равносильны, если из предложения А следует предложение В, а из предложения В следует предложение А. Теорема – это высказывание в теории, имеющее доказательство (то есть истинное в данной теории). Доказательство опирается на аксиомы, определения и другие теоремы. Прямая теорема – исходная. Обратная Теорема – теорема, условием которой служит заключение исходной (прямой) теоремы, а заключением – условие. Противоположная теорема – теорема, получающаяся путем замены условия и заключения данной исходной теоремы их отрицаниями. Теорема, противоположная обратной (контрапозитивная), для какой бы теоремы мы ни формулировали предложение, обратное противоположному, оно всегда будет теоремой, потому что имеется следующая равносильность. Эту равносильность называют законом контрапозиции.
Отсутствует
Форма заказа новой работы
Не подошла эта работа?
Закажи новую работу, сделанную по твоим требованиям
