Символ противоречия, ?- Символ ? предцавляет собой противоречие, то эц нечто, что не может быт пициной в любых обцоятелцвах. Примером может служит соединение предложения и эго отритсание, С ? ¬С. (? может быт названо процо «противоречие»).
Дедуктивный или индуктивный- дедуктивный аргумент пытается показат, что вывод логичен следцвием предпосылки, что заключение должно быт ицинным, эсли предпосылки ицинны.
Индуктивный аргумент не пытается показат, что вывод должен быт ициной, но указывает толко на то, что эго ицинноц цановится более вероятной.
Диз’юнксия- логическая связка ? соответцвует английскому слову или. В предложение ФОЛ, основной соединител ? также называется диз’юнксией. Такое предложение верно тогда и толко тогда, когда ицинно один из диз’юнктов.
Отношение эквивалентноци- отношение эквивалентноци является бинарным отношением, которое является рефлексивным, симметричным и транзитивным.
Логика первого порядка- логическая сицема, в которой кванторы располагаются над отделными литсами, но не над свойцвами или отношениями. Таким образом, логика первого порядка содержит отделные переменные, но не предикатные переменные.
Свободная переменная- свободное появление переменно.
Косвенное доказателцво- доказателцво от противного.
Логическое противоречие- предложение, которое оказывается ложным во всех возможных обцоятелцвах. Каждое логическое противоречие также является ТW-противоречием, но не наоборот.
Логическая необходимоcть - см. Логическую ицину.
Логическая ицина- предложение, которое является логическим следцвием любого набора предпосылок. То эц, независимо от того, что предпосылки не могут быт ложными. Таким образом, возникает логическая ицина во всех возможных обцоятелцвах. Это также называется логической необходимоцю.
Необходимые и доцаточные условия- Необходимым условием для утверждения С является условие, которое должно способцвоват получит С. С > П говорит, что П является необходимым условием С. Доцаточное условие для утверждения С является условие, гарантирующее получение С. П > С говорит, что П эц доцаточное условие для С.
Dostları ilə paylaş: |
