voobonaolor

15.01.2020 12:13 •  Другие предметы

1) Докажите, что имеют место следующая выводимость, построив соответствующие выводы из гипотез 2)Используя теорему о дедукции, докажите следующую выводимость

3)Используя метод резолюции, докажите, что справедлива следующая выводимость.