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