数理逻辑是研究什么的？
离散数学2：基本概念
公式层次：单个的命题变项A是0层公式。
如果A是n层公式，B是m层公式，那么￢A是n+1层公式；C=A∧B,C=A∨B,C=A→B,C=A↔B的层次是：max(n,m)+1。
比如（￢(p→￢q) ∧((r∨s) ↔￢q)的层次计算就是：
0 1 0 0 1
2 1 1
3 2
4
4层公式
设p1,p2,p3…pn是公式A中的全部与命题变项，那么给它们各指定一个真值，这就是A的一个赋值/解释。若使A=1，则是成真赋值，否则就是成假赋值。
所以含有n（n≥1）个命题变项的公式有2n个不同赋值。
真值表：把命题公式A在所有赋值下取值情况列成的表。
例：写出（￢p∧q）→￢r的真值表，并求它的成真赋值和成假赋值。
扩展资料：
学科内容
1．集合论部分：集合及其运算、二元关系与函数、自然数及自然数集、集合的基数
2．图论部分：图的基本概念、欧拉图与哈密顿图、树、图的矩阵表示、平面图、图着色、支配集、覆盖集、独立集与匹配、带权图及其应用
3．代数结构部分：代数系统的基本概念、半群与独异点、群、环与域、格与布尔代数
4．组合数学部分：组合存在性定理、基本的计数公式、组合计数方法、组合计数定理
5．数理逻辑部分：命题逻辑、一阶谓词演算、消解原理
离散数学是传统的逻辑学，集合论（包括函数），数论基础，算法设计，组合分析，离散概率，关系理论，图论与树，抽象代数（包括代数系统，群、环、域等），布尔代数，计算模型（语言与自动机）等汇集起来的一门综合学科。离散数学的应用遍及现代科学技术的诸多领域。
离散数学也可以说是计算机科学的基础核心学科，在离散数学中的有一个著名的典型例子-四色定理又称四色猜想，这是世界近代三大数学难题之一。
它是在1852年，由英国的一名绘图员弗南西斯·格思里提出的，他在进行地图着色时，发现了一个现象，“每幅地图都可以仅用四种颜色着色，并且共同边界的国家都可以被着上不同的颜色”。
那么这能否从数学上进行证明呢？100多年后的1976年，肯尼斯·阿佩尔（Kenneth Appel）和沃尔夫冈·哈肯（Wolfgang Haken）使用计算机辅助计算，用了1200个小时和100亿次的判断，终于证明了四色定理，轰动世界，这就是离散数学与计算机科学相互协作的结果。
离散数学可以看成是构筑在数学和计算机科学之间的桥梁，因为离散数学既离不开集合论、图论等数学知识，又和计算机科学中的数据库理论、数据结构等相关，它可以引导人们进入计算机科学的思维领域，促进了计算机科学的发展。
参考资料：百度百科--离散数学
绛旓細楂樼瓑鏁板鏄ぇ瀛︽暟瀛︾殑鍩虹璇剧▼锛屽畠鍖呮嫭璁稿鍒嗘敮銆傛牴鎹笉鍚岀殑鍒嗙被鏍囧噯锛岄珮绛夋暟瀛﹀彲浠ュ垎涓轰笉鍚岀殑鍒嗘敮銆備緥濡傦紝鎸夌収鐮旂┒瀵硅薄鐨勪笉鍚岋紝楂樼瓑鏁板鍙互鍒嗕负鏁扮悊閫昏緫銆佹暟璁恒佷唬鏁般佸嚑浣曞拰鍒嗘瀽浜斾釜鍒嗘敮銆鏁扮悊閫昏緫鏄爺绌鎺ㄧ悊瑙勫緥鐨勫绉戯紝瀹冨寘鎷懡棰橀昏緫銆佽皳璇嶉昏緫銆佹ā鎬侀昏緫绛夈傛暟璁烘槸鐮旂┒鏁存暟鎬ц川鐨勫绉戯紝瀹冨寘鎷礌鏁扮悊璁恒...
绛旓細鏁扮悊閫昏緫鐨瑙ｉ噴 浜︾О鈥绗﹀彿閫昏緫鈥濄傜嫮涔夋寚鐢ㄦ暟瀛︽柟娉 鐮旂┒ 鏁板涓殑 婕旂粠 鎬濈淮 浠ュ強鏁板 鍩虹 鐨勫绉戙傚箍涔夋寚涓鍒囩敤绗﹀彿鍜屾暟瀛︽柟娉曞鐞嗗拰鐮旂┒婕旂粠娉曠殑瀛﹂棶銆傛棦鏄暟瀛︾殑涓涓垎鏀紝鍙堟槸閫昏緫瀛︾殑涓涓垎鏀傛暟鐞嗛昏緫瀵规暟瀛︾爺绌跺拰宸ョ▼鎶鏈湁 閲嶈 鎰忎箟 锛屽涓鑸濈淮涓煇浜 闂 鐨勮В鍐充篃鏈夋垚鏁堛 璇嶈鍒嗚В ...
绛旓細鏁扮悊閫昏緫鑳藉姏鍙互鍩瑰吇鍑烘潵锛岄偅涔堟暟鐞嗛昏緫鑳藉姏鏄粈涔鍛紵鏁扮悊閫昏緫鐨鏍囧噯瀹氫箟鏄壒鎸囬噰鐢ㄦ暟瀛︾殑鏂规硶鏉鐮旂┒閫昏緫瀛︾殑瀛︾绫诲瀷锛屼富瑕佸舰鎬佸氨鏄缓绔嬩竴濂楀畬澶囥佸彲闈犮佽嚜娲界殑褰㈠紡鍖栬瑷鍙婄鍙锋紨绠楁鏋讹紝鐒跺悗鍒╃敤杩欏妗嗘灦鏉ョ爺绌跺悇绫婚棶棰橈紝鍥犳鍙互杩戜技鐨勮涓烘暟鐞嗛昏緫灏辨槸涓绉嶅熀纭鐮旂┒宸ュ叿锛屼竴鑸兘鏄湪鍝插锛堝垎鏋愬摬瀛︾瓑锛夈...
绛旓細1銆佹暟瀛﹂昏緫绫讳技鏁扮悊閫昏緫鍙堢О绗﹀彿閫昏緫銆佺悊璁洪昏緫銆傚畠鏃㈡槸鏁板鐨勪竴涓垎鏀紝涔熸槸閫昏緫瀛︾殑涓涓垎鏀2銆佹槸鐢ㄦ暟瀛︽柟娉鐮旂┒閫昏緫鎴栧舰寮忛昏緫鐨勫绉戙傚叾鐮旂┒瀵硅薄鏄璇佹槑鍜岃绠楄繖涓や釜鐩磋姒傚康杩涜绗﹀彿鍖栦互鍚庣殑褰㈠紡绯荤粺銆3銆鏁扮悊閫昏緫鏄鍩虹鏁板鐨勪竴涓笉鍙己灏戠殑缁勬垚閮ㄥ垎銆傝櫧鐒跺悕绉颁腑鏈夐昏緫涓ゅ瓧锛屼絾骞朵笉灞炰簬鍗曠函閫昏緫...
绛旓細鍦ㄤ腑瀛︽暟瀛︽暀瀛︿腑锛屾暀甯堥噸瑙嗛氳繃瑙ｉ璁粌鏉ュ煿鍏诲鐢熺殑鏁板绱犲吇锛屽叾涓昏緫鎬濈淮鑳藉姏灏や负閲嶈銆傝В棰樿繃绋嬩腑锛屽鐢熼渶瑕佹牴鎹嚱鏁扮殑鐗规с佹暟褰㈢粨鍚堜互鍙婅繍绠楁垨鎺ㄧ悊鏉ユ壘鍑哄嚱鏁扮殑鏁伴噺鍏崇郴绛夈傝繖涓鎺ㄥ杩囩▼瑕佹眰瀛︾敓鍏峰鏉＄悊銆侀昏緫銆佺伒娲诲拰鍒涙柊鐨勬濈淮锛屽洜姝ら昏緫鎬濈淮鍜屾帹鐞嗚璇佸湪鏁板涓壆婕斾簡鍏抽敭鐨勮鑹层傛澶栵紝鏁扮悊閫昏緫鏄爺绌...
绛旓細鏄殑銆鏁扮悊閫昏緫锛屾槸鐢ㄦ暟瀛︽柟娉鐮旂┒閫昏緫鎴栧舰寮忛昏緫鐨勫绉戯紝灞炲舰寮忛昏緫褰㈠紡涓婄鍙峰寲銆佹暟瀛﹀寲鐨勯昏緫锛屾湰璐ㄤ笂浠嶅睘浜庣煡鎬ч昏緫鐨勮寖鐣淬傝绠楁満鐨勫熀鏈‖浠剁郴缁熺敱杩愮畻鍣ㄣ佹帶鍒跺櫒銆佸瓨鍌ㄥ櫒銆佽緭鍏ヨ澶囧拰杈撳嚭璁惧浜斿ぇ閮ㄤ欢缁勬垚鐨勩傛暟鐞嗛昏緫鍙堢О绗﹀彿閫昏緫銆佺悊璁洪昏緫銆傚畠鏃㈡槸鏁板鐨勪竴涓垎鏀紝涔熸槸閫昏緫瀛︾殑涓涓垎鏀
绛旓細2.閫昏緫涓庡懡棰橈細閫昏緫鏄爺绌舵帹鐞嗚鍒欑殑瀛︾锛屽懡棰樻槸閫昏緫涓殑鍩烘湰鍗曚綅銆傚懡棰樺彲浠ユ槸鐪熸垨鍋囷紝閫氳繃閫昏緫杩愮畻锛堝涓庛佹垨銆侀潪锛夊彲浠ョ粍鍚堟垚澶嶅悎鍛介銆3.鍏崇郴涓庡浘璁猴細鍏崇郴鏄弿杩板璞′箣闂磋仈绯荤殑涓绉嶆娊璞¤〃绀猴紝鍥捐鏄爺绌跺浘涓《鐐瑰拰杈圭殑鍏崇郴浠ュ強瀹冧滑鐨勬ц川鍜屽簲鐢ㄧ殑瀛︾銆4.鏁扮悊閫昏緫锛鏁扮悊閫昏緫鏄爺绌褰㈠紡绯荤粺鍜岃瘉鏄庢柟娉...
绛旓細鏁扮悊閫昏緫鍖呮嫭鍛介婕旂畻鍜岃皳璇嶆紨绠椼傚懡棰樻紨绠鏄爺绌鍏充簬鍛介濡備綍閫氳繃涓浜涢昏緫杩炴帴璇嶆瀯鎴愭洿澶嶆潅鐨勫懡棰樹互鍙婇昏緫鎺ㄧ悊鐨勬柟娉曘傚懡棰樻槸鎸囧叿鏈夊叿浣撴剰涔夌殑鍙堣兘鍒ゆ柇瀹冩槸鐪熻繕鏄亣鐨勫彞瀛愩傚鏋滄垜浠妸鍛介鐪嬩綔杩愮畻鐨勫璞★紝濡傚悓浠ｆ暟涓殑鏁板瓧銆佸瓧姣嶆垨浠ｆ暟寮忥紝鑰屾妸閫昏緫杩炴帴璇嶇湅浣滆繍绠楃鍙凤紝灏辫薄浠ｆ暟涓殑鈥滃姞銆佸噺銆佷箻銆侀櫎鈥濋偅鏍...
绛旓細鍖呮嫭閫昏緫婕旂畻銆侀泦鍚堣锛岃瘉鏄庤銆佹ā鍨嬭銆侀掑綊璁虹瓑鍐呭銆傜敱浜庡湪閫昏緫瀛︿腑浣跨敤浜嗙鍙凤紝鏁呮暟鐞嗛昏緫涔熺О涓绗﹀彿閫昏緫銆鏁扮悊閫昏緫鐮旂┒鐨涓昏闂鏄帹鐞嗐傛墍璋撴帹鐞嗘槸鎸囩爺绌跺墠鎻愬拰缁撹涔嬮棿鐨勫叧绯讳笌鎬濈淮瑙勫緥锛鏁扮悊閫昏緫鐨鐗圭偣鏄彊杩扮畝鍗曟槑浜嗭紝閫氫織娴佺晠銆傞昏緫鎬у己銆
绛旓細閫昏緫鏄杈╄鐨勫熀纭,杈╄閫昏緫瀛鏄爺绌杈╄閫昏緫鐨勪竴闂ㄧ瀛︺傚叾涓昏鍐呭濡備笅涓銆 鏁扮悊閫昏緫绠浠 鈥滄暟鐞嗛昏緫鈥濆張绉扳绗﹀彿閫昏緫鈥,鏄敤鏁板鐨勬柟娉曠爺绌舵濈淮褰㈠紡缁撴瀯鍙婂叾瑙勫緥鐨勭瀛︺17涓栫邯鍏竷鍗佸勾浠ｈ嚦19涓栫邯涓冨叓鍗佸勾浠ｆ槸鏁扮悊閫昏緫鍙戝睍鐨勭涓闃舵銆傝憲鍚嶇殑寰峰浗鏁板瀹惰幈甯冨凹鑼ㄩ鍏堟彁鍑哄垱閫犱竴绉嶁滈氱敤璇█鈥,杩欑璇█搴旇鐢辩畝鍗曟槑纭殑琛...
