Исчисление высказываний определяется следующим образом.
Пример 7. 
аксиом II:
Понятие предиката
Пример 8. 
Кванторы общности и существования
Пример 9.
Равносильные формулы логики предикатов
Аксиомы и правила вывода
2015-03-07
841Поделись с друзьями:
|
|
Сейчас читают про:
8500
8179