Negáció

Mi a negáció? Legyen és két állítás! Bizonyítsa be, hogy !
A negáció egyváltozós művelet. Egy kijelentés negációja a "nem igaz, hogy " kijelentést, vagyis tagadását jelenti.
Fontos összefüggés a diszjunkció és a konjunkció között: ...

A negáció (tagadás) egyváltozós logikai művelet; egy állításhoz hozzárendel egy másik állítást.
Például: a "szeretek aludni" állításhoz a "nem szeretek aludni" állítást rendeli hozzá.

Ha p egy kijelentés, akkor a szimbólummal jelölt 'nem p' kijelentés p tagadása (negációja). Ez p-nek az ellentétét jelenti.

Definíció: Logikai jelek halmaza, aritás függvény. Negáció, konjukció, diszjunkció, implikáció, ekvivalencia.
Definíció: Legyen B a logikai jelek halmaza. Legyen V betűk/változók/határozatlanok halmaza. A B bázisú logikai formulák ...

AB: diszjunkció, megengedő vagy művelet. Eredménye abban az egy esetben nem igaz, ha mindkét állítás nem igaz. Kommutatív és asszociatív. A: negáció, tagadás művelet. Eredménye a kijelentés tagadása.

Lásd még: Halmaz, Függvény, Rendszer, Definíció, Diszjunkció