数学中的简单逻辑符号 数学简易逻辑和集合中"E开口反过来""A上下倒过来"两个符号...
\u6570\u5b66\u7b80\u5355\u903b\u8f91\u7684\u7b26\u53f7\u2460\u903b\u8f91\u6570\u5b66\u4e2d\uff1a
\u4e14\u2227\uff0c\u6216\u2228\uff0c\u975e\u2513
\u4ea4\u96c6\u2229\uff0c\u5e76\u96c6\u222a\uff0c\u8865\u96c6C
\u5c5e\u4e8e\u2208\uff0c\u5305\u542b(\u222a\u53f3\u8f6c90)
\u2461C\u8bed\u8a00\u4e2d\uff1a
\u4e0e&&\uff0c\u6216||\uff0c\u975e!
\u2462VB\u4e2d\uff1a
\u4e0eAnd\uff0c\u6216Or\uff0c\u975eNot
\u5f02\u6216Xor\uff0c\u7b49\u4ef7Eqv\uff0c\u8574\u542bImp
"E\u5f00\u53e3\u53cd\u8fc7\u6765"\u662f\u6570\u5b66\u4e2d\u201c\u5b58\u5728\u201d\u7684\u7b26\u53f7\u201c∃ \u201d\uff0c\u7528\u4e8e\u7279\u79f0\u547d\u9898\u3002
\u6bd4\u5982\uff1a∃ x\u2208R\uff0cx>4\uff0c\u8fd9\u4e2a\u547d\u9898\u5c31\u8868\u793a\uff1a\u5b58\u5728x\u5c5e\u4e8e\u5b9e\u6570\u96c6\uff0c\u4f7f\u5f97\u4e0d\u7b49\u5f0fx>4\u6210\u7acb\u3002
\u201cA\u5012\u8fc7\u6765\u201d\u662f\u6570\u5b66\u4e2d\u201c\u4efb\u610f\u201d\u7684\u7b26\u53f7\u201c∀\u201d\uff0c\u7528\u4e8e\u5168\u79f0\u547d\u9898\u3002
\u6bd4\u5982\uff1a∀x\u2208\uff0cx>4\uff0c\u8fd9\u4e2a\u547d\u9898\u5c31\u8868\u793a\uff1a\u4efb\u610fx\u5c5e\u4e8e\u5b9e\u6570\u96c6\uff0c\u90fd\u6709\u4e0d\u7b49\u5f0fx>4\u6210\u7acb\u3002
\u7279\u79f0\u547d\u9898\u7684\u5426\u5b9a\u53ef\u4ee5\u7528\u5168\u79f0\u547d\u9898\u6765\u8868\u793a\uff0c\u53cd\u4e4b\u4ea6\u7136\u3002\u53ea\u9700\u5c06∃\u53d8\u4e3a∀\uff0c\u5426\u5b9a\u540e\u534a\u53e5\u5373\u53ef\u3002
\u6bd4\u5982\uff1a∃ x\u2208R\uff0cx>4\u7684\u5426\u5b9a\u5c31\u662f∀x\u2208\uff0cx\u22644\u3002
但是||和|有区别,前者:只要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
推论或推导
这个要靠自己的语感啦(注意,我说的是证明题中哦,像正切余切那些符号应该不用我说,逻辑类型的楼上楼下都有答案哦!!)
∵这个是因为 ∴这个是所以 其他也就没有什么简单的符号了
一般推理下去,最后得出结论用“故”
这里给你一个范本吧,借用一下他人的回答:
问:在梯形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...
< 小于
> 大于
<= 小于或等于
>= 大于或等于
== 等于
!= 不等于
&& 而且 (And)
and 而且 (And)
|| 或者 (Or)
or 或者 (Or)
xor 异或 (Xor)
! 非 (Not)
+ - × / =
∪并
∩交
∈属于
and且
or或
sqr根号
abs绝对值
mod取余数
∧且的关系 ∨或的关系 != 非的关系
绛旓細鏄惁瀹氥傚悎鍙栥傛瀽鍙栥傗溾埁鈥濇槸鎴栫殑鎰忔濓紝鐩稿綋浜庨泦鍚涓殑骞堕泦锛屽懡棰楶鈭≦鐨勭湡鍋囦篃涓嶱锛孮鐨勭湡鍋囨湁鍏筹紝褰揚锛孮鍏ㄦ槸鍋囧懡棰樻椂锛屽懡棰楶鈭≦涓哄亣鍛介锛屽叾浠栭兘鏄湡鍛介銆傗溾埀鈥濇槸涓旂殑鎰忔濓紝鐩稿綋浜庨泦鍚堜腑鐨勪氦闆嗭紝鍛介P鈭鐨勭湡鍋囦笌P锛孮鐨勭湡鍋囨湁鍏筹紝褰揚锛孮鍏ㄦ槸鐪熷懡棰樻椂锛屽懡棰楶鈭涓虹湡鍛介锛屽叾浠栭兘鏄亣...
绛旓細杩欐槸鏁板閫昏緫绗﹀彿锛岃繛鎺ヤ袱涓绠鍗鍛介鐢ㄧ殑锛屸溾埀鈥濇槸涓旂殑鎰忔濓紝鐩稿綋浜庨泦鍚涓殑浜ら泦锛屽懡棰楶鈭鐨勭湡鍋囦笌P锛孮鐨勭湡鍋囨湁鍏筹紝褰揚锛孮鍏ㄦ槸鐪熷懡棰樻椂锛屽懡棰楶鈭涓虹湡鍛介锛屽叾浠栭兘鏄亣鍛介銆傗溾埁鈥濇槸鎴栫殑鎰忔濓紝鐩稿綋浜庨泦鍚堜腑鐨勫苟闆嗭紝鍛介P鈭≦鐨勭湡鍋囦篃涓嶱锛孮鐨勭湡鍋囨湁鍏筹紝褰揚锛孮鍏ㄦ槸鍋囧懡棰樻椂锛屽懡棰楶鈭≦涓...
绛旓細"E寮鍙e弽杩囨潵"鏄鏁板涓鈥滃瓨鍦ㄢ鐨勭鍙鈥∃ 鈥濓紝鐢ㄤ簬鐗圭О鍛介銆傛瘮濡傦細∃ x鈭圧锛寈>4锛岃繖涓懡棰樺氨琛ㄧず锛氬瓨鍦▁灞炰簬瀹炴暟闆嗭紝浣垮緱涓嶇瓑寮弜>4鎴愮珛銆傗淎鍊掕繃鏉モ濇槸鏁板涓滀换鎰忊濈殑绗﹀彿鈥∀鈥濓紝鐢ㄤ簬鍏ㄧО鍛介銆傛瘮濡傦細∀x鈭堬紝x>4锛岃繖涓懡棰樺氨琛ㄧず锛氫换鎰弜灞炰簬瀹炴暟闆嗭紝閮芥湁涓嶇瓑寮弜...
绛旓細锛2锛夆溾埁鈥濊〃绀閫昏緫鈥滄垨鈥濓紝鍦ㄩ泦鍚堣涓搴斿苟闆嗚繍绠椼傚懡棰楶鈭≦涓虹湡鐨勬潯浠舵槸P鍜孮涓嚦灏戞湁涓涓负鐪燂紝鍚﹀垯涓哄亣銆備簩銆佸湪妯$硦鏁板涓锛屸溾埀鈥绗﹀彿浠h〃鈥滃彇灏忊濊繍绠楋紝鍗冲彇涓や釜鏁涓殑杈冨皬鍊硷紱鑰屸溾埁鈥濈鍙蜂唬琛ㄢ滃彇澶р濊繍绠楋紝鍗冲彇涓や釜鏁颁腑鐨勮緝澶у笺備笁銆佸湪鏁板鍙樻崲鍑芥暟涓紝渚嬪鍌呴噷鍙跺彉鎹紝绗﹀彿螞...
绛旓細鍦閫昏緫涓紝缁忓父浣跨敤涓缁勭鍙锋潵琛ㄨ揪閫昏緫缁撴瀯銆傚洜涓洪昏緫瀛﹀闈炲父鐔熸倝杩欎簺绗﹀彿锛屼粬浠湪浣跨敤鐨勬椂鍊欐病鏈夎В閲婂畠浠傛墍浠ワ紝缁欏閫昏緫鐨勪汉鐨勪笅鍒楄〃鏍硷紝鍒楀嚭浜嗘渶甯哥敤鐨勭鍙銆佸畠浠殑鍚嶅瓧銆佽娉曞拰鏈夊叧鐨鏁板棰嗗煙銆傛澶栵紝绗笁鍒楀寘鍚潪姝e紡瀹氫箟锛岀鍥涘垪缁欏嚭绠鐭殑渚嬪瓙銆傝娉ㄦ剰锛屽湪涓浜涙儏鍐典笅锛屼笉鍚岀殑绗﹀彿鏈夌浉鍚岀殑鎰忎箟锛...
绛旓細鏁板閲岄潰锛屾湁涓斾粎鏈夌敤鈥∃!鈥 鍗冲敮涓閲忚瘝琛ㄧず锛屽睘浜閫昏緫绗﹀彿銆傜鍙凤細∃!璇讳綔锛氭湁涓斾粎鏈 鎷奸煶锛歽菕u qi臎 j菒n y菕u銆鏁板閲岀殑鍚箟锛氱簿纭殑瀛樺湪涓涓紝鍙湁涓涓鍚堣姹傦紝鏄敮涓閲忚瘝銆備妇渚嬶細∃! x: P(x) 鎰忓懗鐫绮剧‘鐨勫瓨鍦ㄤ竴涓 x 浣 P(x) 涓虹湡銆
绛旓細鍦鏁板閫昏緫涓紝绗﹀彿"鈭"浠h〃閫昏緫涓殑"涓"鍏崇郴銆傚畠琛ㄧず涓や釜鍛介閮藉繀椤绘垚绔嬶紝鎴栬呰涓や釜鏉′欢閮介渶瑕佹弧瓒炽備緥濡傦紝鍦ㄦ柟绋嬫眰瑙d腑锛屾垜浠粡甯搁亣鍒伴渶瑕佹弧瓒冲涓潯浠剁殑鎯呭喌锛岃繖鏃跺氨鍙互浣跨敤鈥滀笖鈥濇潵杩炴帴杩欎簺鏉′欢銆備緥濡傦細鈥渪 > 2 涓 x < 5鈥濓紝杩欐剰鍛崇潃x鐨勫兼棦瑕佸ぇ浜2锛屽張瑕佸皬浜5銆2. 鎴栫殑绗﹀彿锛氣埁 涓庘...
绛旓細璁╂垜浠竴璧疯В寮鏁板涓閭d簺鐪嬩技绠鍗曠殑绗﹀彿锛屽叾涓竴绉嶄究鏄垜浠父璇寸殑鈥滀笌鈥濆拰鈥滄垨鈥閫昏緫锛屼互鍙娾滈潪鈥濇搷浣溿傛兂璞′竴涓嬶紝灏卞儚涔樻硶涓殑·锛堢偣锛変唬琛ㄢ滀笌鈥濊繍绠楋紝瀹冭繛鎺ヤ袱涓暟鏃讹紝鍙湁褰撲袱鑰呴兘涓1鏃剁粨鏋滄墠涓1锛屽叾浣欐儏鍐甸兘鏄0銆備緥濡傦紝1·0=0锛1·1=1锛0·0=0銆傝屸滄垨鈥...
绛旓細甯哥敤绗﹀彿鏈夛細鈭濓紙姝f瘮锛夈佲埀锛閫昏緫鍜岋級銆佲埁锛堥昏緫鎴栵級銆 鈭紙绉垎锛夈 鈮 锛堜笉绛変簬锛夈佲墹锛堝皬浜庣瓑浜庯級銆 鈮ワ紙澶т簬绛変簬锛夈 鈮堬紙绾︾瓑浜庯級銆 鈭烇紙鏃犵┓锛夈3銆佽繍绠楃鍙凤細杩愮畻绗﹀彿鏄绠鏁板鏃舵墍鐢鐨勭鍙锛岃绠楃鍙锋湁鍔犲彿銆佸噺鍙枫佷箻鍙枫侀櫎鍙枫傚父鐢ㄧ鍙锋湁锛毭楋紙涔橈級銆 梅锛堥櫎锛夈 鈭氾紙鏍瑰彿锛夈 卤...
绛旓細鈭у拰鈭ㄩ兘鏄鏁板閫昏緫绗﹀彿锛岃繛鎺ヤ袱涓绠鍗鍛介鐢ㄧ殑銆傗溾埀鈥濇槸涓旂殑鎰忔濓紝鐩稿綋浜庨泦鍚涓殑浜ら泦锛屽懡棰楶鈭鐨勭湡鍋囦笌P锛孮鐨勭湡鍋囨湁鍏筹紝褰揚锛孮鍏ㄦ槸鐪熷懡棰樻椂锛屽懡棰楶鈭涓虹湡鍛介锛屽叾浠栭兘鏄亣鍛介銆傗溾埁鈥濇槸鎴栫殑鎰忔濓紝鐩稿綋浜庨泦鍚堜腑鐨勫苟闆嗭紝鍛介P鈭≦鐨勭湡鍋囦篃涓嶱锛孮鐨勭湡鍋囨湁鍏筹紝褰揚锛孮鍏ㄦ槸鍋囧懡棰樻椂锛屽懡棰楶...