Нужно решить пример, вопрос звучит так: Проаналізувати схему дедуктивного умовиводу засобами логіки висловлень. Вариант1

Вариант 17

вообще то категорию выбирал что надо, как так получилось не знаю