术语 对于主题 逻辑 包含 в

俄语	法语
в дедуктивном отношении	déductivement (Alex_Odeychuk)
в форме дерева	arborescent
включать в группу	subsumer
включать в класс	subsumer
включение в класс	subsomption
вторая посылка в силлогизме	assomption
выявить противоречия в рассуждениях	détecter les contradictions (Alex_Odeychuk)
выявить противоречия в утверждениях	détecter les contradictions (Alex_Odeychuk)
доказательство в виде дерева	démonstration en schéma
доказательство в виде дерева	démonstration dendroïde
сводимость в категории	catégoricité