定义给出:给定一命题公式,若无论对分量作怎样的指派,其对应的真值永为T,则称该命题公式为永真式又有一个定义说:当且仅当P单箭头Q是一个永真式时,我们称P蕴含Q,那么,根据第一个定义,【无论对分量作怎样的指派,其对应的真值永为T】P单箭头Q不可能是永真式啊,何来蕴含一说?
只要指派一下不就行了?怎么可能有这种情形不存在的可能
能不能举个例子
比如:A∧(A的否定)→B
懂了谢谢
网上回答大学问题的好少啊
我有问题问不到
能不能帮帮我呢