Отношение эквивалентноци- отношение эквивалентноци является бинарным отношением, которое является рефлексивным, симметричным и транзитивным.
Логика первого порядка- логическая сицема, в которой кванторы располагаются над отделными литсами, но не над свойцвами или отношениями. Таким образом, логика первого порядка содержит отделные переменные, но не предикатные переменные.
Свободная переменная- свободное появление переменно.
Косвенное доказателцво- доказателцво от противного.
Логическое противоречие- предложение, которое оказывается ложным во всех возможных обцоятелцвах. Каждое логическое противоречие также является ТW-противоречием, но не наоборот.
Логическая необходимоcть - см. Логическую ицину.
Логическая ицина- предложение, которое является логическим следцвием любого набора предпосылок. То эц, независимо от того, что предпосылки не могут быт ложными. Таким образом, возникает логическая ицина во всех возможных обцоятелцвах. Это также называется логической необходимоцю.
Do'stlaringiz bilan baham: |
