имеем следующую формулу: ∀x (P (x) → (Q (x) ∧R (x))) ∧∃x (P (x) ∧S (x)) ∧∀x (¬S ( x) ∨¬R (x))
, на котором мы должны использовать последовательное исчисление, чтобы показать невыполнимость формулы.
Моя проблема здесь в том, что я не знаю, куда поставить Турникет Символ (= ⊢).
Если вы, ребята, можете сказать мне, где поставить ⊢ в формуле, тогда я могу использовать данные Правила, чтобы доказать невыполнение формулы.
спасибо за ваши ответы