けいしき-ろんり [5] 【形式論理】 命題や推論について，その内容にかかわらず，ただその形式面から真偽を問う論理。