Terms for subject Programming containing Proposition

English	Russian
compound proposition statement	составное высказывание (ssn)
conditional proposition statement	условное высказывание (ssn)
contingent proposition statement	случайное высказывание (ssn)
necessary proposition statement	необходимое высказывание (ssn)
proposition in clausal form	высказывание в дизъюнктивной форме (ssn)
proposition statement	высказывание (ssn)
simple proposition statement	простое высказывание (ssn)
the right side of a clausal form proposition is called the antecedent	Правая часть в дизъюнктивной форме высказывания называется антецедентом