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






А Б В Г Д Е Ж З И Й К Л М Н О
П Р С Т У Ф Х Ц Ч Ш Э Ю Я

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

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


Источники:

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



ПОИСК:




© FILOSOF.HISTORIC.RU 2001–2023
Все права на тексты книг принадлежат их авторам!

При копировании страниц проекта обязательно ставить ссылку:
'Электронная библиотека по философии - http://filosof.historic.ru'