邏輯學(xué)基礎(chǔ)教程

關(guān)于邏輯規(guī)律

陳振權(quán)

形式邏輯中的：同一律（A=A）、矛盾律（A∧?A=0）、排中律（A∨?A=1）等并不是真正的邏輯規(guī)律，而只是一些基本的邏輯命題運(yùn)算式，充其量只能夠被稱為“命題規(guī)律”。

真正的邏輯規(guī)律是：個(gè)體全連合，種類全界分。即各個(gè)體內(nèi)連合無遺而且各種類間界分全清。

因?yàn)楸仨氃谒忻}及其中的全部個(gè)體概念都“連合無遺”且全部種類概念都“界分全清”的前提之下，任意兩條命題之間的同一、矛盾、排中等關(guān)系才有可能被定義。例如，一個(gè)學(xué)生要從學(xué)校回到家中，就必須先連合和界分清楚道路本身、道路中的車輛和路人等等一切障礙物、道路兩旁的全部人造物和自然物背景等等一切物件，才可能回到與其記憶同一的、與其他記憶無矛盾的、排除了非家的那個(gè)家。倘若個(gè)體連合不全或種類界分不清，會(huì)有什么后果呢？ 其實(shí)人做任何事情，甚至宇宙中發(fā)生的一切事件，其邏輯過程都是與上例雷同的。由此可見，（連/界）、（合/分）這兩個(gè)范疇是最初始的邏輯概念。《形神邏輯》就是以這兩個(gè)范疇為初始范疇概念而推導(dǎo)出來的。

坐定。這是狼人殺最基本、最簡單，也是與殺人游戲差別最大的邏輯。

坐定，即為大家都認(rèn)可的好人，不再懷疑的目標(biāo)。坐定包括身份無對(duì)跳、平安金水、先知金水、雙金水等。

身份無對(duì)跳。即為非普通村民的身份牌聲稱自己是某一身份時(shí)，無人對(duì)跳（即沒有別人聲稱自己是他跳的這張身份），那么可以認(rèn)為其身份為真，即為好人。

身份有對(duì)跳。即為多個(gè)人均聲稱自己是某一身份。若無人退水，對(duì)跳身份中出一真、一（或多）狼。好人遇到身份對(duì)跳有多種自證手法，而狼對(duì)跳身份又有多種手段。我會(huì)在每一個(gè)身份下介紹狼跳身份的策略及好人應(yīng)對(duì)措施。女巫對(duì)跳隔夜對(duì)毒、獵人對(duì)跳走一帶一、守衛(wèi)對(duì)跳安排換守、先知村長對(duì)跳——出先知看村長/下村長看先知。

先知金水。由坐定的先知驗(yàn)到的好人坐定。

雙金水。在先知坐定之前，對(duì)跳的兩個(gè)先知都驗(yàn)過的金水坐定。

雙查殺。在先知坐定之前，對(duì)跳的兩個(gè)先知都查殺的牌必不為好人。

狼人殺：

是一款多人參與的，以語言描述推動(dòng)的、較量口才和分析判斷能力的策略類桌面游戲。通常的版本需要8-18人參與（有些版本12個(gè)人參與）。狼人殺游戲的機(jī)制與殺人游戲相類似，殺人游戲更傾向于競技，狼人殺游戲則更加歡樂，角色更豐富。游戲分為兩大陣營，狼人和村民；村民方以投票為手段投死狼人獲取最后勝利，狼人陣營隱匿于村民中間，靠夜晚殺人及投票消滅村民方成員為獲勝手段，狼人殺屬于桌面游戲，可以多人玩。

游戲目標(biāo)：

一般情況下，游戲共分兩個(gè)陣營：村民陣營（包括所有神民和平民）和狼人陣營。

如果場上存在丘比特，則根據(jù)丘比特連人情況可能出現(xiàn)第三陣營：情侶陣營（ 丘比特所連情侶分別為好人和狼人時(shí)，即人狼戀，丘比特和情侶所構(gòu)成的陣營）。

勝利條件如下：

1、村民陣營：所有狼人及情侶陣營（若有）出局

2、狼人陣營：屠邊局勝利條件：滿足下列兩個(gè)條件：

①人狼情侶出局，

②所有神出局或所有村民出局（即：屠邊），丘比特既不算神，也不算民。

3、人狼情侶陣營：除情侶陣營之外的所有玩家出局（即：屠城）

邏輯電路按其邏輯功能和結(jié)構(gòu)特點(diǎn)可分為組合邏輯電路和時(shí)序邏輯電路。

單一的與門、或門、與非門、或非門、非門等邏輯門不足以完成復(fù)雜的數(shù)字系統(tǒng)設(shè)計(jì)要求。組合邏輯電路是采用兩個(gè)或兩個(gè)以上基本邏輯門來實(shí)現(xiàn)更實(shí)用、復(fù)雜的邏輯功能。

一、組合邏輯電路的基本特點(diǎn)

組合邏輯電路是由與門、或門、非門、與非門、或非門等邏輯門電路組合而成的，組合邏輯電路不具有記憶功能，它的某一時(shí)刻的輸出直接由該時(shí)刻電路的輸入狀態(tài)所決定，與輸入信號(hào)作用前的電路狀態(tài)無關(guān)。

二、組合邏輯電路的分析方法

組合邏輯電路的分析方法一般按以下步驟進(jìn)行：

1． 根據(jù)邏輯電路圖，由輸入到輸出逐級(jí)推導(dǎo)出輸出邏輯函數(shù)式。

2． 對(duì)邏輯函數(shù)式進(jìn)行化簡和變換，得到最簡式。

3． 由化簡的邏輯函數(shù)式列出真值表。

4． 根據(jù)真值表分析、確定電路所完成的邏輯功能。

例1 分析如圖所示電路的邏輯功能。

解：（1）寫出輸出邏輯函數(shù)式。