2021-05-09から1日間の記事一覧
前回は S、T が ¬(0∈S) ∨ ¬(0∈T) を満たす場合でしたが,一般には ∃s∃t(z=s*t ∧ s∈S ∧ t∈T) ⇔ ∃s∃t(z=s*t ∧ s∈S ∧ t∈T ∧ (s≠0 ∨ s=0)) ⇔ ∃s∃t(z/s=t ∧ s∈S ∧ t∈T) ∨ ∃s∃t(z=0 ∧ s=0 ∧ s∈S ∧ t∈T) ⇔ ∃s(s∈S ∧ z/s∈T) ∨ (z=0 ∧ 0∈S ∧ T≠{})のように選言とな…
前回は S、T が ¬(0∈S) ∨ ¬(0∈T) を満たす場合でしたが,一般には ∃s∃t(z=s*t ∧ s∈S ∧ t∈T) ⇔ ∃s∃t(z=s*t ∧ s∈S ∧ t∈T ∧ (s≠0 ∨ s=0)) ⇔ ∃s∃t(z/s=t ∧ s∈S ∧ t∈T) ∨ ∃s∃t(z=0 ∧ s=0 ∧ s∈S ∧ t∈T) ⇔ ∃s(s∈S ∧ z/s∈T) ∨ (z=0 ∧ 0∈S ∧ T≠{})のように選言とな…