けいしき‐ろんりがく【形式論理学】 の意味