さらに、この命題変数の概念から次のように命題式(propositionalformula)が再帰的に定義される.
さらに、この