Kwantyfikatory

[cheruille]

Zapisz za pomocą kwantyfikatorów zaprzeczenie zdania nie używając symbolu negacji i oceń jego wartość logiczną:
\( \bigwedge_{n\in\nn} (n>3 \vee n \le 2) \)

[grdv10]

To zdanie jest ewidentnie prawdziwe, bo każda liczba naturalna jest albo większa niż 3, albo mniejsza lub równa 2.

Zaprzeczenie:\[\bigvee_{n\in\nn} (n\leqslant 3\wedge n>2).\]Oczywiście jest to zdanie fałszywe.

[Jerry]

To zdanie jest ewidentnie prawdziwe, bo każda liczba naturalna jest albo większa niż 3, albo mniejsza lub równa 2.

Zaprzeczenie:\[\bigvee_{n\in\nn} (n\geqslant 3\wedge n<2).\]Oczywiście jest to zdanie fałszywe.

Wg mnie \(3\in\nn\) nie czyni danego zdania prawdziwym, zatem nie każda liczba naturalna...
A zaprzeczeniem jest
\(\bigvee_{n\in\nn} (n\le 3\wedge n>2)\)
prawdziwe dla \(n=3\)

Pozdrawiam

[grdv10]

Owszem, dzięki. Człowiek widzi to co chce, a nie to co jest napisane. Nierówności w oryginalnym daniu są tak ustawione, że Ty masz rację. To chyba zmęczenie po całym dniu korek i tłumaczeniu pewnej książki. Dzięki. Poprawiam.