Hey,
ich sitze seit Stunden an der selben Aufgabe und komme einfach nicht auf das Ergebnis, ich hoffe einer kann mir weiterhelfen. Bin schon über Tipps froh
((A → B) → (A → C)) ≡ (A → (B → C))
Wir sollen zeigen dass die beiden Ausdrücke semantisch äquivalent sind ohne Wahrheitstafeln. Das heißt ich muss eine Seite so umformen dass man sieht dass sie gleich sind.. Hat jemand eine Idee? Hab schon alles probiert was ich weiß.. Vielen Dank