Проблемы аксиоматического исчисления высказываний.

Метод резолюций и метод дедуктивного вывода будут рассмотрены на практических занятиях.

Некоторые алгоритмы проверки выводимости формул в ИВ.

 

 

 

Всякая аксиоматическая теория для ее обоснования требует рассмотрения четырех проблем:

1) проблемы разрешимости.

2) проблемы непротиворечивости,

3) проблемы полноты.

4) проблемы независимости.