Bài tập 3, § 3

Cho $A_1$, $A_2$, ..., $A_n$ là các quan hệ trong một lý thuyết lôgic $\mathscr{T}$.

(a) Để chứng minh quan hệ "$A_1$ hoặc $A_2$ hoặc ... hoặc $A_n$" trong $\mathscr{T}$, chỉ cần chứng minh $A_n$ trong lý thuyết thu được bằng cách thêm vào $\mathscr{T}$ các tiên đề không $A_1$, không $A_2$, ..., không $A_{n-1}$.

(b) Nếu "$A_1$ hoặc $A_2$ hoặc ... hoặc $A_n$" là một định lý trong $\mathscr{T}$, thì để chứng minh một định lý $A$ trong $\mathscr{T}$, chỉ cần chứng minh các định lý