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?

wmboczek: lewa strona jest prawdziwa gdy oba zdania są zawsze prawdziwe a to oznacza 1⋀1 po prawej lewa strona jest fałszywa gdy choćby jedna z funkcji przyjnuje dla choćby 1 x wartość 0, a to oznacza że po prawej mamy 1⋀0 albo 0∧1 albo 0⋀0