самодистрибутивность
Смотреть что такое "самодистрибутивность" в других словарях:
дедукции теорема — ДЕДУКЦИИ ТЕОРЕМА (от лат. deductio выведение) утверждение о свойствах логической теории. Д. т. гласит: «Если имеется вывод Г, А ( В, то имеется также и вывод Г J А > В, где > знак импликации, Г произвольное (возможно пустое)… … Энциклопедия эпистемологии и философии науки
