![]() |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
|
Исчисление высказываний опирается на 11 аксиом и 2 простейших правила вывода. Все аксиомы являются правильными сложными высказываниями. Они разделены на 4 группы.
Система аксиом исчисления высказываний
Первая группа аксиом:
I1
I2
Вторая группа аксиом:
II
II
II
Третья группа аксиом:
II
II
II
Четвертая группа аксиом:
IV
IV
IV
Одним из важнейших понятий исчисления высказываний является понятие доказуемой формулы.
а) всякая аксиома является доказуемой формулой;
б) формула, полученная из доказуемой формулы путем применения правила подстановки, есть доказуемая формула;
в) формула , полученная из доказуемых формул
и
путем применения правила заключения, есть доказуемая формула;
г) никакая другая формула исчисления высказываний не считается доказуемой.
Процесс получения доказуемых формул называют доказательством.
Дата публикования: 2015-03-26; Прочитано: 902 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!