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

Логическое следование (общий случай): .