Logika Marnotrawny: Czy mógłby mi ktoś wytłumaczyć na czym polega dowodzenie dowodzenie takich praw rozkładu kwantyfikatorów na poniższym przykładzie? 1. ∀x (A(x) ⇒ B(x)) ⇒ (∀x A(x) ⇒ ∀x B(x))

5-latek: No na kazdej tylko nie pisz z bledami