Pork Dandelion
@Hamulily
Tue, Sep 12, 2023 9:33 AM
6
1
¬(∃x∃y¬P(x, y) ∧ ∀x∀yQ(x, y)) ≡ (¬∃x∃y¬P(x, y)) ∨ (¬∀x∀yQ(x, y)) ≡
(∀x¬∃y¬P(x, y)) ∨ (∃x¬∀yQ(x, y)) ≡ (∀x∀y¬¬P(x, y)) ∨ (∃x∃y¬Q(x, y)) ≡
(∀x∀yP(x, y)) ∨ (∃x∃y¬Q(x, y))
Kenpoi
@Kenpoi
Tue, Sep 12, 2023 1:34 PM
nem chama...........
載入新的回覆
(∀x¬∃y¬P(x, y)) ∨ (∃x¬∀yQ(x, y)) ≡ (∀x∀y¬¬P(x, y)) ∨ (∃x∃y¬Q(x, y)) ≡
(∀x∀yP(x, y)) ∨ (∃x∃y¬Q(x, y))