Terms for subject Programming containing consequent

English	Russian
assertion of consequent	доказательство истинности основания методом обращения следствия (логическая ошибка ssn)
consequent expression	выражение-следствие (ssn)
the left side is called the consequent because it is the consequence of the truth of the antecedent	Левая часть называется консеквентом, поскольку она является следствием истинности антецедента