離散數學-第一章 - 國立交通大學資訊工程學系 NCTU ...

命題公式 在前面，曾經說明，常用大寫英文字母表示命題。用一個符號表示某個特定命題，稱為命題常量，也可用同一個符號表示任意的命題，稱為命題變元。若 ...

cis.nctu.edu.tw