Aussagenlogik semantische Folgerung

Question

Zeigen, ob die aussagenlogische semantische Folgerung gilt:
aus {A, A ∧ B, C ⇒ A} folgt semantisch B ∧ A ⇒ C