Beiträge von: Phillies_Achim

In der Übung 8 habe ich das Baumkalkül so gelöst, dass ich die Elemente der Menge und die Konklusion einzeln (untereinander) aufgeführt habe. Dann muss natürlich nicht die ganze Formel (deren Generierung man sich bei dem Vorgehen erspart) negiert werden, sondern nur die Konklusion. Dieses Vorgehen ist einfacher, übersichtlicher und führt zu den richtigen Ergebnissen.

Warum ist auf dem Übungsblatt 6 in Aufgabe 2 bei (c) nicht M richtig? Hier wird doch in der Metasprache Deutsch eine Aussage über eine andere Sprache (Russisch) gemacht.