Логическое двоякое условие
- Двоичное условие — логическая операция над двумя логическими значениями, обычно значениями предложений.
- Оно выдает значение true, когда оба операнда ложны или оба операнда истинны.
- Двоичное условие имеет правила вывода, определяющие его использование в формальных доказательствах.
- Введение с двумя условиями позволяет сделать вывод, что если B следует из A и A следует из B, то A тогда и только тогда, когда B.
- Двузначное исключение позволяет вывести условное из двузначного: если A ∈ B истинно, то можно сделать вывод либо A → B, либо B → A.
- В разговорном употреблении, двоякое условие может быть сформулировано как «b, если a, и a, если b» или «a необходимо и достаточно для b».
Полный текст статьи: