исчисление предикатов

Исчисление предикатов - расширение исчисления высказываний путем формализации выводов, основывающихся на внутренней структуре высказываний. Понятие формулы и. п. расширяется путем введения понятия предиката от одного или нескольких предметных переменных.

Источники:

Философский словарь / Под ред. И.Т. Фролова. - 4-е изд.-М.: Политиздат, 1981. - 445 с.

© Алексей Злыгостев, дизайн, подборка материалов, разработка ПО 2001–2017
Все права на тексты книг принадлежат их авторам!
При копировании страниц проекта обязательно ставить ссылку:
'Электронная библиотека по философии - http://filosof.historic.ru'
Сайт создан при помощи Богданова В.В. (ТТИ ЮФУ в г.Таганроге)




Библиотека Новые поступления Словарь Карта сайтов Ссылки

	А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я исчисление предикатов Исчисление предикатов - расширение исчисления высказываний путем формализации выводов, основывающихся на внутренней структуре высказываний. Понятие формулы и. п. расширяется путем введения понятия предиката от одного или нескольких предметных переменных. Источники: Философский словарь / Под ред. И.Т. Фролова. - 4-е изд.-М.: Политиздат, 1981. - 445 с.


© Алексей Злыгостев, дизайн, подборка материалов, разработка ПО 2001–2017 Все права на тексты книг принадлежат их авторам! При копировании страниц проекта обязательно ставить ссылку: 'Электронная библиотека по философии - http://filosof.historic.ru' Сайт создан при помощи Богданова В.В. (ТТИ ЮФУ в г.Таганроге)