數學的邏輯推理中真的有 推出 符號麼

2021-03-17 19:39:17 字數 5416 閱讀 1348

1樓:亞平寧的惡來

可以用的

「=>」 這個就是推出符號了。例:a推出b 可表示為a=>b。

充要的話可以用這個符號:「<=>」(即為等價於的意思)。

a是b的充分非必要條件(即b是a的必要非充分條件),可表示為:a=>b;

a是b的必要非充分條件(即b是a的充分非必要條件),可表示為:b=>a;

a是b的充要條件,即:a<=>b。

注:文中所有的符號中,兩橫(=)均要延長至與箭頭(<、>)相交

2樓:青眼白龍主人

高考當然可以用推出符號

連課本上都有的東西考卷上自然也可以用

邏輯推理中也是有這個符號的

代表 「必要不充分」 條件

3樓:

有啊。。。我找不到那個符號了。。

反正就是一個粗箭頭。。。但是要兩個方向。。表示充要條件

邏輯推理問題用什麼符號表示真假 是用對號 錯號 還是+ - 哪個比較好

4樓:神氣的狗皮膏藥

大多采用下面幾種之一:

t表示真,f表示假,來自英文true和false1表示真,0表示假

t表示真,上下顛倒的t(類似「土」字去掉中間的橫)表示假用「真」字表示真,用「假」字表示假

另外:沒有用"√""×"和"+"" - "的。

數學裡面,有且僅有有符號嗎

5樓:夢色十年

數學裡面,有且僅有用「∃!」 即唯一量詞表示,屬於邏輯符號。

符號:∃!

讀作:有且僅有

拼音:yǒu qiě jǐn yǒu。

數學裡的含義:精確的存在一個,只有一個符合要求,是唯一量詞。

舉例:∃! x: p(x) 意味著精確的存在一個 x 使 p(x) 為真。

6樓:yx陳子昂

唯一量詞 ∃! x: p(x) 意味著精確的有一個 x 使 p(x) 為真。

∃! n ∈ n:(n + 5 = 2n)

7樓:西域牛仔王

有啊,雙向箭頭。<=>

8樓:罪孽踢了他

∃!這個以前表白時,問老師的

數學中的簡單邏輯符號 100

9樓:小小的淼淼

一般是用來判斷用的,例如: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

推論或推導

10樓:

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

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

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

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

問:在梯形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...

邏輯推理中的關於假言命題的小問題

1.第一個問題 已知假言命題p q能得到假言命題q p嗎?這兩者是相等的嗎?參 兩者是相等的。p q表示p和q是充分條件假言,q p則表示q和p事必要條件假言。充分條件和必要條件可以互換,方法有兩個 一是改變前後件的真值,二是調換前後件的位置。你這裡採用的是方法二。好比你上面的例子 如果想要健康,就...

求解一道邏輯推理題急,一道很難的數學邏輯推理問題,向高手求助,高懸賞,急!!!!!!!!

首先確定幾個核心思想,觀察那幾個答案之間有著必然聯絡。1 7 8 9.8與9來說就是互補,8的23456就相對應9的87654。9a 2357,9b 6,9c 49,9d 8,9e 5 23不可能,5又產生了重複,所以9題打死不可能選e。9變成了7648。同理8不可能選d。繼續看7 8關係。說差幾,...

只要就的邏輯推理只要就的意思是有A就有B那麼是不是可以推導沒A就一定沒B

沒一個準確易懂的。只要a就b是指a屬於b a是b的充分條件,有a則b成立,無a則b也有可能成立 只有a才b是指b屬於a a是b的必要條件,有a則b成立,無a則b必不成立 自己再用韋恩圖好好想想吧 不能。只要a,就b。數學用語寫作a是b的充分條件。沒a,不知道有回 沒有b。只能推出,沒b一定答沒a。這...