Выберите формулы, из которых в исчислении высказываний с помощью правила заключения можно вывести формулу:(A→B)→(A→A)(A→B)→(A→A) (A \rightarrow B) \rightarrow (A \rightarrow A)