Rachunek predykatów Ciekawa: Udowodnij, że dla dowolnych formuł α i β podane formuły są tautologiami rachunku predykatów. ¬(∃x)α(x) ↔ (∀x)(¬α(x)) Jak to zapisać?

math: no prosto nieprawda że istnieje x taki że α(x) oznacza tyle samo co Lewa strona: ¬(∃x)α(x) ⇔ ∀x (¬α(x) ) stąd przekształciliśmy lewą stroną i otrzymaliśmy prawą − negacja ∃ zamienia na ∀ + trzeba zanegować to co jest w "środku" i gotowe pzdr