מונחים לפי נושא הִגָיוֹן המכילים в

רוסית	צרפתית
в дедуктивном отношении	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é