Terms for subject Programming containing антецедент

Russian	English
истинность антецедента	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
следствие истинности антецедента	consequence of the truth of the antecedent (ssn)