邏輯運算符 - 專業(yè)術語
在形式邏輯中,邏輯運算符或邏輯聯(lián)結詞把語句連接成更復雜的復雜語句。例如,假設有兩個邏輯命題,分別是“正在下雨”和“我在屋里”,我們可以將它們組成復雜命題“正在下雨,并且我在屋里”或“沒有正在下雨”或“如果正在下雨,那么我在屋里”。一個將兩個語句組成的新的語句或命題叫做復合語句或復合命題。

簡介
邏輯NOT
邏輯AND
邏輯OR
優(yōu)先級為:NOT、AND、OR
同級運算從左到右
在形式邏輯中,邏輯運算符或邏輯聯(lián)結詞把語句連接成更復雜的復雜語句。例如,假設有兩個邏輯命題,分別是“正在下雨”和“我在屋里”,我們可以將它們組成復雜命題“正在下雨,并且我在屋里”或“沒有正在下雨”或“如果正在下雨,那么我在屋里”。一個將兩個語句組成的新的語句或命題叫做復合語句或復合命題。
基本運算符
基本的操作符有:“非”(¬;)、“與”(∧)、“或”(∨)、“條件”(→)以及“雙條件”(?)?!胺恰笔且粋€一元操作符,它只操作一項(¬;P)。剩下的是二元操作符,操作兩項來組成復雜語句。
注意,符號“與”(∧)和交集(∩),“或”(∨)和并集(∪)的相似性。這不是巧合:交集的定義使用“與”,并集的定義是用“或”。
這些連接符的真值表:
|
P |
Q |
¬;P |
P∧與Q |
P∨或Q |
P→Q |
P?Q |
|
T |
T |
F |
T |
T |
T |
T |
|
T |
F |
F |
F |
T |
F |
F |
|
F |
T |
T |
F |
T |
T |
F |
|
F |
T |
F |
F |
T |
T |
邏輯運算
布爾用數(shù)學方法研究邏輯問題,成功地建立了邏輯演算。他用等式表示判斷,把推理看作等式的變換。這種變換的有效性不依賴人們對符號的解釋,只依賴于符號的組合規(guī)律。這一邏輯理論人們常稱它為布爾代數(shù)。20世紀30年代,邏輯代數(shù)在電路系統(tǒng)上獲得應用,隨后,由于電子技術與計算機的發(fā)展,出現(xiàn)各種復雜的大系統(tǒng),它們的變換規(guī)律也遵守布爾所揭示的規(guī)律。
邏輯運算通常用來測試真假值。最常見到的邏輯運算就是循環(huán)的處理,用來判斷是否該離開循環(huán)或繼續(xù)執(zhí)行循環(huán)內(nèi)的指令。
