这是定义，即 "当且仅当若P则Q为永真式时，称为P蕴含Q，记为 P=>Q。"
逻辑学或者离散数学，当且仅当若P则Q为永真式时，称为P蕴含Q，什么意思，我不懂“若P则Q为永真式”是怎么回事
该问题本身有误。
