數學中的簡單邏輯符號,數學中的簡單邏輯符號

2021-03-12 16:13:12 字數 5376 閱讀 4706

1樓:小小的淼淼

一般是用來判斷用的,例如:if(a||b)a或b為真(即非0)else a和b都為假(即0);

但是||和|有區別,前者:只要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

命題邏輯

¬˜ 邏輯否定 陳述 ¬a 為真,當且僅當 a 為假。

穿過其他算符的斜線同於在它前面放置的 "¬"。 ¬(¬a) ⇔ a

x ≠ 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。 cosh x := (1/2)(exp x + exp (−x))

a xor b :⇔ (a ∨ b) ∧ ¬(a ∧ b)

被定義為

所有地方

( ) 優先組合 優先進行括號內的運算。 (8/4)/2 = 2/2 = 1, 而 8/(4/2) = 8/2 = 4。

所有地方

├ 推論 x ├ y 意味著 y 推導自 x。 a → b ├ ¬b → ¬a

推論或推導

2樓:

這個要靠自己的語感啦(注意,我說的是證明題中哦,像正切餘切那些符號應該不用我說,邏輯型別的樓上樓下都有答案哦!!)

∵這個是因為 ∴這個是所以 其他也就沒有什麼簡單的符號了

一般推理下去,最後得出結論用「故」

這裡給你一個範本吧,借用一下他人的回答:

問:在梯形abcd中 在梯形abcd中ad平行bc ∠b=30°∠bcd=60°ad=2 ac平分∠bcd 求dc

證明過程:

解;∵∠b=30°,∠bcd=60°,ac平分∠bcd;∴∠acb=∠a bc=∠acd=30°,

∴△abc是等腰三角形,

過點a作bc邊上的高a h交bc於h,∴a h平分底邊bc,過點c作ad邊上的高交ad延長線於f,

∵ad‖bc,∴∠fcd=90°,

∵∠bcd=60°,∴∠dcf=30°,

又因∠b =30°,ad‖bc,∴∠bad=150°,

又因∠b=∠a bc=30°,∴∠bac=120°,

故∠c ad=30°,因∠cad=∠dca=30°,

∴a d=dc=2.

接著是邏輯題:

if(a||b)a或b為真(即非0)else a和b都為假(即0)

但是||和|有區別,前者:只要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

命題邏輯

¬˜ 邏輯否定 陳述 ¬a 為真,當且僅當 a 為假。

穿過其他算符的斜線同於在它前面放置的 "¬"。 ¬(¬a) ⇔ a

x ≠ 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。 cosh x := (1/2)(exp x + exp (−x))

a xor b :⇔ (a ∨ b) ∧ ¬(a ∧ b)

被定義為

所有地方

( ) 優先組合 優先進行括號內的運算。 (8/4)/2 = 2/2 = 1, 而 8/(4/2) = 8/2 = 4。

所有地方

├ 推論 x ├ y 意味著 y 推導自 x。 a → b ├ ¬b → ¬a

推論或推導

就這樣,有空再找另一個範本給您哈!!!希望對您有幫助~~o(∩_∩)o...

3樓:

"∨" 表示"或"

"∧" 表示"與".

"=" 表示」等價」.

1和0表示」真」和」假」

(還有一種表示,"+"表示"或", "·"表示"與")< 小於

> 大於

<= 小於或等於

>= 大於或等於

== 等於

!= 不等於

&& 而且 (and)

and 而且 (and)

|| 或者 (or)

or 或者 (or)

xor 異或 (xor)

! 非 (not)

sqr根號

abs絕∪並

∩交∈屬於

abs絕對值

mod取餘數!階乘

4樓:匿名使用者

< 小於

> 大於

<= 小於或等於

>= 大於或等於

== 等於

!= 不等於

&& 而且 (and)

and 而且 (and)

|| 或者 (or)

or 或者 (or)

xor 異或 (xor)

! 非 (not)

5樓:匿名使用者

+ - × / =

∪並∩交

∈屬於and且

or或sqr根號

abs絕對值

mod取餘數

6樓:匿名使用者

∧且的關係 ∨或的關係 != 非的關係

數學簡易邏輯和集合中"e開口反過來""a上下倒過來"兩個符號表示什麼意思?

7樓:解析代數

"e開口反過來bai"是數學中「存在」的符du號「∃ 」,zhi用於特稱命dao

題。比如:∃ x∈r,x>4,這個命題就表示:版存在權x屬於實數集,使得不等式x>4成立。

「a倒過來」是數學中「任意」的符號「∀」,用於全稱命題。

比如:∀x∈,x>4,這個命題就表示:任意x屬於實數集,都有不等式x>4成立。

特稱命題的否定可以用全稱命題來表示,反之亦然。只需將∃變為∀,否定後半句即可。

比如:∃ x∈r,x>4的否定就是∀x∈,x≤4。

數學集合的符號數學集合中的所有符號及其意義?

數學集合符號如下 1 n 非負整數 集合或自然數集合。2 n 或n 正整數集合。3 z 整數集合。4 q 有理數集合。5 q 正有理數集合。6 q 負有理數集合。7 r 實數集合 包括有理數和無理數 8 r 正實數集合。9 r 負實數集合。10 c 複數集合。11 空集 不含有任何元素的集合 1 全...

入是什麼符號數學中的符號入是什麼

希臘字母表中排序第十一位的字母,英語名稱為lambda。同時也是物理上的波長符號。波長是指波在一個振動週期內傳播的距離。也就是沿著波的傳播方向,相鄰兩個振動位相相差2 的點之間的距離。波長 等於波速u和週期t的乘積,即 ut。同一頻率的波在不同介質中以不同速度傳播,所以波長也不同。擴充套件資料 希臘...

如何在中錄入數學符號,如何在文件中輸入數學符號

alt0934 按住alt鍵的同時在數字小鍵盤上輸入0934 一級鋼筋符號 二 的就需要造字了,直接在word中是不能輸出來的 怎麼在word文件中快速錄入數學公式和數學符號 你好,還真沒有。只能輸字母或插入符號。當然你可以利用貼上板。也許能快一點 如何在word文件中插入平方米的那個數學符號啊?平...