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: https://www.youtube.com/watch?v=jpgnFSL8yPc

Das Quiz besteht aus 11 Fragen.

Testen Sie Ihr Wissen über Aussagenlogik!


Leaderboard: Aussagenlogik

maximum of 35 points
Pos. Name Entered on Points Result
Table is loading
No data available

Bildrechte Artikelbild: eigenes Werk, gemeinfrei, CC-C0

Kommentieren