Quiz: Aussagenlogik

Quiz zur Aussagenlogik:

In diesem Quiz werden Fragen zur Aussagenlogik gestellt. Dabei kommen Wahrheitstafeln, Konjunktive/Disjunktive Normalformen, Infix- und Präfixnotation vor.

Für dieses Quiz wird folgendes festgelegt:

  • Man kann folgende Zeichen gleichbedeutend nutzen. Je nach Konvention oder Belieben wird beispielsweise für ein logisches Und „∧“ oder „⋅“ genutzt.
    • „AND“ = „⋅“ = „∧“ = logisches Und/Konjunktion
    • „OR“ = „∨“ = logisches (nicht ausschließendes) Oder/Disjunktion
    • „IF“ = „→“ = „⊃“ = Implikation/Subjunktion/Konditional/hinreichend für
    • „NOT“ = „¬“ = „∼“ = Nicht / Verneinung/Negation
    • „XOR“ = „›‹“ = ausschließendes Oder / Kontravalenz
    • „NOR“ = „↓“ = weder noch / Peirce-Funktion
    • „NAND“ = „Ι“ = nicht und / Shefferfunktion
    • „IF AND IF ONLY“ = „↔“ = Bikonditional/Bisubjunktion/Äquivalenz
    • FALSUM = „⊥“ / Antilogie / Kontradiktion
    • VERUM = „Τ“ / Tautologie
  • Die Bindungsstärke nimmt ab: ¬, ∧, ∨, →

Zur Prädikatenlogik gibt es hier ein Video:

Das Quiz besteht aus 11 Fragen.

Testen Sie Ihr Wissen über Aussagenlogik!


Bestenliste: Aussagenlogik

maximal 35 Punkte
Platz Name Eingetragen am Punkte Ergebnis
Tabelle wird geladen
Keine Daten verfügbar

Bildrechte Artikelbild: eigenes Werk, gemeinfrei, CC-C0

Schreiben Sie einen Kommentar

Ihre E-Mail-Adresse wird nicht veröffentlicht. Erforderliche Felder sind mit * markiert

Diese Website verwendet Akismet, um Spam zu reduzieren. Erfahren Sie mehr darüber, wie Ihre Kommentardaten verarbeitet werden .