логик баталгаа
日本語
論理証明
英語
logical proof
備考
used in propositional logic