САМОЕ удивительное знание, которое я вынес из книг о программировании.
Это ТО, что ДОСТАТОЧНО "оператора <", ну для "того мира" в котором "мы живём".
Ну и БИНАРНЫХ операций конечно же.
Потому что:
( A >= B ) def = ! ( A < B )
( A == B ) def = ! ( A < B ) & ! ( B < A )
( A <= B ) def = ( A < B ) | ( A == B )
( A != B ) def = ! ( A == B )
( A > B ) def = ! ( A <= B )
Все "остальные знания" - НЕ БЫЛИ "таким откровением".
Ну или можно иначе:
( A >= B ) def = ! ( A < B )
( A == B ) def = ! ( A < B ) & ! ( B < A )
( A <= B ) def = ( A < B ) | ( A == B )
( A > B ) def = ! ( A <= B )
( A != B ) def = ( A < B ) | ( A > B )
Понятное дело, что на операцию < накладывается следующее ограничение:
Если ( A < B ) то
! ( B < A )
-- ВСЕГДА
ИНАЧЕ - аксиоматика - НЕ РАБОТАЕТ.
Это ТО, что ДОСТАТОЧНО "оператора <", ну для "того мира" в котором "мы живём".
Ну и БИНАРНЫХ операций конечно же.
Потому что:
( A >= B ) def = ! ( A < B )
( A == B ) def = ! ( A < B ) & ! ( B < A )
( A <= B ) def = ( A < B ) | ( A == B )
( A != B ) def = ! ( A == B )
( A > B ) def = ! ( A <= B )
Все "остальные знания" - НЕ БЫЛИ "таким откровением".
Ну или можно иначе:
( A >= B ) def = ! ( A < B )
( A == B ) def = ! ( A < B ) & ! ( B < A )
( A <= B ) def = ( A < B ) | ( A == B )
( A > B ) def = ! ( A <= B )
( A != B ) def = ( A < B ) | ( A > B )
Понятное дело, что на операцию < накладывается следующее ограничение:
Если ( A < B ) то
! ( B < A )
-- ВСЕГДА
ИНАЧЕ - аксиоматика - НЕ РАБОТАЕТ.
Ну, это простая логика. Только что она дает (кроме уменьшения читабельности) и какой смысл один оператор использовать?
ОтветитьУдалитьДмитрий, а где вы прочитали, что надо "один оператор использовать"? А?
УдалитьЯ ведь про то, что В АКСИОМАТИКЕ - ОДИН можно определить, а остальные - ПРОИЗВОДНЫЕ.
"Ну, это простая логика." - счастливый Вы человек, а я вот - двадцать с копейками лет программирую и ТОЛЬКО недавно ОСОЗНАЛ это. Хотя и читал... И НЕ РАЗ...