Określ wartość logiczną zdania i zbuduj ich zaprzeczenie.

[masiph]

Witam, mam zadanie o w/w treści i nie mogę sobie poradzić z jednym przykładem, może ktoś pomóc ?

\(\displaystyle{ \bigvee_{a \in N} \bigvee_{b \in C} (x+1)^{2}|(x ^{4}+bx ^{3}+2x ^{2}+ax+1)}\)

Głównym problemem w tym przypadku są dla mnie te parametry \(\displaystyle{ a}\) i \(\displaystyle{ b}\), oraz to jak zbudować zaprzeczenie tego zdania.
Ps. Te dwa symbole na początku to są kwantyfikatory szczegółowe dla parametrów \(\displaystyle{ a}\) i \(\displaystyle{ b}\).

[miodzio1988]

jak się zaprzecza podwojny kwantyfiaktor ?

[masiph]

nie mam pojęcia, ja by to zdanie w sumie zaprzeczył po prostu negacją przed całym zdaniem.

Kod: Zaznacz cały

~[zdanie]

Albo może kwantyfikatory szczegółowe zastąpić ogólnymi.

[lightinside]

A nie da się coś wycisnąć z prawami De Morgana dla kwantyfikatorów? (Wydaję mi się że tak)

[masiph]

Dobra, to później najpierw muszę wykonać jakoś to dzielenie wielomianów z tymi parametrami a nie mam pojęcia jak to zrobić.-- 14 paź 2012, o 15:20 --Może ktoś pomóc?