离散数学，永真式问题

Question

定义给出：给定一命题公式，若无论对分量作怎样的指派，其对应的真值永为T，则称该命题公式为永真式
又有一个定义说：当且仅当P单箭头Q是一个永真式时，我们称P蕴含Q，
那么，根据第一个定义，【无论对分量作怎样的指派，其对应的真值永为T】
P单箭头Q不可能是永真式啊，何来蕴含一说？

Answer 1

P→Q只有在P真Q假的时候为假，如果这种情形不可能存在，P→Q就是永真式了追问

只要指派一下不就行了？怎么可能有这种情形不存在的可能

能不能举个例子

追答

比如：A∧(A的否定)→B

追问

懂了谢谢

网上回答大学问题的好少啊

我有问题问不到

能不能帮帮我呢