История развития хранилищ для нефти: Первые склады нефти появились в XVII веке. Они представляли собой землянные ямы-амбара глубиной 4…5 м...
Таксономические единицы (категории) растений: Каждая система классификации состоит из определённых соподчиненных друг другу...
Топ:
Отражение на счетах бухгалтерского учета процесса приобретения: Процесс заготовления представляет систему экономических событий, включающих приобретение организацией у поставщиков сырья...
Оценка эффективности инструментов коммуникационной политики: Внешние коммуникации - обмен информацией между организацией и её внешней средой...
Выпускная квалификационная работа: Основная часть ВКР, как правило, состоит из двух-трех глав, каждая из которых, в свою очередь...
Интересное:
Как мы говорим и как мы слушаем: общение можно сравнить с огромным зонтиком, под которым скрыто все...
Лечение прогрессирующих форм рака: Одним из наиболее важных достижений экспериментальной химиотерапии опухолей, начатой в 60-х и реализованной в 70-х годах, является...
Средства для ингаляционного наркоза: Наркоз наступает в результате вдыхания (ингаляции) средств, которое осуществляют или с помощью маски...
Дисциплины:
2017-06-29 | 666 |
5.00
из
|
Заказать работу |
|
|
Логическое следование – это отношение, существующее между посылками и обоснованно выводимыми из них заключениями. Логическое следование относится к числу фундаментальных, исходных понятий логики, которую нередко характеризуют как науку о том, "что из чего следует".
Будучи исходным, понятие логического следования не допускает точного определения. В частности, описание его с помощью слов "видимо", "вытекает" и т.п. содержит неявный круг, поскольку последние являются синонимами слова "следует". Понятие следования обычно характеризуется путем указания его связей с другими логическими понятиями, и прежде всего с понятиями логического закона и модели.
Из высказывания А логически следует высказывание В, когда импликация "если А, то В" является частным случаем закона логики.
Важнейшие правила следования
Связь отношения логического следования с общезначимостью.
Th 1. ╞ В, тогда и только тогда, когда ╞ .
В частности, А ╞ В тогда и только тогда, когда ╞ .
Это утверждение доказывается методом от противного.
Следствие 1. ╞В, тогда и только тогда, когда ╞ .
Следствие 2. ╞В, тогда и только тогда, когда ╞ В.
Применяя к этому следствию Th, получим:
╞В тогда и только тогда, когда ╞ .
Th 2. а) ╞ .
б) Если ╞ …, ╞
╞ С,
то ╞ С.
Для сокращения записей обозначим Г любое множество формул, возможно пустое. Тогда первую Th можно сформулировать так:
Г, А ╞ В тогда и только тогда, когда Г ╞ .
Th 3. а)ЕслиГ, А ╞ С иГ, В ╞ С, тоГ, А Ú В ╞ С.
б) ЕслиГ╞ А Ú В иГ, А ╞ С иГ, В ╞ С, то Г╞ С.
в) Если Г, А ╞ В иГ, А ╞ В, то иГ ╞ А.
□ а)Пусть Г, А ╞ С (*), иГ, В ╞ С (**),
|
н оГ, А Ú В ╞ С.
Тогда существует набор значений атомов, входящих хотя бы в одну из формул множества ГÈ{ A, В, С }, при котором все формулы множества ГÈ{ A, В } имеют значение И, а формула С — значение Л.
Н о если при некотором наборе формула А Ú В имеет значение И, то по определению дизъюнкции значение И имеет хотя бы одна из формул А или В. Если таковой является формула А, то при рассматриваемом наборе все формулы множества ГÈ{ A } имеют значение И, а формула С — значение Л, значит
Г, А ╞ С., что противоречит условию (*).
Если же значение И имеет формула В, то подобным образом получим противоречие с условием (**).
б), в) доказать самостоятельно. ■
Важнейшие правила следования | ||
Логическая операция | Введение | Удаление |
→ | → | |
→ | → | |
→ | → | |
→ | → | |
→ | → |
Сформулировать определение линейной зависимости векторов.
Определение 1
Пусть имеем систему из n-векторов и имеем набор чисел , тогда
(1)
называется линейной комбинацией данной системы векторов с данным набором коэффициентов.
Определение 2 (через нулевую линейную комбинацию)
Система векторов называется линейно зависимой, если существует такой набор коэффициентов , из которых хотя бы один не равен нулю, что линейная комбинация данной системы векторов с этим набором коэффициентов равна нулевому вектору:
. (2)
Пусть , тогда
Определение 3 ( через представление одного вектора системы в виде линейной комбинации остальных)
Система векторов называется линейно зависимой, если хотя бы один из векторов этой системы можно представить в виде линейной комбинации остальных векторов этой системы.
Утверждение 1
Определения 2 и 3 эквивалентны.
|
|
История развития хранилищ для нефти: Первые склады нефти появились в XVII веке. Они представляли собой землянные ямы-амбара глубиной 4…5 м...
Адаптации растений и животных к жизни в горах: Большое значение для жизни организмов в горах имеют степень расчленения, крутизна и экспозиционные различия склонов...
Типы сооружений для обработки осадков: Септиками называются сооружения, в которых одновременно происходят осветление сточной жидкости...
Биохимия спиртового брожения: Основу технологии получения пива составляет спиртовое брожение, - при котором сахар превращается...
© cyberpedia.su 2017-2024 - Не является автором материалов. Исключительное право сохранено за автором текста.
Если вы не хотите, чтобы данный материал был у нас на сайте, перейдите по ссылке: Нарушение авторских прав. Мы поможем в написании вашей работы!