sequentialkalkül

[michaelh]

Wie erkennt man, dass

C v A, B v C |- B v C

ein Axiom ist?

Danke im voraus!

mfg

[andras98]

Du wendest (v-l) und (v-r), die Regeln des Sequentialkalküls an und merkst dann das jeder Ast in einem Axiom, also dass mindestens ein Atom auf beiden Seiten des |- vorkommt.

Lg,
Andreas

[Lynx]

Nicht ganz. Du leitest es nur weiter ab, kommst auf andere Axiome, und zeigst damit, dass es ableitbar ist.

Es ist aber schon selbst ein Axiom weil die Menge der Formeln links des Sequentzeichens, also { C v A, B v C }, und die Menge der Formeln rechts davon, also { B v C }, ein gemeinsames Element haben, nämlich B v C.