Задачи и упражнения. 1. Выполнить подстановку

1. Выполнить подстановку:

a) ;

b) ;

c) _.

2. Доказать выводимость в исчислении высказываний:

а) ├─ ;

б) ├─

в) ├─

г) ├─

д) ├─

е) ├─ .

3. Выводимы ли в исчислении высказываний следующие формулы:

а)

б)

в)

г)

д)

е)

4. С помощью алгоритма Квайна и алгоритма редукции доказать тождественную истинности аксиом исчисления высказываний.

5. Проверить на противоречивость множество хорновских дизъюнктов

S ={ }.

6. Выводимость заключения по методу резолюции:

а)

б)

в)