Aussagenlogik/Aussage/Ableitungskette/Beispiel

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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 3 und 4),
  7. (Implikation auf 5 und 6).