Zaprzeczenie zdania Kondixd: Jeśli mam zaprzeczyć zdanie ∃xΦ(x) ∧ ∃xφ(x) => ∃x[Φ(x) ∧ φ(x)] to powininenem skorzystac z (∼(p⇒q))⇔(p∧(∼q)), czy po prostu zamienić wszystkie kwantifikatory ∃ na ∀ I ⋀ na ⋁ I zostawić znak implikacji?

Basia: oczywiście musisz skorzystać najpierw z zaprzeczenia implikacji czyli będzie ∃_x Φ(x) ∧ ~[ ∃_x φ(x) ] ⇔ ∃_x Φ(x) ∧ ∀_x (~φ(x))