“命題公式”造句，怎麼用命題公式造句

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

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

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

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

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

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