Rachunek kwantyfikatorów Przemek: ∀x (φ(x) ⋀ ψ(x)) ⇔ (∀x φ(x) ⋀ ∀x ψ(x)) Należy to dowieść. Gdybyście mogli pomóc... 1) Jak wygląda dowodzenie takich rzeczy w porównaniu ze zwykłymi tautologiami (bez kwantyfikatorów itd.). Mam na myśli to, że przy tamtych dowodach mogę wszystko rozpisać w tablicy i sprawdzić, czy dla każdego przypadku wychodzi 1. Jak to robić tutaj? 2) Są może jakieś odpowiedniki Sekwentów Gentzena dla tego rodzaju dowodów? Jeżeli tak to jakie?