“我给他的备注是恒真式。”
[什么事? ? ]
“其实就是命题里的重言式，简单点说就是永真的命题。”