交大113 線性代數與離散數學第3a題｜離散數學 Ch10 偏序集、格、布林代數與命題邏輯

離散數學›Ch10 偏序集、格、布林代數與命題邏輯

第 6 題／共 18 題

6. 命題邏輯、量詞、謂詞邏輯、數論

#LS-10-006中命題邏輯量詞謂詞邏輯數論

a. (5 points) The Goldbach's conjecture says, "every even integer greater than 2 is a sum of two prime numbers." Please translate Goldbach's conjecture into a logical formula using $\forall$ , $\exists$ , $and$ $(\land)$ , $or$ $(\lor)$ , $not$ $(\neg)$ , $implies$ $(\rightarrow)$ and $if\text{-}and\text{-}only\text{-}if$ $(\leftrightarrow)$ , and the four basic integer arithmetic operators $(+,-,*,/)$ . Note that $/$ is integer division, for example, $5/2=2$ .

📄 交大113

▤完整推導請見《WH 資工筆記 · 離散數學》Ch10 偏序集、格、布林代數與命題邏輯

本章題號 · 1–18 / 18