 |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
Система аксиом исчисления высказываний
|
|
Первая группа аксиом:
I1 
I2 
Вторая группа аксиом:
II 
II 
II 
Третья группа аксиом:
II 
II 
II 
Четвертая группа аксиом:
IV 
IV 
IV 
Одним из важнейших понятий исчисления высказываний является понятие доказуемой формулы. Сначала определим это понятие как интуитивное, которое будет необходимо для определения двух простейших правил вывода. Под доказуемой формулой будем понимать формулу, получаемую из аксиом путем применения некоторых правил вывода. Теперь определим простейшие правила вывода.
Дата публикования: 2015-01-10; Прочитано: 248 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!
