?? ???

?? ???
?? ???
???	?????

百度李春玲认为，这是中国女性社会地位提高的表现。

?????(數理論理學, ??: mathematical logic) ?? ?????? ????? ???? ???? ???? ??? ???? ????. ???? ???, ???? ??, ? ??? ?? ?? ??? ???? ?? ??? ?? ????? ???? ???? ???? ??? ???? ???? ??? ????? ?? ?? ? ??? ?? ?? ??? ?? ??? ?????, ??? ?? ???? '?? ???'(symbolic logic)???? ??. ??? ?? ? ????? ???? ???? ??.^[1]^[2]

? ??? ??? ? ????? ? ???? ??? ?? ??? ??? ???? ???, ?????? ?? ??? ???? ?? ?? ??? ?? ???? ?? ??? ????.^[3]^[4]^[5]

?????? ?? ???, ?? ??, ?? ??, ?? ??, ??? ?? ?? ?? ??? ???. ? ???? ????? 1? ??? ????? ?? ???? ???? ???? ???? ?? ??.

?????? ?? ??? ?? ?? ?????? ??? ??? ?? ???. ? ??? 19?? ? ???, ???, ???? ??? ??? ??? ?? ?????. 20?? ??? ?????? ????? ????? ??? ????? ??? ?? ?????. ??? ??? ????? ?? ?? ? ??? ?? ?? ??? ????? ???? ??? ??? ???? ??? ???. ?? ?? ???? ?? ??? ?? ???? ?? ??????, ?? ????? ??? ?? ?? ???? ??? ??? ??? ???? ? ??? ?? ?????. ??????? ??? ??? ?? ?? ??? ??? ? ?? ??? ????? ??? ?? ??? ?? ?? ???? ???? ? ??? ?? ? ??? ?? ??.

??? ?

??	??
???	$\cdot ,\land$
??	$\lor$
?? A ?? B ??	$A\subset B,A\to B$
???	$-,\neg$

?? ??

??	??	??
F1	??? 3???(3?? ??? ?? ??)	????
F2	???? ???? 3???(??? ?? ·??? ?? ??)	????
F3	???? ???? 3???(??? ??·??? ??)	????
F4	???? ??3???(??? ?? ??·??? ??)	????
F5	? ???? ?? $\neg (P\lor Q)=\neg P\land \neg Q$ $\neg (P\land Q)=\neg P\lor \neg Q$	????
F6	?? ??	????
F7	?? ??? ??(Conjunction Elimination)	????
F8	????	????

?? ???? ?? ???? ??

??	?? ???	?????? ???	?????? ????
?? 1	?? A? B?? C? ???? D??.	$(A\subset B)\subset (-C\lor D)$	(-C)
?? 2	A? E??? ?? C??.	$A\subset (E\lor C)$	(E)
?? 3	A? B??.	$A\subset B$
?? 4	A? D? ???.	$A\subset -D$
??1	A? C? ???.	$A\subset -C$	??1,??4, F3
??2	A? E??.	$A\subset E$	??2,??1, F3

?????? ??? ????? ???? ??? ?????? ???? ?? ??? ?????? ??? ??? ???? ??.

?? ??

????? ??? ?? ??? ??? ??? ??? ??? ????.

?? ??

??

↑ ???. 美 ????? ??? ?? ??. ????. 2007? 4? 3?.
↑ ???. '??'? ???? ??? ? ???? ??. ???. 2015? 5? 14?.
↑ ???. '? ?????'? ??? ??? ? ? ?? 180??. ????. 2014? 8? 5?.
↑ ???. (???? ?? ????)???? ???? ???? ???????. ??SUNDAY. 2014? 11? 9?.
↑ ???. (???? ?? ????)19??? ??? ?? ? ?? ??? ????. ??SUNDAY. 2015? 3? 1?.

?? ??

林禎垈 (1982? 11?). 《數理論理學》. ????? ???. ISBN 89-7141-226-7. 2015? 4? 24?? ?? ???? ??? ??. 2014? 11? 24?? ???.
Kleene, S. C. (1997). 《數理論理學》. 朴漢植 ?. ?????. ISBN 978-89-3540174-1.
- Kleene, S. C. (1967). 《Mathematical logic》 (??). Wiley. Zbl 0149.24309.
鄭祚燮 (1993). 《經濟分析? 數理論理學》. ?? ?? ??? 1. ????? ???.
尹英洙 (1981). 《數理論理學》. ?????.
??? (2008). 《???: ????? ????》. ???. ISBN 978-89-9127359-7.
Enderton, Herbert B. (2002). 《A mathematical introduction to logic》 (??) 2?. Academic Press. doi:10.1016/B978-0-08-049646-7.50001-1. ISBN 978-0-12-238452-3. Zbl 0992.03001. 2014? 11? 26?? ?? ???? ??? ??. 2014? 11? 24?? ???. CS1 ?? - ?? ?? (??)

	? ?? ??? ?? ??????. ???? ???? ??? ??? ??? ???.
	? ?? ??? ??? ?? ??????. ???? ???? ??? ??? ??? ???.

[1] ???. 美 ????? ??? ?? ??. ????. 2007? 4? 3?.

[2] ???. '??'? ???? ??? ? ???? ??. ???. 2015? 5? 14?.

[3] ???. '? ?????'? ??? ??? ? ? ?? 180??. ????. 2014? 8? 5?.

[4] ???. (???? ?? ????)???? ???? ???? ???????. ??SUNDAY. 2014? 11? 9?.

[5] ???. (???? ?? ????)19??? ??? ?? ? ?? ??? ????. ??SUNDAY. 2015? 3? 1?.

[1]

[2]

[3]

[4]

[5]

v t e ??? ??? ?? ??
??? ??	????? ??? ??? ??? ?? ?? ?? ??? ????? ????
?? ??	???? ?? ?? ??? ?? ?? ??? ?? ?? ?? ??
???? & ?? ??	???? ???? ?? ???? ?? ?? ?? ?????
????? ?? & ????	?? ?? ???? ????? ????? ?? ??? ????? ?? ?? ?????
?? & ?? ???	?? ??? ??? ???? ?? ??? ??? ??? ???? ??? IaaS PaaS SaaS
????? ??	?? ?? ????? ?? ??? ????? ?? ?? ????? ??? ????? ??
??? ????	??? ???? ???????? ?? ??
?? & ????	??? ??? ??? ???? ???? ??? ??? ???
??????	??? ??? RDBMS SQL NoSQL ??? ??????
????	???? ?? ????? ??? ?? ?? ?? ?? ?? ?? ?? ?? ???
??? ???	??? ?? ??
??? ??? ?? ??	??? ??? ??? ????? ?? ??? ????? ??? ????
????	???? ????? ???? ???? ?????? ????? ????? ????
????	??? ?? ?? ?????? ?? ??? ?? ???? ?? ?? ???

肚子隐隐作痛什么原因	无花果吃了有什么好处	西瓜汁加什么好喝	小孩几天不大便是什么原因怎么办	牙周炎吃什么药好
lgm是什么意思	女人吃洋葱有什么好处	拉肚子是什么原因	反式脂肪酸是什么意思	四肢无力吃什么药
中性粒细胞高说明什么	婴儿口水多是什么原因	1994年是什么年	红细胞高说明什么	老是睡不着觉是什么原因
红色连衣裙配什么鞋子好看	碳13和碳14有什么区别	到此为止是什么意思	昙花一现什么意思	如意代表什么数字

什么饮料好喝inbungee.com	坐月子吃什么好hcv9jop1ns5r.cn	天蝎座与什么星座最配creativexi.com	蜗牛爱吃什么hcv8jop5ns1r.cn	胃疼需要做什么检查helloaicloud.com
10月3号是什么星座hcv8jop1ns8r.cn	月子里可以吃什么蔬菜hcv9jop7ns2r.cn	乙状结肠腺瘤是什么病hcv8jop3ns7r.cn	抉择是什么意思hcv9jop1ns5r.cn	弘字五行属什么hcv8jop0ns5r.cn
北京有什么好吃的hcv9jop5ns3r.cn	金牛座是什么星座hcv8jop1ns8r.cn	7月1日是什么日子wuhaiwuya.com	黄芪和什么泡水壮阳hcv9jop3ns4r.cn	目赤什么意思hcv7jop9ns2r.cn
小便分叉是什么症状hcv9jop7ns9r.cn	事不过三是什么意思hcv9jop2ns3r.cn	预调酒是什么意思hcv8jop0ns8r.cn	124什么意思beikeqingting.com	什么原因会导致尿路感染hcv8jop6ns8r.cn