Hallo zusammen, vielleicht gibt es hier ja jemanden, der mir hierbei auf die Sprünge helfen kann.

Aus den beiden Prämissen 1- A→C und 2-¬(B→C) soll ¬( B→A) gefolgert werden (mit gewöhnlichen Mitteln der Einführung und Elimination).

Vielen Dank im Voraus (bin verzweifelt😭) !