Чек-лист по логике

Каждый блок объединяет лингвистический, философский, математический и физический смыслы.

1. Дизъюнкция (ИЛИ / OR)

• Перевод с латыни: Разъединение или разделение.
• Философское пояснение: Соответствие, выражающее выбор между доступными альтернативами.
• Математическая операция: Сложение (\(+\) или \(\lor \)).
• Физическое выражение: Смеситель. Поток на выходе появляется тогда, когда открыт хотя бы один (любой) из подводящих кранов.

2. Инверсия (НЕ / NOT)

• Перевод с латыни: Переворачивание.
• Философское пояснение: Отрицание и жесткое противопоставление одного состояния другому.
• Математическая операция: Вычитание из максимума (\(1 - x\)).
• Физическое выражение: Рычаг. Принцип противовеса: когда один конец рычага принудительно поднимается вверх, противоположный конец обязательно опускается вниз.

3. Конъюнкция (И / AND)

• Перевод с латыни: Соединение.
• Философское пояснение: Объединение, требующее обязательной синхронности всех условий.
• Математическая операция: Умножение (\(\cdot \) или \(\land \)).
• Физическое выражение: Клапан / Два последовательных крана. Поток по трубе пойдет только в том случае, если открыты оба крана одновременно. Закрытие любого из них полностью блокирует систему.

4. Импликация (ЕСЛИ..., ТО / Imp)

• Перевод с латыни: Сплетение или вовлечение (спутанность).
• Философское пояснение: Следование, отражающее строгую причинно-следственную связь.
• Математическая операция: Деление (в многозначных и троичных логиках рассчитывается как отношение \(\min(1, B/A)\)).
• Физическое выражение: Храповик. Механизм, который свободно пропускает движение вперед (из истины в истину или из лжи), но намертво блокирует обратный ход (попытку получить ложь из истины).

5. Эквивалентность (ТОГДА И ТОЛЬКО ТОГДА / Eqv)

• Перевод с латыни: Равнозначность.
• Философское пояснение: Равноценность и полное тождество двух состояний.
• Математическая операция: Равенство (\(=\) или \(\equiv \)).
• Физическое выражение: Балансир / Весы. Система находится в идеальном равновесии (выдает истину) только тогда, когда обе чаши весов либо абсолютно пусты, либо заполнены одинаково. Любой дисбаланс входов мгновенно нарушает равновесие.