えんえきろんりがく

  1. noun (common) (futsuumeishi)

    deductive logic
    rare term