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.
22 gru 00:41
Brzusiu Kiełbasiany: up
22 gru 01:00