Докажите выводимость заключения по принципу резолюции: в числителе A→B); (C→D); (A→C); (A→˥D); (C→˥D) в знаменателе (D↔˥B).

заключения. Если из множества предложений следует противоречие, следовательно, отрицание заключения ложно = заключение истинно.

1)

2)