4. Témakörök vázlata: Logika

Logika 

kijelentés:

    "kijelentő mondat." 

    logikai érték: 

        -igaz (i)

        -hamis (h)

            logikai műveleti táblázatok 

    módosító elemek: 

        NEM = tagadás (¬A)

            NEM + MINDEN (∀) = létezik, amelyik nem 

            NEM + LÉTEZIK (∃) = mindenre jellemző, hogy nem 

    összekapcsoló elemek: 

        ÉS = konjunkció (A ∧ B)

        VAGY = diszjunkció (A ∨ B) 

    viszonyító elemek: 

        HA, ... AKKOR = implikáció (A → B) 

            -feltétel (A)

            -következmény (B) 

                megfordítás (B → A) 

        AKKOR, ÉS CSAKISAKKOR = ekvivalencia (A ↔ B)