8 Кб, 202x220Импликации как отдельной логической операции не существует
Это просто дизъюнкция + коньюкция
Это просто дизъюнкция + коньюкция
Это специальная логическая операция или СЛО
>>65930 (OP)
Нет, утверждение о том, что импликации как отдельной логической операции не существует, неверно.
Импликация — одна из пяти наиболее распространённых логических связок или логических операций в классической логике, формальной логике, языках формальных теорий и языках программирования.
Импликация — это логическая операция, которая используется для образования сложных высказываний из простых и по смыслу равнозначна нестрогому условию «если…, то…», принятому в естественном языке.
Импликация записывается как A → B (высказывание A — посылка, B — следствие).
нейросеть
Логические операции - это действия с высказываниями, позволяющие их оперировать.
Нет, утверждение о том, что импликации как отдельной логической операции не существует, неверно.
Импликация — одна из пяти наиболее распространённых логических связок или логических операций в классической логике, формальной логике, языках формальных теорий и языках программирования.
Импликация — это логическая операция, которая используется для образования сложных высказываний из простых и по смыслу равнозначна нестрогому условию «если…, то…», принятому в естественном языке.
Импликация записывается как A → B (высказывание A — посылка, B — следствие).
нейросеть
Логические операции - это действия с высказываниями, позволяющие их оперировать.
184 Кб, 600x778>>65930 (OP)
Что значит «не существует как отдельной логической операции»?
Имеется в виду, что (материальную) импликацию можно выразить как (¬A∨B) и ¬(A∧¬B)? Но ведь это просто разные способы задать одну и ту же булеву функцию. Возможность выразить одну и ту же булеву функцию с помощью разных связок никак не затрагивает существование этой функции, иначе мы были бы вынуждены считать, что не существует ни отрицания, ни конъюнкции, ни дизъюнкции, так как: ¬A = A→⊥, A∨B = ¬(¬A∧¬B) = ¬A→B , A∧B = ¬(¬A∨¬B) = ¬(A→¬B) и т.д.
Если смотреть на импликацию с точки зрения теории доказательства, то такого вопроса вообще не встаёт, так как для импликации существуют уникальные правила введения и удаления, а, следовательно, существует такая связка/логическая константа.
Что значит «не существует как отдельной логической операции»?
Имеется в виду, что (материальную) импликацию можно выразить как (¬A∨B) и ¬(A∧¬B)? Но ведь это просто разные способы задать одну и ту же булеву функцию. Возможность выразить одну и ту же булеву функцию с помощью разных связок никак не затрагивает существование этой функции, иначе мы были бы вынуждены считать, что не существует ни отрицания, ни конъюнкции, ни дизъюнкции, так как: ¬A = A→⊥, A∨B = ¬(¬A∧¬B) = ¬A→B , A∧B = ¬(¬A∨¬B) = ¬(A→¬B) и т.д.
Если смотреть на импликацию с точки зрения теории доказательства, то такого вопроса вообще не встаёт, так как для импликации существуют уникальные правила введения и удаления, а, следовательно, существует такая связка/логическая константа.
Числа 2 не существует потому что 2 := succ(1)