Wurde so eins gefunden und irgendwo hinterlegt? Danke und schöne Ferien
Hallo, Hey, ich hab total Mühe mit den Formalisierungen. Folgende Aufgaben vom Übungsblatt 7 bringen mich um lange Fingernägel: z.B. bei 1.(n) wieso wäre nicht auch (nicht p oder r –> nicht q), bei gleichen Satzkonstanten wie in der Musterlösung, zulässig? oder 1.(o) wieso wäre es falsch so zu formalisieren, dass der Versuch, eine falsche […]
Kurze Frage zur Baumauflösung in Schritt 10 (Musterlösung): Wird dort bei der Beseitigung des Allquantors (aus Schritt 4) „b“ für „x“ gewählt, weil in Schritt 9 „Qb“ steht? Oder anders gefragt könnte man den Allquantor auch mit „a“ auflösen?
Könnte man Aufgabe 2.c, Übungsblatt 11 auch folgendermassen formalisieren: AxEy ( (Px^Qy) –> Rxy) (Mit denselben Prädikatkonstanten wie in der Musterlösung)
Hallo, ich habe folgende Frage zum prädikatenlogischen Beth-Kalkül: Angenommen, auf dem Ast eines Baumes befindet sich im oberen Bereich der Ausdruck „Für alle x gilt: Px“. Weiter unten auf dem selben Ast steht nun der Ausdruck „Es gibt ein x für das gilt: Nicht-Px“. Offensichtlich widersprechen sich beide Aussagen. Der obere Ausdruck wird durch Allbeseitigung […]
Muessen wir die lateinischen Begriffe fuer Fehlschluesse auswendig koennen?
Können f.), g.) und h.) auch mit einem negierten Bikonditional (=ausschliessendes oder) gelöst werden? Wenn nein, warum geht dies hier nicht und warum handelt es sich bei h.) nur um ein einfaches Konditional?
Ich wollte noch fragen, betreffend der Beziehung zwischen AL- und PL-Formeln ist. Ich habe begriffen, dass: Wenn AL-Tautologie –> PL-Tautologie (aber nicht umgekehrt) Nun stellen sich mir folgende Frage: „Gibt es AL-Kontradiktionen, die PL erfüllbar sind?“ oder anders ausgedrückt: „Sind AL-Kontradiktionen immer PL-Kontradiktionen?“ Danke im Voraus G.
Aufgabe 1.2 Warum ist c) nicht richtig? Es gibt zwar keine äquivalente Aussage, aber die Struktur scheint mir trotzdem zu stimmen. Aufgabe 1.3 Warum ist b) nicht richtig? Es gibt zwar keine äquivalente Aussage, aber die Struktur scheint mir trotzdem zu stimmen.