＞＞248すいません。よく言っているいみがわかりません。

僕も演繹定理を自由に使いたいのはやまやまなんですが。
まだ閉論理式の謎が解けないいじょうは認めるわけにはいかないのです。
本当は熟知していると思われる＞＞199さんに教えて欲しいところですが。