вид сложного суждения, образованного из простых суждений, которые вытекают друг из друга, являясь тождественными (эквивалентными).