Сформулировать определение логического следования. Доказать правила следования. — КиберПедия


Общие условия выбора системы дренажа: Система дренажа выбирается в зависимости от характера защищаемого...

Кормораздатчик мобильный электрифицированный: схема и процесс работы устройства...

Сформулировать определение логического следования. Доказать правила следования.



Логическое следование – это отношение, существующее между посылками и обоснованно выводимыми из них заключениями. Логическое следование относится к числу фундаментальных, исходных понятий логики, которую нередко характеризуют как науку о том, "что из чего следует".

Будучи исходным, понятие логического следования не допускает точного определения. В частности, описание его с помощью слов "видимо", "вытекает" и т.п. содержит неявный круг, поскольку последние являются синонимами слова "следует". Понятие следования обычно характеризуется путем указания его связей с другими логическими понятиями, и прежде всего с понятиями логического закона и модели.

Из высказывания А логически следует высказывание В, когда импликация "если А, то В" является частным случаем закона логики.

Важнейшие правила следования

Связь отношения логического следования с общезначимостью.

Th 1. В, тогда и только тогда, когда .

В частности, АВ тогда и только тогда, когда ╞ .

Это утверждение доказывается методом от противного.

Следствие 1. ╞В, тогда и только тогда, когда ╞ .

Следствие 2. ╞В, тогда и только тогда, когда В.

Применяя к этому следствию Th,получим:

╞В тогда и только тогда, когда ╞ .

Th 2.а) .

б) Если …,

С ,

то С.

Для сокращения записей обозначим Г любое множество формул, возможно пустое. Тогда первую Th можно сформулировать так:

Г, АВ тогда и только тогда, когда Г ╞ .

Th 3.а)ЕслиГ, АС иГ, ВС, тоГ, АÚВС.

б) ЕслиГ╞ АÚВ иГ, АС иГ, ВС, то Г╞ С.

в) Если Г, АВ иГ, АВ, то иГ ╞ А.

□ а)Пусть Г, АС (*), иГ, ВС (**),

н оГ, АÚВС.

Тогда существует набор значений атомов, входящих хотя бы в одну из формул множества ГÈ{A, В, С}, при котором все формулы множества ГÈ{A, В} имеют значение И, а формула С — значение Л.

Н о если при некотором наборе формулаАÚВ имеет значение И, то по определению дизъюнкции значение И имеет хотя бы одна из формул А или В. Если таковой является формула А, то при рассматриваемом наборе все формулы множества ГÈ{A} имеют значение И, а формула С — значение Л, значит

Г, АС., что противоречит условию (*).

Если же значение И имеет формула В, то подобным образом получим противоречие с условием (**).

б), в) доказать самостоятельно. ■

Важнейшие правила следования
Логическая операция Введение Удаление

 



Сформулировать определение линейной зависимости векторов.

Определение 1

Пусть имеем систему из n-векторов и имеем набор чисел , тогда

(1)

называется линейной комбинацией данной системы векторов с данным набором коэффициентов.

Определение 2(через нулевую линейную комбинацию)

Система векторов называется линейно зависимой, если существует такой набор коэффициентов , из которых хотя бы один не равен нулю, что линейная комбинация данной системы векторов с этим набором коэффициентов равна нулевому вектору:

.(2)

Пусть , тогда

Определение 3 (через представление одного вектора системы в виде линейной комбинации остальных)

Система векторов называется линейно зависимой, если хотя бы один из векторов этой системы можно представить в виде линейной комбинации остальных векторов этой системы.

Утверждение 1

Определения 2 и 3 эквивалентны.

 






Кормораздатчик мобильный электрифицированный: схема и процесс работы устройства...

Организация стока поверхностных вод: Наибольшее количество влаги на земном шаре испаряется с поверхности морей и океанов (88‰)...

Механическое удерживание земляных масс: Механическое удерживание земляных масс на склоне обеспечивают контрфорсными сооружениями различных конструкций...

Папиллярные узоры пальцев рук - маркер спортивных способностей: дерматоглифические признаки формируются на 3-5 месяце беременности, не изменяются в течение жизни...





© cyberpedia.su 2017-2020 - Не является автором материалов. Исключительное право сохранено за автором текста.
Если вы не хотите, чтобы данный материал был у нас на сайте, перейдите по ссылке: Нарушение авторских прав. Мы поможем в написании вашей работы!

0.006 с.