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

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

第 9 題／共 18 題

9. 命題邏輯、量詞、一階邏輯

#LS-10-009易命題邏輯量詞一階邏輯

(5 points) Please translate the following statement in first-order logic. "There are infinite natural numbers." Please use $N$ to denote the set of natural numbers. The notation $x \in N$ means that $x$ is a member of $N$ .

📄 交大112

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

本章題號 · 1–18 / 18