∀x(P(x) → (Q(x) ∧ R(x))) ∧ ∃x(P(x) ∧ S(x)) ∧ ∀x(¬S(x) ∨ ¬R(x))
ich weiß hier nicht wo ich das symbol ⊢ hinsetzen soll damit ich dann die regeln anwenden kann.
Über eine Kurze Aufklärung wo ich das Turnstile symbol hinsetzen soll wäre ich sehr erfreut.
LG