什麼叫做命題的邏輯形式

命題邏輯是指以邏輯運算符結合原子命題來構成代表"命題"的公式，以及允許某些公式建構成"定理"的一套形式"證明規則"。相對於謂詞邏輯，它是量化的並且它的原子公式是謂詞函數;和模態邏輯，它可以是非真值泛函的。