Učivo

Výroková logika

Složitější negace
Bohužel ne vždy je negování takto jednoduché a často se setkáme s trochu složitějšími případy negování, ale není to žádná věda.
Vše si vysvětlíme na příkladech.

V tašce mám právě tři čokolády.
negace: V tašce mám nejvýše dvě čokolády.
nebo: V tašce mám alespoň čtyři čokolády.
Slovo právě nám říká, že v té tašce jsou přesně tři čokolády. Když budu negovat, tak tam nesmí být přesně tři ( z předchozího vysvětlení negace). Tedy jich je dvě a méně (nejvýše dvě) nebo 4 a více (alespoň čtyři).

V tašce mám nejvýše tři čokolády.
negace: V tašce mám alespoň čtyři čokolády.
Mám nejvýše tři čokolády, to znamená, že jich mám žádnou, jednu, dvě a maximálně tři. Takže když neguji, nesmím jich mít žádnou, jednu, dvě ani tři - tedy jich mám minimálně čtyři.

V tašce mám alespoň tři čokolády.
negace: V tašce mám nejvýše dvě čokolády.
V tašce mám alespoň tři - minimálně tři/ tři a více, takže při negaci jich musím mít méně než tři - maximálně dvě.

Každá čokoláda v mé tašce je oříšková.
negace: Alespoň jedna čokoláda v mé tašce není oříšková.
Všechny jsou oříškové - při negaci nesmí být všechny oříškové. Tedy minimálně jedna není oříšková.

Žádná čokoláda v mé tašce není oříšková.
negace: Alespoň jedna čokoláda v mé tašce je oříšková.
Všechny čokolády v tašce jsou jiné, než oříškové. Takže při negaci musí být minimálně jedna oříšková.

3 / 21

Zneguj: Tato kniha má nejvíce 30 stran.