形式論理学けいしきろんりがくkeishikironrigakunounformal logicKanji in this word学study式style形shape理logic論argumentStudy it in Yanamino