ここでの命題計算では八つの推論規則を考える。これらの規則によって真だと仮定された式たちからほかの真な式を導くことができる。最初の六つは単に特定の整式をほかの整式から導けると述べている。一方で、最後の二つの前提では（まだ証明されていない）仮定を一時的に用いている。このことを指して、最初の六つの規則を非仮定的規則、最後の二つは仮定的規則であると言う。
規則の健全性と完全性.
個々に挙げられた規則の重要な性質は健全性と完全性である。直感的には、これらの規則は正しくしかも他に必要な規則はないということである。これは以下のようにして形式化される。
上記の自然命題論理の規則の集合についてはこれらが成り立っている。
別の論理計算の定式化.
文法と論理演算子のほとんどを公理によって定め、推論規則を一つだけしか持たないような、他の方式の命題計算を定義することもできる。
のみを規約する。上記の公理系とこの推論規則から#推論規則節で述べられたのと同じ演繹が可能になる。
ダフィット・ヒルベルトによって定式化された公理系を以下に示す：
他の命題計算.
命題計算は、現在用いられている論理計算の中でも最も単純なものだと言える（アリストテレスの三段論法は、後述の述語論理に吸収されるため、現代論理学では取り扱われることは少ないが、命題計算とくらべて、言語表現を忠実に分析するという意味では、より素朴な考え方だとも言える。また、推論形式が限定されている点で、形式的にも一見単純である。ただし、現代論理の立場から省みると、そのような推論形式の制限は、かえって理論を複雑にする。また、文構造を主語と述語に分け、量化の概念を導入するなど、より精密だと言える。）。いくつかのやり方で命題計算を拡張することができる。
より複雑な論理計算を作り上げるうえで最も直接的な方法は、用いられる式についてより細かいことが言えるような規則を導入することである。命題論理の「原始的叙述」を項や変数、述語、量化子に分解することを考えると一階論理、または一階述語論理と呼び、命題論理の規則をすべて保ちながらさらに新しい規則を加えたものを得る。（例えば「すべての猫はほ乳類である」から「たまが猫なら、たまはほ乳類である」を推論できる、など。）