Matematyka.pl

malymisio888 pisze: ↑14 sty 2020, o 10:24Czyli ostatetcznie \(\displaystyle{ \displaystyle{ \forall c \exists a } \ c \ge a }\) ?

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).

Możesz zostawić to w wersji \(\displaystyle{ \forall c \exists a\ \neg c < a. }\)

JK

W zadaniu nic więcej nie było powiedziane, ok dziękuje