2. Logika Flashcards
kijelentés/állítás
A klasszikus logikában kijelentésnek vagy állításnak nevezünk egy nyelvtanilag kijelentő mondatot, melynek tartalmáról eldönthető, hogy igaz vagy hamis.
Feltesszük, hogy minden állítás vagy igaz vagy hamis, továbbá azt is, hogy egy állítás egyszerre nem lehet igaz is és hamis is.
logikai érték
Ha egy A állítás igaz, akkor azt mondjuk, hogy a logikai értéke igaz, ha A hamis, akkor a logikai értéke hamis. Az A állítás logikai értékének a jele |A|, az igaz logikai értékei i-vel vagy 1-gyel, a hamis értéket h-val vagy 0-val jelöljük.
Tagadás
A tagadás egy egyváltozós logikai művelet, mely egy A állításhoz a ¬A-val jelölt tagadását rendeli hozzá. Az A állítás tagadásának a logikai értéke igaz, ha A logikai értéke hamis, és hamis, ha A logikai értéke igaz.
Tetszőleget A állítás esetén |A| = |¬¬A|.
Logikai és
A konjunkció egy kétváltozós művelet, amelyet a ∧ jelöl. Az A ∧ B kijelentés logikai értéke pontosan akkor igaz, ha az A, illetve a B állítások mindegyike igaz.
Logikai vagy
A diszjunkció egy kétváltozós logikai művelet, amelyet a ∨ jelöl. Az A ∨ B kijelentés logikai értéke pontosan akkor igaz, ha A és B állítások közül legalább az egyik igaz.
Implikáció
Az implikáció olyan kétváltozós logikai művelet, melyet → jelöl. Az A → B kijelentést „ha A, akkor B” módon fogalmazzuk meg. Az A → B kijelentés logikai értéke hamis, ha A logikai értéke igaz, B logikai értéke hamis, minden más esetben A → B logikai értéke igaz.
Ekvivalencia
Az ekvivalencia olyan kétváltozós logikai művelet, melyet ↔ jelöl. Az A ↔ B kijelentést „A akkor és csak akkor, ha B” módon fogalmazzuk meg. Az A ↔ B kijelentés logikai értéke pontosan akkor igaz, ha A és B logikai értéke megegyezik. Az A ↔ B kijelentés az (A→B) ∧ ( B→A) kijelentés rövidítése.
Logikai műveletek tulajdonságai
ellentmondásmentesség
harmadik kizárás elve
De-Morgan azonosságok
Ellentmondásmentesség
Egy állítás nem lehet egyszerre igaz is és hamis is. |A ∧ ¬A|=h
Harmadik kizárás elv
Ha egy A kijelentés nem igaz, akkor A hamis. |A ∨ ¬A|=i
De-Mordan azonosságok
|¬(A ∨ B)| = |¬A ∧ ¬B|
|¬(A ∧ B)| = |¬A ∨ ¬B|
Kijelentéslogikai formulák
Kijelentéslogikai formuláknak nevezzük a kijelentésváltozókból, műveleti jelekből és zárójelpárokból álló véges hosszú sorozatot, mely előállítható a következő két szabály véges sokszori alkalmazásával:
- Minden kijelentésváltozó formula.
- Ha F és G formulák, akkor ¬(F), (F) ∧ (G), (F) ∨ (G),(F) → (G), (F) ↔ (G) is formulák.
Formalizálás (kijelentéslogika)
A kijelentéslogika segítségével az állítások igazságértékeit matematikai formalizálással meg tudjuk adni. A formalizálásra azért van szükség, mert a természetes nyelvben többértelműség is előfordulhat, így nehéz az érvek helyességét megállapítani.
Diszjunktív normálforma
Egy F formulát diszjunktív normálformának nevezünk, ha olyan konjunkciók diszjunkciója, melyben minden konjunkcióban a változók mindegyike legfeljebb egyszer fordul elő (negálatlanul, vagy negáltan). Ha egy F diszjunktív normálformulában minden konjunkcióban minden változó pontosan egyszer fordul elő, akkor F-t teljes diszjunktív normálformának nevezzük.
Konjunktív normálforma
Egy F formulát konjunktív normálformának nevezünk, ha olyan diszjunkciók konjunkciója, melyben minden diszjunkcióban a változók mindegyike legfeljebb egyszer fordul elő (negálatlanul, vagy negáltan).
