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