Udowodnic nastepujaca wlasnosc liczb wymiernych: \(\displaystyle{ \forall m \in N \vee a,b \in R: \forall q \in Q \cap (a,b)}\) zachodzi implikacja: \(\displaystyle{ q= \frac{r}{s}}\) dla pewnych \(\displaystyle{ r,s \in Z}\) i \(\displaystyle{ s>0 \Rightarrow s \ge m.}\)
Ostatnio zmieniony 10 lis 2010, o 09:57 przez Qń, łącznie zmieniany 1 raz.
Powód:Zły dział. Poprawa wiadomości. Nie używaj spójników jako kwantyfikatorów.
