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😭) !
1 Antwort
Vom Beitragsersteller als hilfreich ausgezeichnet
Von gutefrage auf Grund seines Wissens auf einem Fachgebiet ausgezeichneter Nutzer
Formel, Mathematik
(bin verzweifelt😭) !
Ehrlich gesagt: Ich auch. Bevor ich mich solchen Ausdrücken mit den Mitteln der Aussagenalgebra nähere mache ich immer einen kleinen Test mit einer Wahrheitstabelle. Mit drei Variablen ist das ja kein großes Ding.
Bei dieser Aufgabe sehe ich aber einen Widerspruch für
A=falsch, B=wahr und C=wahr
Darum kann auch der algebraische Beweis nicht gelingen.
Woher ich das weiß:Studium / Ausbildung
