計算量理論とロジックとは何か関係があるのですか？
何にも関係なさそうに素人には見えます。
ロジックを使って複雑性について何か強い（つまり自明でない）ことが言えたりするの？