Исчисление секвенций

MathProblemsBank banner

MathProblemsBank banner

Math Problems and solutions

Список задач Бесплатные задачи

Внимание! Если выбран подраздел, то поиск будет произведен в нем!

Условие: Доказать допустимость правила. \[ \frac{\Gamma, A \vdash C, \Gamma, B \vdash C}{\Gamma, A \vee B \vdash C} \]

6.1.2.1 Исчисление секвенций

60 ₽

Условие: Построить вывод секвенции в ИС: \[ (\varphi \rightarrow \psi),(\psi \rightarrow x) \vdash(\varphi \rightarrow x) . \]

6.1.2.2 Исчисление секвенций

100 ₽

Условие: Доказать выводимость формулы в исчислении секвенций: \[ \vdash(\overline{A \cdot \bar{B}}) \rightarrow(A \rightarrow B) \]

6.1.2.3 Исчисление секвенций

60 ₽

Условие: Доказать выводимость формулы в исчислении секвенций: \[ \vdash A(\bar{B} \vee C) \rightarrow(A \bar{B} \vee C) \]

6.1.2.4 Исчисление секвенций

70 ₽

Условие: Доказать выводимость формулы в исчислении секвенций: \[ \vdash(A \rightarrow B) \vee(C \rightarrow B) \rightarrow(A C \rightarrow B) \]

6.1.2.5 Исчисление секвенций

70 ₽

Условие: Доказать выводимость формулы в исчислении секвенций: \[ \vdash \overline{A \vee B} \rightarrow(\mathrm{A} \rightarrow \bar{B}) \]

6.1.2.6 Исчисление секвенций

60 ₽