利用命题真假