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。這...