反复真命题 【计】 tautologically-true proposition