IZJAVNA LOGIKA

Izjavni račun

Pri računanju s števili je pomemben vrstni red različnih operacij. Prav tako moramo tudi v izjavnem računu upoštevati oklepaje in vrstni red oziroma prioriteto izjavnih povezav. Kadar v izjavi ni oklepajev, najprej izvedemo povezavo z najvišjo prioriteto, potem tisto, ki ji sledi, in tako naprej do zadnje povezave.


Izjavne povezave si sledijo takole od navišje do najnižje prioritete:

  1. negacija
  2. konjunkcija
  3. disjunkcija
  4. implikacija
  5. ekvivalenca

Če je v izjavi več enakih izjavnih povezav (brez oklepajev), potem jih izvajamo od leve proti desni.

Primer:
A ∧ B ∧ C ∧ D izvedemo kot
(((A ∧ B) ∧ C) ∧ D)


Pravilnost sestavljene izjave glede na vse možne kombinacije pravilnosti elementarnih izjav prikažemo s pravilnostno tabelo. Vse možne kombinacije pravilnosti elementarnih izjav imenujemo polni nabor. Število kombinacij v polnem naboru je odvisno od števila elementarnih izjav. Izračunamo ga po formuli (2^število elementarnih izjav).


NASLEDNJA STRAN