什麼是邏輯？
這個貌似我也不明白！
不過我還是記得一些邏輯符號的，如非A，A交B,A並B。
+--------------+
1.1
命題：是一個或真或假的陳述語句。
複合命題：“非p”,"p並且q","p或q","p和q"的異或。
條件語句：p和q 爲命題。條件語句p-->q是命題"若p,則q",當p爲真而q爲假時，條件語句p-->q爲假，否則爲真。
數學裏描述定理，一般都有條件的。因爲定理的成立不可能是一點約束也沒用。
正因爲這樣，數學有時對很複雜的東西也無能爲力。但是數學有時解決的就是些很特殊的內容。
比如線性代數裏求A和B矩陣是否相似問題，對於一般性問題沒有結論。可是如果A和B是對稱矩陣，
對於A和B是否相似就可以求解了。
逆，倒置，否
雙條件語句。
1.2命題等價
邏輯等價：在所有可能的情況下都有相同的真值的兩個複合命題稱爲邏輯等價。（有定義可知證明邏輯等價基本
方法就是考察都有相同的真值）。
很重要的公式：
德摩根定律，條件語句的等價形式。
1.3謂詞和量詞
1.4嵌套量詞
1.5推理規則
命題推理的有效論證：命題邏輯中的一個論證是一連串的命題。除了論證中最後一個命題外都叫前提，最後那個命
題叫結論。當它的所有前提爲真意味着結論爲真時，一個論證是有效的。
（從這句定義看，前題都爲真，要求各個前提是用"交"聯接詞連在一起的）
看看一些常見推理規則：
假言推理
取拒式
假言三段論
析取三段論
附加
化簡
合取
消解
1.6證明導論
直接證明，反證法，歸謬法
1.7證明的方法和策略
窮舉證明和分情形證明（分類證明）
