Философская энциклопедия - дедукции теорема
Дедукции теорема
ДЕДУКЦИИ ТЕОРЕМА
ДЕДУКЦИИ ТЕОРЕМА — метатеоретическое утверждение о формальной логической теории (исчислении) Т, в соответствии с которым существование в исчислении Т вывода логического формулы В из называемых гипотезами формул Ai, Ai, ..., А„ (символически: Αι. Αι, ., АП .
Рейтинг статьи:
Вопрос-ответ:
Что такое дедукции теорема
Значение слова дедукции теорема
Что означает дедукции теорема
Толкование слова дедукции теорема
Определение термина дедукции теорема
dedukcii teorema это
Ссылка для сайта или блога:
Ссылка для форума (bb-код):