［元旦前都未派龜］科大討論區（12）光復香港，時代革命

找多少少數先
基本上成個course分三part

第一part教堆basics例如咩truth table validity
只要唔係弱智基本上都滿分

第二part sentential logic
symbolization 幾straightforward
最煩係小心P(if/only if/necessary/sufficient)Q呢堆到底係P->Q 定Q->P
不過死背rule/各自背一個例子/常理判斷應該都無咩難度
derivation 分別有direct/conditional/indirect三個approach
direct 即係從已有嘅premise+logic rules夾硬show到你要嘅結果 多數prove 一個simple statement
例如已知P同埋P->Q 題目就叫你show Q
咁你就可以apply其中一條rule叫modus ponens
conditional即係assume一樣野
之後都係用返premise+rule
多數prove conditional statement
例如題目要你show "P->Q"
所以我地assume P 然後從已知嘅野度整到Q出黎就收工
indirect=prove by contradiction
除左indirect之外都幾簡單 因為真係done by brute force咁濟
同埋因為有step分 寫左唔用又唔扣分 所以係咪都答左先

最後predicate logic就最難
就係上面嘅野加多兩個quantifier (math人好熟嘅"for all" 同"there exist")
就可以用黎表達更加複雜嘅例子
derivation大同小異只係學多4條rule 唔算太難
symbolization 就祝好運
反正我到考完試都係唔識 夾硬9寫d野落去攞得幾多得幾多咁
比你感受下


最後個prof不予置評
我上堂都係擺係度做自己野多
但係佢間唔中都會自己手殘做錯野