邏輯符號 - 華人百科

文章推薦指數: 80 %
投票人數:10人

基本邏輯符號 ... ⊃ 實質蘊涵A ⇒ B 意味著如果A 為真,則B 也為真;如果A 為假,則對B 沒有任何影響。

→ 可能意味著同⇒ 一樣的意思(這個符號也可以指示函式的域和陪域; ... 邏輯符號在邏輯中,經常使用一組符號來表達邏輯結構。

中文名稱邏輯符號使用者邏輯學家表達經常使用一組符號來表達邏輯結構註意不同的符號有相同的意義基本邏輯符號一. 符號名字解說例子讀作範疇⇒→⊃實質蘊涵A⇒B意味著如果A為真,則B也為真;如果A為假,則對B沒有任何影響。

→可能意味著同⇒一樣的意思(這個符號也可以指示函式的域和陪域;參見數學符號表)。

⊃可能意味著同⇒一樣的意思(這個符號也可以指示超集)。

x=2⇒x2=4為真,但x2=4⇒x=2一般為假(因為x可以是−2)。

蘊涵;如果..那麽命題邏輯⇔↔實質等價A⇔B意味著A為真如果B為真,和A為假如果B為假。

x+5=y+2⇔x+3=y當且僅當;iff命題邏輯amp;not;˜邏輯否定陳述¬A為真,當且僅當A為假。

穿過其他算符的斜線同于在它前面放置的"¬"。

¬(¬A)⇔Ax≠y⇔¬(x=y)非命題邏輯∧邏輯合取陳述A∧B為真,如果A與B二者都為真;否則為假。

n<4∧n>2⇔n=3當n是自然數的時候。

與命題邏輯∨邏輯析取陳述A∨B為真,如果A或B(或二者)為真;如果二者都為假,則陳述為假。

n≥4∨n≤2⇔n≠3當n是自然數的時候。

或命題邏輯⊕⊻異或陳述A⊕B為真,在要麽A要麽B但不是二者為真的時候為真。

A⊻B意思相同。

(¬A)⊕A總是真,A⊕A總是假。

xor命題邏輯,布爾代數∀全稱量詞∀x:P(x)意味著所有的x都使P(x)都為真。

∀n∈N:n2≥n.對于所有;對于任何;對于每個謂詞邏輯∃存在量詞∃x:P(x)意味著有至少一個x使P(x)為真。

∃n∈N:n是偶數。

存在著謂詞邏輯∃!唯一量詞∃!x:P(x)意味著精確的有一個x使P(x)為真。

∃!n∈N:n+5=2n.精確的存在一個謂詞邏輯:=≡:⇔定義x:=y或x≡y意味著x被定義為y的另一個名字(但要註意≡也可以意味著其他東西,比如全等)。

P:⇔Q意味著P被定義為邏輯等價于Q。

coshx:=(1/2)(expx+exp(−x))AXORB:⇔(A∨B)∧¬(A∧B)被定義為所有地方()優先組合優先進行括弧內的運算。

(8/4)/2=2/2=1,而8/(4/2)=8/2=4。

所有地方├推論x├y意味著y推導自x。

A→B├¬B→¬A推論或推導命題邏輯,謂詞邏輯·是否命題相關詞條符號邏輯數理邏輯的思想與方法邏輯運算邏輯或邏輯電路邏輯非或非門推出符號直言命題邏輯門電路辯證邏輯存在量詞弗雷格與非門組合邏輯電路JK觸發器理想運算放大器邏輯學哥德爾邏輯證明論同或ftp下載工具選言命題D觸發器三態門其它詞條845DoWhatYouWantFurMarkT.R.Yuusee丹東-錫林浩特高速公路北回歸線孔雀草張宇張睿家我有一個夢想比特幣中國毛呢外套海洋博物館漂流瓶菜鳥新鮮人輕盈霍比特人首相大飯店魏靖軒邏輯符號@華人百科邏輯符號



請為這篇文章評分?