充要条件型规则可以采取双条件句表达形式。

任何命题形式都蕴含自身。

判断题任何命题形式都蕴含自身。

一个命题具有一致性和有效性。

判断题一个命题具有一致性和有效性。

法律真实是指根据当事人举证证明的情形作为认定案件的根据。

判断题法律真实是指根据当事人举证证明的情形作为认定案件的根据。