Словарь по логике

Логическое ИЛИ: Двухместная логическая операция, то же самое, что дизъюнкция (см.). Название происходит от того факта, что данная операция является одним из возможных уточнений смысла естественно-языкового союза “или”.