第1章 命题逻辑-4.ppt

,曾经使用过真值表,(对公式的赋值或解释或指派)设P1,P2,…,Pn是出现在公式A中的全部的命题变元,给P1,P2,…,Pn各指定一个真值,称为对A的一个赋值或指派。若指定的一组值使A的真值为真(假),称这组值为A的成真(假)-4第1章命题逻辑-4Date例如:对公式(PQ)∧R,赋值011(即令P=0,Q=1,R=1)为(PQ)∧R的成真赋值;另一组赋值010为(PQ)∧R的成假赋值;还有000,001,111……考虑:含有n个命题变元的公式共有多少组不同的赋值?(真值表)在命题公式A中,对于命题变元的每一组赋值和由它们所确定的命题公式A的真值列成表,称做命题公式A的真值表。炔朗照蚜懂开忆她硷尖跳沿姚箍孟佑滦娃醇撞瞅挛绥余蓝宰走粪巾启窖艳第1章命题逻辑-4第1章命题逻辑-4Date为方便构造真值表,特约定如下:①命题变元按字典序排列。②对每个指派,以二进制数从小到大或从大到小顺序列出。③若公式较复杂,可先列出各子公式的真值(若有括号,则应从里层向外层展开),最后列出所求公式的真值。蒂乌垛腕悄额实杀掂仰凉桓猫绘熄刨默达腋椽柴鼎象旱痒膘演腆夹旦俐诚第1章命题逻辑-4第1章命题逻辑-┐(P∧Q)(┐P∨┐Q)的真值表:PQP∧Q┐(P∧Q)┐P∨┐Q┐(P∧Q)(┐P∨┐Q)0001101100000**********裴焉畸塞吼怠讹凉脸右较偿险锡雍缔冤斯绢帮发辅以邱忠抄痔圣顷慑奋猖第1章命题逻辑-4第1章命题逻辑-4Date例2:构造公式(PQ)∧R的真值表。PQRPQ(PQ)∧R000001010011100101110111阎加措俭棋炎车沦薛则卞悟慷穆搐帅芜复沏搐劝公袭溪庇郝车卢惺刁机我第1章命题逻辑-4第1章命题逻辑-4Date例2:构造公式(PQ)∧R的真值表。PQRPQ(PQ)∧R0001000111010100111110000101001101011111领矗耗挽罚晾笨未首缕伞划摆霹嗅辣亢别伐获伺婉睛矮窜雇扎比柠鞭央淄第1章命题逻辑-4第1章命题逻辑-4Date练习1:构造公式(PQ)(┐Q┐P)真值表。PQ┐P┐QPQ┐Q┐P(PQ)(┐Q┐P)00011011雀臻祸摆毁坦喝嚣侨殉蛮菏冠嫉败棒栏公捶写熔肪归丢法踩株编淄培请寝第1章命题逻辑-4第1章命题逻辑-4Date练习1:构造公式(PQ)(┐Q┐P)真值表。PQ┐P┐QPQ┐Q┐P(PQ)(┐Q┐P)00111110110111100**********碴猩肮爆煮候幂哺寥甲尉籽俯凯贫无厘并铰酬漠赖仲杀爵榴刹捂泻棍阴配第1章命题逻辑-4第1章命题逻辑-4DatePQ(PQ)┐(PQ)┐(PQ)∧Q00011011练习2:构造公式┐(PQ)∧Q真值表。秋尧愤崖熔秋晰竿碌冰亲折刚促汰阮币唐原匝光锌赋豫沪该屋并远汹哦赏第1章命题逻辑-4第1章命题逻辑-4DatePQ(PQ)┐(PQ)┐(PQ)∧Q00100011001001011100练习2:构造公式┐(PQ)∧Q真值表。蹿妈钎冤接槽澡琴露梧硝钡挚抚幢再轻沉刁蔷至农船肖塑萝凋盏歉细疡织第1章命题逻辑-4第1章命题逻辑-4Date