Zum Inhalt springen

Aussagenlogik/Aussage/Ableitungskette/Beispiel

Aus Wikiversity

Eine Ableitungskette für

sieht folgendermaßen aus.

  1. (Aussagenvariable),
  2. (Aussagenvariable),
  3. (Aussagenvariable),
  4. (Negation auf 2),
  5. (Konjunktion auf 1 und 3),
  6. (Disjunktion auf 4 und 3),
  7. (Implikation auf 5 und 6).