23/03/11 12:37:40.47 p+G5l0OB.net
>>201
「∃x∈A P(x)」⇔「∃x x∈A ∧P(x)」
「∀x∈A P(x)」⇔「∀x x∈A→P(x)」
公式として覚えておきましょう
23/03/11 12:37:40.47 p+G5l0OB.net
>>201
「∃x∈A P(x)」⇔「∃x x∈A ∧P(x)」
「∀x∈A P(x)」⇔「∀x x∈A→P(x)」
公式として覚えておきましょう
23/03/11 12:37:40.47 p+G5l0OB.net
>>201
「∃x∈A P(x)」⇔「∃x x∈A ∧P(x)」
「∀x∈A P(x)」⇔「∀x x∈A→P(x)」
公式として覚えておきましょう