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