Додати до Chrome
✅ Перевірена відповідь на це питання доступна нижче. Наші рішення, перевірені спільнотою, допомагають краще зрозуміти матеріал.
The validity of the formula P → S can also be proven by showing that
P ∧ ¬S is satisfiable
(P ∨ S) is satisfiable
Отримайте необмежений доступ до відповідей на екзаменаційні питання - встановіть розширення Crowdly зараз!