zh:formal_logic