ｎ種類の命題変数を使って、文字数がmの論理式をつくります。
論理式には→のみしか出現しません。
例：
A→(B→A)
このとき括弧が正常なもの、
例えば
(A→B
のように括弧が閉じていなかったりするものを
除いた論理式は全部でいくつ作れるのでしょうか？