非単調論理ひたんちょうろんりひ'<たん'ちょう>･ろん'り6

Logiknichtmonotone Logik