用命題公式造句子，“命題公式”造句

命題邏輯中的推理規則可以用來*一個已經表示成命題公式的定理，但它還不便於機械化實施。

對二值命題邏輯系統的程度化研究中命題公式的真度問題進行討論。

給出了命題邏輯中任一命題公式的真值表的生成算法與命題公式類型的判定算法，實現了利用計算機對有限多個命題公式的真值表的直接計算和輸出，以及對一個命題公式是重言式、矛盾式或可滿足式的機械判定。

詳細説明：命題邏輯中的推理規則可以用來*一個已經表示成命題公式的定理，但它還不便於機械化實施。

在對命題邏輯代數化表示的基礎上，通過解多項式方程組，對命題公式進行等價轉換、演繹推理。

極小項和極大項是主範式問題的核心，體現了命題公式的成真賦值和成假賦值以及公式類型等諸多特徵。