Beweise die folgende Aufgabe im prädiaktenlogischen Kalkül!
Ɐx(Fx → Gx)x(Fx → Gx)
Ɐx(Fx → Gx)x(¬Gx)
Also: Ɐx(Fx → Gx)x(¬Fx)
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Beweise im prädikatenlogischen Kalkül!
Ɐx(Fx → Gx)x((Fx v Gx)→Hx)
Ɐx(Fx → Gx)x(Kx→¬Hx)
Km
Also: ¬ Gm
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Beweise im prädikatenlogischen Kalkül!
Ɐx(Fx → Gx)x(Bx→Ox)
Ss
Ɐx(Fx → Gx)x(Sx→Nx)
Ɐx(Fx → Gx)x(Nx→¬Os)
Also: ¬ Bs
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet der Modus Ponens (MP)?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet der Modus Tollens (MT)?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Welche logische Form hat der logische Fehlschluss Bejahung des Konsequens?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Welche logische Form hat der Fehlschluss der Verneinung des Antezedens?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Formalisiere folgendes Argument:
Ich gehe in die Mensa. Wenn ich in die Mensa gehe, dann muss ich ein Testat schreiben. Ich muss ein Testat schreiben, wenn es Montag ist. Also ist heute Montag.
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Formalisiere folgendes Argument:
Mein Tisch ist zerschnitten. Wenn ich an meinem Essay arbeiten will, muss mein Tisch nicht zerschnitten sein. Also will ich nicht an meinem Essay arbeiten.
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Formalisiere folgendes Argument:
Professor Wunsch hat Philosophie und Informatik studiert. Wenn Professor Wunsch weder Informatiker noch Philosoph wäre, dann wäre er blind. Also ist Professor Wunsch nicht blind.
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Formalisiere folgendes Argument:
Ich lese gerne Bücher von verschiedenen Autoren. Wenn ich keine Bücher lese, dann studiere ich nicht Philosophie. Also studiere ich Philosophie.
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Formalisiere folgendes Argument:
Ich freue mich auf den Philmabend der Philosophen, wenn ich Filme mag. Ich mag entweder Bücher oder Filme. Ich mag keine Bücher. Also freue ich mich auf den Philmabend.
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Formalisiere folgendes Argument:
Wasserstoff ist ein chemisches Element oder ein alkoholisches Getränk. Wenn Wasserstoff ein alkoholisches Getränk ist, dann möchte ich es trinken. Wasserstoff ist ein chemisches Element und kein alkoholisches Getränk. Also möchte ich Wasserstoff nicht trinken.
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Formalisiere das folgende Argument:
Wenn Gott allmächtig, allwissend und gütig ist, dann existiert er. Es gibt Krankheiten auf der Welt, wenn Gott nicht gütig ist. Es gibt Krankheiten auf der Welt. Also existiert Gott nicht.
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Formalisiere folgende Aussage:
Gesunde sind nicht krank.
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Formalisiere folgende Aussage:
Kein Schüler macht gerne Hausaufgaben.
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Formalisiere folgende Aussage:
Niemand ist wahrhaft glücklich.
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Formalisiere folgende Aussage:
Manch einer, der zu viel trinkt, findet nicht mehr nach Hause.
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Formalisiere folgende Aussage:
Es gibt keine roten Schwäne.
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Formalisiere folgende Aussage:
Alle kennen den Papst.
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Formalisiere folgende Aussage:
Zeus sieht alles.
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Formalisiere folgende Aussage:
Die Göttin der Liebe liebt alle.
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Formalisiere folgende Aussage:
Einige lieben die Göttin der Liebe.
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Formalisiere folgende Aussage:
Niemand liebt die Göttin der Liebe.
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Formalisiere folgende Aussage:
Anna liebt die Pferde.
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Formalisiere folgende Aussage:
Wer viel arbeitet und eisern spart, wird reich.
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Formalisiere folgende Aussage:
Morgens schwimmen nur Schüler und Rentner.
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Formalisiere folgende Aussagen:
Alle Amseln sind Vögel und bauen Nester.
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Formalisiere folgende Aussage:
Wer A sagt, muss auch B sagen.
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Formalisiere folgende Aussage:
Jede gerade Zahl ist durch 2 teilbar.
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Formalisiere folgende Aussage:
Es ist nicht alles Gold was glänzt.
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Formalisiere folgende Aussage:
Wer eine bewegliche Sache einem anderen in der Absicht wegnimmt, die Sache sich oder einem Dritten rechtswidrig zuzueignen, ist ein Dieb.
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Formalisiere folgende Aussage:
Aussagensätze haben genau einen von zwei Wahrheitswerten.
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.