Terms for subject Programming containing antecedent

English	Russian
consequence of the truth of the antecedent	следствие истинности антецедента (ssn)
the left side is called the consequent because it is the consequence of the truth of the antecedent	Левая часть называется консеквентом, поскольку она является следствием истинности антецедента
the right side of a clausal form proposition is called the antecedent	Правая часть в дизъюнктивной форме высказывания называется антецедентом
truth of the antecedent	истинность антецедента (ssn)