0 Daumen
101 Aufrufe

∀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

von

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Stacklounge! Stell deine Frage sofort und kostenfrei

x
Made by a lovely community