![]() |
![]() |
||
![]() |
П Р С Т У Ф Х Ц Ч Ш Э Ю Я исчисление предикатовИсчисление предикатов - расширение исчисления высказываний путем формализации выводов, основывающихся на внутренней структуре высказываний. Понятие формулы и. п. расширяется путем введения понятия предиката от одного или нескольких предметных переменных. Источники:
|
|
|
![]() | |||
![]() | |||
© FILOSOF.HISTORIC.RU 2001–2021 Все права на тексты книг принадлежат их авторам! При копировании страниц проекта обязательно ставить ссылку: 'Электронная библиотека по философии - http://filosof.historic.ru' Сайт создан при помощи Богданова В.В. (ТТИ ЮФУ в г.Таганроге) |