Ich möchte sagen, || : wir haben β & γ durch || mit α bewiesen aber nicht B. Aber können wir denn nicht sagen, B ist einfach das logische Produkt aus α, β & γ?? Also B = α ∙ β ∙ γ?