Negace konjunkce

Tady to je vysvětlené.

Negace konjunkce je disjunkce negací. Jsou to také nějaké implikace (ty neumím/nepoužívám).

Pokud píšete negace jako vodorovnou čárku nad výrazem, tak si to jde pamatovat tak, že čárka jakoby propadne dolů, rozdělí se na 3 části a vše zneguje (z A bude /A, z konjunkce bude NEBO, z B bude /B)

Co je to konjunkce dvou výroků A a B? _{To je výrok, který platí tehdy a jen tehdy (neboli právě tehdy), jsou li pravdivé oba tyto výroky. Značí se různe, napříklat A et B, A vel B, A ∧ B, A & B}

_{Tak a teď se podíváme na to tvé vyjádření pomocí implikace. Konjunkce je vůči oběma výrokům symetrická, řeknu-li "A a (zároveň) B", je to totéž.jako když řeknu} "B a (zároveň) A". Pak ovšem musí být symetrická i negace konjunkce, a pokud by negací konjunkce byla implikace A⇒ B, z důvodů symetrie by jí musela být i implikace B⇒ A a tyto dva výroky by znamenaly totéž, což samozřejmě není pravda.

Na druhou stanu jestliže znegujete konjunkci, dostanete výrok pravdivý práve tehdy, když nejsou oba výroky A a B pravdivé. To jsou tři možnosti" budě baplatí A (tedy platí non A), nebo (zde to nebo chápu jako slovíčko běžné řeči, ne jako logockou spoju) platí nonB , nebo doonce neplatí ani A, ani B, což v řeči matematické logiky je výurok

nonA v non B

jak ostatně vysvětluje i čtenář.

a nikoli, jak tvrdíte, že jste se učili,

A∨B

což je výrok pravdivý, je-li pravdivý alespoň jeden z obou výroků A a B, ale možná oba; speciálně je pravdivý, platí-li konjunkce, a není tedy její negací.