on (англ. ) - следствие, вывод) - логическая операция, по своему применению приближенная к союзам «если… то…». Обозначается X Y (или X Y), таблица истинности:
Высказывание. Логические операции.
Эквивалентность — логическая операция. Обозначается X ? Y (или X Y), означает «X то же самое, что Y», «X эквивалентен Y», «X тогда и только тогда, когда Y». Таблица истинности:
Высказывание. Логические операции.
Высказывание. Логические операции.
Высказывание. Логические операции.
Страницы: << < 1 | 2