Русско-белорусский математический словарь

ДЕДУКЦИИ ТЕОРЕМА

дэдукцыі тэарэма

  1. дедукции теорема—общее название ряда теорем позволяющих устанавливать доказуемость импликации в случае когда дан логический вывод формулы Виз формулы А.i В простейшем случае классического...Математическая энциклопедия
  2. дедукции теорема—ДЕДУКЦИИ ТЕОРЕМА ДЕДУКЦИИ ТЕОРЕМА метатеоретическое утверждение о формальной логической теории исчислении Т в соответствии с которым существование в исчислении Т вывода ...Философская энциклопедия
  3. дедукции теорема—ДЕДУКЦИИ ТЕОРЕМА от лат. deductio выведение утверждение о свойствах логической теории. Д. т. гласит Если имеется вывод Г А В то имеется также и вывод Г J А ampGT emВ г...Энциклопедия эпистемологии и философии науки