English ⇄ Russian +

logical assertions stresses
progr.	логические суждения (ssn); логические высказывания (ssn)
logical assertion
progr.	логическое суждение (ssn); логическое высказывание (ssn)

logical assertions : 2 phrases in 1 subject

Programming

2