sprawdzenie zdania z kwantyfikatorami Brzusiu Kiełbasiany: Każda liczba naturalna, która ma 2 dzielniki większe niż 1 jest parzysta. Proszę o sprawdzenie (∀n∊N)((∃o,p∊N)(o>1 ∧ p>1 ∧ p≠o ∧ o|n ∧ p|n ⇒ 2|n)) trochę mi to nie siedzi, proszę o sprawdzenie.

Brzusiu Kiełbasiany: up