Predikatni račun

Iz MaFiRaWiki

Vsebina

  1. Domena in predikati;
  2. Kvantifikatorji;
  3. Sintaksa predikatnega računa;
  4. Zaprte izjavne formule;
  5. Interpretacija oz. semantika predikatnega računa;
  6. Tavtologije ter enakovredne izjave;
  7. Prenesena normalna oblika;
  8. Sklepanje v predikatnem računu.

Glej tudi

Diskretne strukture 1 (IŠRM)

Osebna orodja