To zależy od tego, co wiesz o porządku \(\displaystyle{ \le}\). Jeśli mamy do czynienia z liczbami naturalnymi bądź rzeczywistymi z naturalnym porządkiem (co nie wynika z samej treści zadania, które przedstawiłeś), to tak. Ale w pełnej ogólności - nie (ale to już nie ma związku z negowaniem kwantyfikatorów, co zrobiłeś poprawnie).malymisio888 pisze: ↑14 sty 2020, o 10:24Czyli ostatetcznie \(\displaystyle{ \displaystyle{ \forall c \exists a } \ c \ge a }\) ?
Możesz zostawić to w wersji \(\displaystyle{ \forall c \exists a\ \neg c < a. }\)
JK
