A_1,\cdots,A_m \vdash B_1,\cdots,B_nというシークエントの、A_iとB_jが同じ命題記号であるようなもの

トートロジーである

単純な例だと

A\vdash Aとか

P\land Q\land R\to S\lor Qとか