részlet:

Kijelentéslogika
Igazságfüggvény: egy összetett mondat igazságértéke, vagyis részmondatai igazságértékének függvénye.
Logikai szavaink egy része legkevesebb két elemi állítást kapcsol össze bonyolultabb mondattá.
Negáció: Tagadni negálni egy mondatot azt jelenti, hogy az eredeti mondat igazságértékét az ellenkezőjére változtatjuk, az igaz állításból hamis, a hamis állításból igaz keletkezik. Jele: . Kétszeres negáció…
Konjunkció: olyan logikai művelet, melynek során az „és” szavunk vagy ennek lehetséges stiláris variánsai  segítségével úgy kapcsoljuk össze állításainkat, hogy tények együttes fennállását fejezzük ki. Egy esetben igaz, amennyiben minden eleme igaz, minden más esetben hamis.
Vagy szavunkhoz kapcsolódó műveletek
A „vagy” kötőszó legalább két értelemben használatos a kommunikáció során. Az első eset, mikor logikailag megengedett, hogy mindkét következményt hozzákapcsoljuk a feltételhez, míg a másiknál kizárt. Tehát a kötőszó értelmének megfelelően beszélhetünk alternatív (megengedő) és diszjunktív (kizáró) kapcsolatról.
1. Alternáció: logikai szava a „vagy”, jele pedig: .  Egy alternáció abban ez esetben igaz, ha legalább az egyik eleme igaz, és csak akkor lehet hamis, ha minden eleme hamis.
2. Diszjunkció: maga a szó szétválasztást jelent, és ez fontos a logikai értelmezés szempontjából. A diszjunkció akkor, és csak akkor igaz, ha tagjainak igazságértéke különböző. Pl. „Döntsd el, hogy alszol vagy dolgozol!”. Akkor használunk ilyet, ha mindkét változat bekövetkezését el akarjuk kerülni. Logikai szava a kétértelmű „vagy”, jele pedig: .

letöltés