✅ Перевірена відповідь на це питання доступна нижче. Наші рішення, перевірені спільнотою, допомагають краще зрозуміти матеріал.
Which of the following proofs are correct derivations in the sequent calculus (note that labels of the rules have been omitted).