定义给出:给定一命题公式,若无论对分量作怎样的指派,其对应的真值永为T,则称该命题公式为永真式

定义给出:给定一命题公式,若无论对分量作怎样的指派,其对应的真值永为T,则称该命题公式为永真式
又有一个定义说:当且仅当P单箭头Q是一个永真式时,我们称P蕴含Q,
那么,根据第一个定义,【无论对分量作怎样的指派,其对应的真值永为T】
P单箭头Q不可能是永真式啊,何来蕴含一说?
dfhdfer 1年前 已收到1个回答 举报

suslg0531 幼苗

共回答了14个问题采纳率:92.9% 举报

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

1年前 追问

1

dfhdfer 举报

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

dfhdfer 举报

能不能举个例子

举报 suslg0531

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

dfhdfer 举报

懂了谢谢

dfhdfer 举报

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

dfhdfer 举报

我有问题问不到

dfhdfer 举报

能不能帮帮我呢
可能相似的问题
Copyright © 2024 YULUCN.COM - 雨露学习互助 - 17 q. 0.045 s. - webmaster@yulucn.com