Question

Wie schreibt man folgende Aussage mit formalen mathematischen Symbolen?

Aussage: für jedes w aus Y[ es gibt genau 2 oder 3-viel Wörter v aus X mit f(v) = w]

Answer 1

∀ w ∈ Y ∃ v₁, v₂, v₃ ∈ X ∀ v₄ ∈ X (
    f(v₁) = w ∧ f(v₂) = w ∧ f(v₃) = w ∧ (
        (
            (v₁ ≠ v₂) ∧ (f(v₄) = w → v₄ = v₁ ∨ v₄ = v₂)
        ) ∨ (
            (v₁ ≠ v₂) ∧ (v₁ ≠ v₃) ∧ (v₂ ≠ v₃) ∧ (f(v₄) = w → v₄ = v₁ ∨ v₄ = v₂ ∨ v₄ = v₃)
        )
    )
)