Додати до Chrome
✅ Перевірена відповідь на це питання доступна нижче. Наші рішення, перевірені спільнотою, допомагають краще зрозуміти матеріал.
Given formula φ. Assume that ⊢φ has a derivation in the sequent calculus such that all leaves are axioms. Then φ is ...
refutable
unsatisfiable
valid
satisfiable, but not valid
Отримайте необмежений доступ до відповідей на екзаменаційні питання - встановіть розширення Crowdly зараз!