Dowodzenie :#62;: Uzasadni¢, »e jeżeli X = {x₁, . . . , x_n} jest zbiorem skończonym to prawdziwe są wyrażenia: ∀_x Φ(x) ⇔ Φ(x₁) ∧ Φ(x₂) ∧ . . . ∧ Φ(x_n) To nowy dla mnie temat i nie wiem jak to zrobić .

jc: Jak dla każdego, to dla każdego ... Ten przykład raczej uzasadnia notację: ⋀ = dla każdego Uzasadnienie wymagałoby skorzystania z jakiś podstawowych własności, tylko jakich?