离散数学(二)——一阶逻辑
离散数学的精髓在于对抽象概念的精确表达，而一阶逻辑便是这幅精密逻辑画卷中的关键一笔。它从个体与谓词的基石出发，构建起复杂的逻辑体系:
1. 个体与谓词的舞蹈: 原子命题是个体变量（小巧的字母符号）与谓词（映射个体到真值的魔法，大写字母彰显其力量）的巧妙融合，谓词的元数如同它们的专属舞伴，仅在特定个体舞台上起舞。
2. 量词的无限可能: 全称量词（“一切都…”）和存在量词（“并非所有…都…”）如同魔杖，为命题世界施加量化魔法，赋予了无尽的结构多样性。
论域与特征谓词：如同设定舞台的范围，个体变量和谓词的使用都必须明确其活动领域，特征谓词则为限定范围的精确画笔。
3. 逻辑公式：结构的艺术: 逻辑符号如乐符，个体变量、非逻辑符号（常量、函数符号）则是乐章，项和子公式构成复杂的旋律，辖域、自由变量与约束变量，如同音乐中的和声与主调，共同构建逻辑的和谐。
逻辑与非逻辑的交织：公式分为原子和量词公式，否定、合取等逻辑运算如同调性转换，七种形式如同音乐的七个音阶，共同塑造出逻辑的丰富层次。
4. 变量的奇妙旅程: 个体变量分为约束与自由，后者如无拘无束的音符，闭公式或句子则是由它们编织的完整乐章。自由变量的替换与约束变量的改名，是逻辑世界里的变奏和对位法。
等值与规则的探索：一阶逻辑的等值定律，如零律和矛盾律，犹如基础和弦，而量词的特殊规则，如交换和分配，扩展了和声的可能性。前束范式则像作曲规则，要求量词居于公式的核心位置。
5. 逻辑真值的舞蹈: 个体变量的指派函数是逻辑的指挥棒，原子公式的价值在于谓词解释中的变量解读，一阶逻辑的证明则如同乐章的演绎，遵循基本推理规则，如易位和全称/存在量词的技巧。
分类与证明的旋律: 公式被分为永真、矛盾和可满足，如同音乐的不同调性。推理方法如蕴涵式、否定式，各有其独特旋律，全称泛化的应用则需谨慎处理。
绛旓細绂绘暎鏁板鐨勭簿楂撳湪浜庡鎶借薄姒傚康鐨勭簿纭〃杈撅紝鑰涓闃堕昏緫渚挎槸杩欏箙绮惧瘑閫昏緫鐢诲嵎涓殑鍏抽敭涓绗斻傚畠浠庝釜浣撲笌璋撹瘝鐨勫熀鐭冲嚭鍙戯紝鏋勫缓璧峰鏉傜殑閫昏緫浣撶郴:1. 涓綋涓庤皳璇嶇殑鑸炶箞: 鍘熷瓙鍛介鏄釜浣撳彉閲忥紙灏忓阀鐨勫瓧姣嶇鍙凤級涓庤皳璇嶏紙鏄犲皠涓綋鍒扮湡鍊肩殑榄旀硶锛屽ぇ鍐欏瓧姣嶅桨鏄惧叾鍔涢噺锛夌殑宸у铻嶅悎锛岃皳璇嶇殑鍏冩暟濡傚悓瀹冧滑鐨勪笓灞炶垶浼达紝浠...
绛旓細璁綨(x)锛歺鏄嚜鐒舵暟銆侴(x,y)锛歺姣攜澶с(x)(N(x)鈫(y)(N(y)鈭(y,x)))
绛旓細璇存槑锛氫互涓嬩互A浠ｈ〃鍏ㄧО閲忚瘝锛孍浠ｈ〃瀛樺湪閲忚瘝銆傝涓綋鍩熶负鍏ㄤ綋瀛︾敓锛屼护F(x): x閫氳繃澶嶈瘯锛孏(x): x琚綍鍙栵紝H(x): x鍙傚姞澶嶈瘯銆傛潯浠讹細Ax(G(x)鈫扚(x))锛孍x(H(x)鈭р攼F(x))缁撹锛欵x(H(x)鈭р攼G(x))璇佹槑锛氣憼Ex(H(x)鈭р攼F(x))鈶(c)鈭р攼F(c)鈶(c)鈶ｂ攼F(c)鈶x(G(x)鈫扚(...
绛旓細锛2锛鍏堣冭檻銆愬悎鍙栥戝拰銆愭瀽鍙栥戜袱绉嶈仈缁撹瘝銆備竴鑸舰寮忎负锛氥愰噺璇嶃戯紙銆怭銆戙愯仈缁撹瘝銆戙怮銆戯級锛涒斺擯銆丵涓轰换鎰忋愯皳璇嶅叕寮忋戯紱P銆丵涓潎鍚愮害鏉熷彉鍏冦戞椂锛氣憽锛氥愬叏绉伴噺璇嶃戝銆愬悎鍙栥戞弧瓒斥滃垎閰嶅緥鈥濃斺旀槑鐧解滃垎閰嶁濈殑鎰忔濆惂锛熲憿锛氥愬瓨鍦ㄩ噺璇嶃戝銆愭瀽鍙栥戞弧瓒斥滃垎閰嶅緥鈥濓紱P銆丵涓湁涓斿彧鏈変竴鑰呭惈...
绛旓細瀵逛换鎰弜F锛坸锛夋垚绔嬶紝鍙互寰楀埌瀛樺湪x锛孎锛坸锛夋垚绔嬶紝鎵浠ュ乏杈逛负鐪 A鈭鐨勭湡鍊煎拰A鐩稿悓 缁间笂绗簩棰樹负姘哥湡寮
绛旓細杩欐槸绂绘暎绗簩绔犮婅皳璇嶉昏緫銆嬶紙涔熷彨涓闃堕昏緫锛鐨勫唴瀹广侾(x, c)鏄竴涓皳璇嶏紝琛ㄧずx鍜宑婊¤冻鏌愮鑱旂郴锛屾瘮濡侾(x, c)鍙互琛ㄧずx>c锛岄偅涔堢涓涓氨琛ㄧず鈥滃瓨鍦╟锛屽浠绘剰鐨剎鍧囨湁P(x,c)鎴愮珛鈥濄傜浜屼釜閲岄潰"E."鐨勬剰鎬濅笉鏄庣櫧锛屾病瑙佽繃鐨勮銆
绛旓細鍦ㄦ垨杩愮畻涓紝閫昏緫鍋囧彲浠ュ拷鐣ワ紙鍚告敹寰嬶級锛屾墍浠ュ師寮忕户缁浆鎹负闈濧涓庨潪B 鐪熷艰〃妫楠岋細褰揃涓虹湡锛屾棤璁篈锛(A鈫払)鈭ч潪B 閮戒负鍋囷紝鎵浠(A鈫払)鈭ч潪B涓嶇瓑浠蜂簬 闈濧锛岃岀瓑浠蜂簬闈濧涓庨潪B 灏咮=闈濨浠ｅ叆锛(A鈫払)鈭ч潪B锛屾湁锛(A鈫掗潪B)鈭ч潪锛堥潪B锛 涔熷氨鏄(A鈫掗潪B)鈭锛屾墍浠ヤ袱涓叕寮忕瓑浠 ...
绛旓細锛1锛夛細锛爔锛圓锛坸锛夆埀锟锛坸锛夆啋C锛坸锛夛級锛锛2锛锛氾紶x锛圖锛坸锛夆啋锛堬竣B锛坸锛夆埀锟锛坸锛夛級锛涚粨璁猴細锛0锛夛細锛爔锛圖锛坸锛夆啋锟锛坸锛夛級锛涘叾瀹烇紝鐢变簬鏈鍙秹鍙婂叏绉伴噺璇嶏紝鑰屼笖鍙湁涓涓彉鍏冿紝鎵浠ワ紝瀹屽叏鍙互鐢ㄥ懡棰閫昏緫鐨勬柟娉曡В鍐筹細锛1锛夛細A鈭э竣B鈫扖锛涳紙2锛夛細D鈫掞竣B鈭э竣C锛涜瘉鏄庯細鏍规嵁...
绛旓細绂绘暎鏁板 涓闃堕昏緫姝ｆ枃鎶樺彔缂栬緫鏈鍦ㄤ竴闃堕昏緫涓弿杩颁竴涓暟瀛︾悊璁,棣栧厛浼氭秹鍙婅繖涓悊璁烘墍璁ㄨ鐨勫璞°佸畾涔夊湪杩欎簺瀵硅薄涓婄殑鍑芥暟銆佷互鍙婅繖浜涘璞′箣闂寸殑鍏崇郴鎴栨ц川銆傛暟瀛︾悊璁烘墍璁ㄨ鐨勫璞＄О涓轰釜浣,鐢变釜浣撶粍鎴愮殑闈炵┖闆嗗悎绉颁负璁哄煙鎴栦釜浣撳煙銆傛寜閫氬父鏁板涓殑瀹氫箟,涓涓猲鍏冨嚱鏁板氨鏄粠璁哄煙A鐨勪釜浣撶殑鎵鏈塶鍏冪粍鐨勯泦鍚堣嚦A涓殑涓...
绛旓細鍦ㄥ疄鏁拌寖鍥村唴R锛屽鎵鏈夌殑x锛岄兘瀛樺湪y锛屼娇寰梮*y=0 ∀x(R(x)鈫∃y(R(y)鈭(x,y)))閮借鐢ㄥ埌
