自然数の組に対する二項演算 $\small \bigcirc$ および $ \triangle$ は以下の条件を満たすとする。
$$
\newcommand{\o}{\ \small\bigcirc \ \normalsize }
\newcommand{\tr}{\ \triangle \ }
a\tr b=\underbrace{(a\o (a\o (\cdots \o(a\o a))))}_{a\ が\ b\ 個}
$$
二項演算 $\tr$ が可換性
$$
a\tr b=b\tr a
$$
を満たすとき、次の問に答えよ
(1) $1\o 1=2$ を示せ。
(2) 演算$\o$が結合法則
$$
a\o(b\o c)=(a\o b)\o c
$$
を満たすとき $2020\tr 2019$ の値を求めよ。
(2)の値を半角数字で記述せよ。
$(2)$ $a \o b$ を(1)と数学的帰納法から求めましょう。これはよく知っている演算になります。
$(2)$ 演算 $\o$ は通常の足し算 $a\o b=a+b$ となることがわかります。これに対する $\tr$ はどんな演算でしょうか。
この問題を解いた人はこんな問題も解いています