Comments on: Übung 6, Aufgabe 5 http://philsem.nns.ch/e-learning/logik/0708/wordpress/?p=55 Weblog zur Einführung in die formale Logik [2. Jahrg.] Sat, 13 Jun 2026 11:44:37 +0000 http://wordpress.org/?v=2.2.3 By: Laura http://philsem.nns.ch/e-learning/logik/0708/wordpress/?p=55#comment-57 Laura Sat, 27 Oct 2007 16:56:03 +0000 http://philsem.nns.ch/e-learning/logik/0708/wordpress/?p=55#comment-57 Die Antwort von s0771801 ist vollkommen richtig. Ich möchte nur kurz anmerken, dass man die Negation der Folgerunsbeziehung und nicht die Negation der Menge braucht um eine Folgerungsbeziehung zu beweisen! Lg laura Die Antwort von s0771801 ist vollkommen richtig.
Ich möchte nur kurz anmerken, dass man die Negation der Folgerunsbeziehung und nicht die Negation der Menge braucht um eine Folgerungsbeziehung zu beweisen!
Lg laura

]]> By: Schuler http://philsem.nns.ch/e-learning/logik/0708/wordpress/?p=55#comment-53 Schuler Sat, 27 Oct 2007 13:52:21 +0000 http://philsem.nns.ch/e-learning/logik/0708/wordpress/?p=55#comment-53 Die Aufgabe, die du ansprichst, lautet vollständig in etwa wie folgt: 1. Wenn p, dann q. 2. p 3. Also q (!!! Dies hast du nicht erwähnt) Um zu beweisen, dass dies gilt, musst du folgenden Baum entwickeln: 1. p → q 2. p 3. ¬ q Denn so wird die ursprüngliche Formel verneint. Die Aufgabe, die du ansprichst, lautet vollständig in etwa wie folgt:
1. Wenn p, dann q.
2. p
3. Also q (!!! Dies hast du nicht erwähnt)

Um zu beweisen, dass dies gilt, musst du folgenden Baum entwickeln:
1. p → q
2. p
3. ¬ q
Denn so wird die ursprüngliche Formel verneint.

]]> By: s0771801 http://philsem.nns.ch/e-learning/logik/0708/wordpress/?p=55#comment-52 s0771801 Sat, 27 Oct 2007 10:00:50 +0000 http://philsem.nns.ch/e-learning/logik/0708/wordpress/?p=55#comment-52 Schau mal auf Folie 11 der Vorlesung 6 dort heisst es: Wenn Z die Konklusion eines gültigen Schlusses mit den Prämissen X und Y ist, dann folgt Z aus M={X,Y}, also gilt: M ⇒ Z * folgt Z aus der Konjunktion der Prämissen, also gilt: (X∧Y)⇒Z und ⊢X∧Y→Z * Beachte: Man kann nicht schreiben „⊢ M → Z“, denn „M → Z“ ist keine AL-Formel und daher nach der obigen Definition keine (aussagenlogische) Tautologie. Eine Menge ist demnach als eine Formel aus zudrücken indem mann alle Elemente in einer Konjunktion aneinander hängt; die Negation einer Menge ist die Negation dieser Konjunktion. Schau mal auf Folie 11 der Vorlesung 6

dort heisst es:

Wenn Z die Konklusion eines gültigen Schlusses mit den Prämissen
X und Y ist, dann

folgt Z aus M={X,Y}, also gilt: M ⇒ Z *

folgt Z aus der Konjunktion der Prämissen, also gilt:
(X∧Y)⇒Z und ⊢X∧Y→Z

* Beachte: Man kann nicht schreiben „⊢ M → Z“, denn „M → Z“ ist
keine AL-Formel und daher nach der obigen Definition keine
(aussagenlogische) Tautologie.

Eine Menge ist demnach als eine Formel aus zudrücken indem mann alle Elemente in einer Konjunktion aneinander hängt;
die Negation einer Menge ist die Negation dieser Konjunktion.

]]>