Построение исчисления высказываний

[ISS]

Такой вопрос:
Пусть дано утверждение
$\vdash(A \to B) \to (\neg B \to \neg A)$
могу ли я, например для записи аксиомы 2 взять за А $(A \to B) $ и за B $ (A \to B)$, или нельзя брать одно и то же выражение за разные буквы?

[evalquote]

Можно.