Kann mir jemand bei dieser "Natürlichen Deduktion"- Aufgabe helfen (Aussagenlogik) A→C, ¬(B→C) : ¬( B→A)?
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😭) !
Formel,
Logik,
Philosophie,
Aussagenlogik,
Beweis