数理逻辑中什么是成假赋值和成真赋值？ 问一道数理逻辑题目。命题63。解析感觉不够严谨。
\u79bb\u6563\u6570\u5b66\uff0c\u4e3b\u6790\u53d6\u8303\u5f0f\u4e3b\u5408\u53d6\u8303\u5f0f\u6210\u771f\u8d4b\u503c\u6210\u5047\u8d4b\u503c(p\u2227qVr) \u91cc\u9762\u5c11\u4e86\u62ec\u53f7\uff0c\u8bf7\u6dfb\u52a0\u3002
\u4e3b\u6790\u53d6\u8303\u5f0f\u548c\u4e3b\u5408\u53d6\u8303\u5f0f\u7684\u6982\u5ff5\u5e94\u8be5\u77e5\u9053\u5427\uff1f\u7b49\u503c\u6f14\u7b97\uff1a(¬p\u2192q)\u2192(¬q\u2228p)=(p\u2228q)\u2192(¬q\u2228p)=¬(p\u2228q)\u2228(¬q\u2228p)\uff1b\uff08\u6761\u4ef6\u5f0f\u8f6c\u5316\u4e3a\u6790\u53d6\u5f0f\uff09=(¬p\u2227¬q)\u2228(¬q\u2228p)\uff1b\uff08\u5426\u5b9a\u8f6c\u79fb\u5230\u5230\u5355\u4e2a\u903b\u8f91\u53d8\u91cf\uff09\u6c42\u4e3b\u8303\u5f0f\u548c\u5c06\u516c\u5f0f\u7b80\u5316\u7684\u8fc7\u7a0b\u6b63\u597d\u76f8\u53cd\uff0c\u5b83\u8981\u6c42\u6bcf\u4e2a\u5b50\u5f0f\u90fd\u5305\u542b\u6240\u6709\u903b\u8f91\u53d8\u91cf\u3002\u8fd9\u901a\u5e38\u5c31\u9700\u8981\u7528\u5230\u5177\u6709\u201c\u6269\u5c55\u201d\u529f\u80fd\u7684\u8fd0\u7b97\u5f8b\uff1aX=X\u22271=X\u2227(Y\u2228¬Y)=(X\u2227Y)\u2228(X\u2227¬Y)\uff1b\u2014\u2014\u4e3b\u6790\u53d6\u8303\u5f0f\uff1bX=X\u22280=X\u2228(Y\u2227¬Y)=(X\u2228Y)\u2227(X\u2228¬Y)\uff1b\u2014\u2014\u4e3b\u5408\u53d6\u8303\u5f0f\uff1b\u4e3b\u5408\u53d6\u8303\u5f0f\uff1a(¬p\u2227¬q)\u2228(¬q\u2228p)=(¬p\u2228¬q\u2228p)\u2227(¬q\u2228¬q\u2228p)\uff1b\uff08\u6790\u53d6\u5bf9\u5408\u53d6\u7684\u5206\u914d\u5f8b\uff09=1\u2227(¬q\u2228p)=p\u2228¬q\uff1b\u2014\u2014\u8be5\u4e3b\u5408\u53d6\u8303\u5f0f\u53ea\u5305\u542b\u4e00\u9879\uff1b\u4e3b\u6790\u53d6\u8303\u5f0f\uff1a(¬p\u2227¬q)\u2228(¬q\u2228p)=(¬p\u2227¬q)\u2228(p\u2227¬q)\u2228(¬p\u2227¬q)\u2228(p\u2227q)\u2228(p\u2227¬q)\uff1b\uff08\u6269\u5c55\u540e\u9762\u4e24\u4e2a\u53d8\u91cf\uff09=(p\u2227q)\u2228(p\u2227¬q)\u2228(¬p\u2227¬q)\uff1b\u81f3\u4e8e\u6210\u771f\u8d4b\u503c\u6216\u6210\u5047\u8d4b\u503c\u6cd5\uff0c\u9700\u8981\u5bf9\u5404\u79cd\u903b\u8f91\u8054\u7ed3\u8bcd\u7684\u771f\u503c\u8868\u719f\u8bb0\u4e8e\u5fc3\uff1a(¬p\u2192q)\u2192(¬q\u2228p)\u89c2\u5bdf\u8fd9\u4e2a\u8868\u8fbe\u5f0f\uff0c\u6574\u4f53\u662f\u4e00\u4e2a\u6761\u4ef6\u5f0f\uff1b\u6761\u4ef6\u5f0f\u6210\u771f\u7684\u8d4b\u503c\u67093\u79cd\uff0c\u6210\u5047\u7684\u8d4b\u503c\u67091\u79cd\uff1b\u4ee5\u6210\u5047\u8d4b\u503c\u4e3a\u4f8b\uff1a\u539f\u5f0f\u7684\u6210\u3010\u5047\u3011\u8d4b\u503c\u8981\u6c42\uff1a(¬p\u2192q)\u771f\u3001(¬q\u2228p)\u5047\uff1b\u7b2c\u4e00\u9879(¬p\u2192q)\u8fd8\u662f\u6761\u4ef6\u5f0f\uff0c\u6210\u771f\u8d4b\u503c\u67093\uff1a¬p\u771fq\u771f\uff0c¬p\u5047q\u771f\uff0c¬p\u5047q\u5047\uff1b\u5373\uff1a\u3010p\u5047q\u771f\u3011\u3010p\u771fq\u771f\u3011\u3010p\u771fq\u5047\u3011\uff1b\u7b2c\u4e8c\u9879(¬q\u2228p)\u662f\u6790\u53d6\u5f0f\uff0c\u6210\u5047\u8d4b\u503c\u67091\uff1a¬q\u5047p\u5047\uff1b\u5373\uff1a\u3010p\u5047q\u771f\u3011\uff1b\u5c06\u4e24\u9879\u7684\u8981\u6c42\u7ec4\u5408\uff0c\u53d1\u73b0\u53ea\u6709\u3010p\u5047q\u771f\u3011\u80fd\u540c\u65f6\u6ee1\u8db3\u4e24\u9879\uff0c\u5373\uff1a\u5f53\u4e14\u4ec5\u5f53\u3010p\u5047q\u771f\u3011\u65f6\uff0c\u539f\u5f0f\u7ed3\u679c\u4e3a\u3010\u5047\u3011\u3002\u5bf9\u4e8e\u4e8c\u5143\u903b\u8f91\u5f0f\uff0c\u53ea\u67094\u79cd\u8d4b\u503c\uff0c\u6392\u9664\u8fd9\u552f\u4e00\u7684\u6210\u5047\u8d4b\u503c\uff0c\u5269\u4e0b\u76843\u79cd\u5c31\u662f\u6210\u771f\u8d4b\u503c\u3002\u4e3b\u6790\u53d6\u8303\u5f0f\uff0c\u5c31\u662f\u6210\u771f\u8d4b\u503c\u7684\u6790\u53d6\uff1b\u4e3b\u5408\u53d6\u8303\u5f0f\uff0c\u5c31\u662f\u6210\u5047\u8d4b\u503c\u2014\u2014\u53d6\u53cd\u2014\u2014\u7684\u5408\u53d6\uff0c\u5373\u3010p\u771f\u6216q\u5047\u3011\uff1b\uff08\u56e0\u4e3a\u53ea\u6709\u4e00\u7ec4\u6210\u5047\u8d4b\u503c\uff0c\u4e5f\u5c31\u662f\u4e3b\u5408\u53d6\u8303\u5f0f\u4e2d\u53ea\u5305\u542b\u4e00\u9879\u6790\u53d6\u5f0f\uff0c\u4e5f\u5c31\u4e0d\u7528\u518d\u4f5c\u5408\u53d6\u8fd0\u7b97\u4e86\u3002\uff09
对于一个命题公式P中的所有命题变项指定一组真值，则称为P的一个赋值。
如果在某种赋值下，命题公式P的值为1，这种赋值称为成真赋值；
如果在某种赋值下，命题公式P的值为0，这种赋值称为成假赋值。
命题公式P的所有赋值的总和，就构成了真值表。
扩展资料：
命题演算的一个具体模型就是逻辑代数。逻辑代数也叫做开关代数，它的基本运算是逻辑加、逻辑乘和逻辑费，也就是命题演算中的“或”、“与”、“非”，运算对象只有两个数 0和 1，相当于命题演算中的“真”和“假”。
逻辑代数的运算特点如同电路分析中的开和关、高电位和低电位、导电和截至等现象完全一样，都只有两种不同的状态，因此，它在电路分析中得到广泛的应用。
利用电子元件可以组成相当于逻辑加、逻辑成和逻辑非的门电路，就是逻辑元件。还能把简单的逻辑元件组成各种逻辑网络，这样任何复杂的逻辑关系都可以有逻辑元件经过适当的组合来实现，从而使电子元件具有逻辑判断的功能。因此，在自动控制方面有重要的应用。
设a,b,c,d,,,,,,是出现公式A中的全部命题符号，给a,b,c,d,,,,,,,,各指定一个真值，称对A的一个赋值或是解释，记I。，若指定的一组值使A的真值为1，则称这组值为A的成真赋值，若使A的真值为0，则称这一组值为A的成假赋值。（朱赠平）
输出为正确或者错误结果
绛旓細鐭涚浘寮忥紙contradictory formula锛夊張绉版案鍋囧紡銆佷笉鍙弧瓒冲叕寮忥紝鏄昏緫婕旂畻鐨勪竴绫诲叕寮忋傚鏋滃浠绘剰涓涓璧嬪V锛岄兘鏈塚[A]=0锛屽嵆鍏紡A瀵逛换涓璧嬪煎潎鍙栤滃亣鈥濆硷紝鍒欏叕寮廇涓虹煕鐩惧紡銆傚懡棰樺叕寮忎粙缁嶅強瀹氫箟锛氬懡棰樺叕寮忥細鍛介鍏紡锛坧ropositional formula锛変害绉板悎寮忓叕寮忥紝鏄鏁扮悊閫昏緫鏈锛屽畠鏄寜鐓т竴瀹氳寰嬪舰鎴愮殑绗﹀彿搴忓垪...
绛旓細4.鑷劧鎺ㄧ悊绯荤粺鐨勪富瑕佽鍒欍(涓)搴旂敤 1.杩愮敤鐪熷艰〃娉曘佸綊璋璧嬪娉曡繘琛屽叿浣撶殑鍛介鍒ゅ畾鎴栬В搴旂敤棰... law.lytu.edu.cn/ReadNews.asp?NewsID=801 2009-07-24-缃戦〉蹇収- 棰勮 缃戠粶鏁欏缁煎悎骞冲彴 鍦ㄨ繖閲岋紝瀹冪殑鍚箟灏辨槸鎸囩壒娈婄殑鐞嗚鎴栫壒鍒殑瑙傜偣銆佽娉曘佸璇淬4銆佸畠鍙互鎸閫昏緫瀛︿腑鐨勬煇浜涜鍒欐垨瑙勫緥 ...
绛旓細鏁扮悊閫昏緫鏃ㄥ湪鍒╃敤鏈夐檺鐨勫叕鐞嗘帹鍑哄敖鍙兘澶氱殑閲嶈█寮忥紝闄ゆ涔嬪锛岄噸瑷寮忓湪璁＄畻鏈鸿瘝娉曞垎鏋愰鍩熶篃鍏锋湁閲嶈搴旂敤銆1.瀹氫箟 缁欏畾涓鍛介鍏紡锛岃嫢鏃犺瀵瑰垎閲忎綔鎬庢牱鐨勬寚娲撅紝鍏跺搴旂殑鐪熷兼案涓篢锛圱rue锛夛紝鍒欑О璇ュ懡棰樺叕寮忎负閲嶈█寮忔垨姘哥湡鍏紡銆傝A涓轰换涓 鍛介鍏紡锛岃嫢A鍦ㄥ畠鐨勫悇绉 璧嬪涓嬪彇鍊煎潎涓虹湡锛屽垯绉癆鏄噸瑷寮忋...
绛旓細绛夊兼槸涓绉嶆暟瀛﹀叕寮忋傜敱鍓嶆墍杩帮紝璧勯噾鏈夋椂闂翠环鍊硷紝鍗充娇閲戦鐩稿悓锛屽洜鍏跺彂鐢熷湪涓嶅悓鏃堕棿锛屽叾浠峰煎氨涓嶇浉鍚屻傚弽涔嬶紝涓嶅悓鏃剁偣缁濆涓嶇瓑鐨勮祫閲戝湪鏃堕棿浠峰肩殑浣滅敤涓嬪嵈鍙兘鍏锋湁鐩哥瓑鐨勪环鍊笺傝繖浜涗笉鍚屾椂鏈熴佷笉鍚屾暟棰濅絾鍏垛滀环鍊肩瓑鏁堚濈殑璧勯噾绉颁负绛夊硷紝鍙堝彨绛夋晥鍊笺傝祫閲戠瓑鍊艰绠楀叕寮忓拰澶嶅埄璁＄畻鍏紡鐨勫舰寮忔槸鐩稿悓鐨勩
绛旓細涓绘瀽鍙栬寖寮忓拰涓诲悎鍙栬寖寮忕殑姒傚康搴旇鐭ラ亾鍚э紵绛夊兼紨绠楋細(¬p鈫抭)鈫(¬q鈭╬)=(p鈭╭)鈫(¬q鈭╬)=¬(p鈭╭)鈭(¬q鈭╬)锛涳紙鏉′欢寮忚浆鍖栦负鏋愬彇寮忥級=(¬p鈭¬q)鈭(¬q鈭╬)锛涳紙鍚﹀畾杞Щ鍒板埌鍗曚釜閫昏緫鍙橀噺锛夋眰涓昏寖寮忓拰灏嗗叕寮忕畝鍖栫殑杩囩▼姝ｅソ鐩稿弽锛屽畠瑕佹眰...
绛旓細鏁板閫昏緫锛圡athematical logic)鏄笌鏁板鍩虹锛岀悊璁鸿绠楃瀛﹀拰鍝插閫昏緫瀵嗗垏鑱旂郴鐨勪竴涓暟瀛﹀垎鏀傚叾鐮旂┒瀵硅薄鍖呮嫭閫昏緫鏁板鐮旂┒鍜屾妸褰㈠紡閫昏緫搴旂敤鍒版暟瀛︾殑鍏跺畠棰嗗煙銆傛暟瀛﹂昏緫鐨勭爺绌惰寖鍥存槸閫昏緫涓鍙暟瀛︽ā寮忓寲鐨勯儴鍒嗐傛暟瀛﹂昏緫鍙矖鍒嗕负鍥涢儴鍒嗭細1.闆嗗悎璁猴紱2.妯℃嫙璁猴紱3.閫掑綊璁哄拰4.璇佹嵁鐞嗚鍜屽缓璁炬ф暟瀛 ...
绛旓細椤洪锛屾眽璇瘝璇紝鎷奸煶鏄痵h霉n f膿ng锛屾寚鏃ュ父鐢熸椿涓父鐢ㄧ殑涔犺銆傝〃绀烘湁鍒╀簬浜嬫儏椤哄埄鏃犻樆鐨勮繘灞曚笅鍘伙紝鍙栧緱鎴愬姛鐨勬儏鍐点傚父甯稿拰鍏朵粬鐨勮瘝鏀惧湪涓璧凤紝琛ㄧず缇庡ソ鐨勭绂忥紝濡傦細椤洪椤烘按锛屼竴璺『椋庣瓑銆傛澶栬繕鏈変簰鑱旂綉涓撳銆傚湪鍙ｈ濡栨腑鏈夊悓鍚嶇簿鐏垫垬鏂楁妧鑳姐傞嗛锛屾寚闈㈠啿鐫椋庯紱杩庨銆傝鍑恒婃垚瀹炶路璁洪棬鍝併嬶細鈥滃張...
绛旓細灏嗚鍙ュ鏋滄槑澶╀笅闆,鎴戜滑灏辨斁鍋囩炕璇戞垚鍛介鍏紡濡備笅锛歅锛氭槑澶╀笅闆≦锛氭垜浠氨鏀惧亣 P 涓 Q锛汸 鈫 Q鍏朵腑锛歅琛ㄧず鈥滄槑澶╀笅闆ㄢ濓紝Q琛ㄧず鈥滄垜浠氨鏀惧亣鈥濄傚懡棰樺叕寮(propositional formula)浜︾О鍚堝紡鍏紡锛屾槸鏁扮悊閫昏緫鏈锛屽畠鏄寜鐓т竴瀹氳寰嬪舰鎴愮殑绗﹀彿搴忓垪锛屽湪鍛介婕旂畻涓紝鍏紡閫氬父鐢ㄥ綊绾冲畾涔夌粰鍑恒備緥濡傦紝鍦ㄤ竴涓叿鏈...
绛旓細姣斿锛坃(p鈫抇q)鈭((r鈭╯)↔_q)鐨勫眰娆¤绠楀氨鏄細01001 211 32 4 4灞傚叕寮 璁緋1,p2,p3?pn鏄叕寮廇涓殑鍏ㄩ儴涓庡懡棰樺彉椤癸紝閭ｄ箞缁欏畠浠悇鎸囧畾涓涓湡鍊硷紝杩欏氨鏄疉鐨勪竴涓祴鍊/瑙ｉ噴銆傝嫢浣緼=1锛屽垯鏄鎴愮湡璧嬪锛屽惁鍒欏氨鏄垚鍋囪祴鍊銆傛墍浠ュ惈鏈塶锛坣鈮1锛変釜鍛介鍙橀」鐨勫叕寮忔湁2n涓笉鍚岃祴鍊笺傜湡鍊艰〃...
绛旓細姣斿锛坃(p鈫抇q)鈭((r鈭╯)↔_q)鐨勫眰娆¤绠楀氨鏄細01001 211 32 4 4灞傚叕寮 璁緋1,p2,p3?pn鏄叕寮廇涓殑鍏ㄩ儴涓庡懡棰樺彉椤癸紝閭ｄ箞缁欏畠浠悇鎸囧畾涓涓湡鍊硷紝杩欏氨鏄疉鐨勪竴涓祴鍊/瑙ｉ噴銆傝嫢浣緼=1锛屽垯鏄鎴愮湡璧嬪锛屽惁鍒欏氨鏄垚鍋囪祴鍊銆傛墍浠ュ惈鏈塶锛坣鈮1锛変釜鍛介鍙橀」鐨勫叕寮忔湁2n涓笉鍚岃祴鍊笺傜湡鍊艰〃...
