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

(Строгаяч импликация): .