Исчисление высказываний определяется следующим образом.
Пример 7. 
аксиом II:
Понятие предиката
Пример 8. 
Кванторы общности и существования
Пример 9.
Равносильные формулы логики предикатов
Исчисление предикатов
Аксиомы и правила вывода
2015-03-07
825Поделись с друзьями:
Понравилась статья? Добавь ее в закладку (CTRL+D) и не забудь поделиться с друзьями:
|
|
Сейчас читают про:
5918
5731