表記は論文によって様々で、これにformula_9(propositions-命題論理変数)またはformula_10(variables-命題変数から)を追加するもの、