けいしきろんりがく

形式論理学

表記・読み：けいしきろんりがく

1. 1

   formal logic

   名詞