2023-07-27から1日間の記事一覧
定理2.2 (結合法則) 14項 とする.このとき次が成立する. (1) (2) (証明) (1)について (ア) (イ) のうち,(イ)は(ア)と同様に示されるので,(ア)のみを示す. (ア)について (∀-除去) i.e. をいう. 1 (1) 仮定 2 (2) 仮定 3 (3) 仮定 3 (4) 3.∨-導入 5 (5) …
定理2.2 (結合法則) 14項 とする.このとき次が成立する. (1) (2) (証明) (1)について (ア) (イ) のうち,(イ)は(ア)と同様に示されるので,(ア)のみを示す. (ア)について (∀-除去) i.e. をいう. 1 (1) 仮定 2 (2) 仮定 3 (3) 仮定 3 (4) 3.∨-導入 5 (5) …