Izjavni račun

Iz MaFiRaWiki

Izjavni račun je ime za logično teorijo, ki obravnava izjave in njihove valuacije.

Vsebina

  1. Enostavne in sestavljene izjave;
  2. Izjavni vezniki: negacija, konjunkcija, disjunkcija, implikacija, ekvivalenca, ...;
  3. Izjavni izrazi kot formalizem izjav;
  4. Resničnostna tabela, tavtologija, protislovje;
  5. Enakovrednost izjav, zakoni izjavnega računa;
  6. Disjunktivna normalna oblika (DNO) in konjunktivna normalna oblika (KNO);
  7. Polni nabori izjavnih veznikov;
  8. Sklepanje: pravilni in nepravilni sklepi, sklepi iz pogovornega področja;
  9. Pravila sklepanja;
  10. Pomožni sklepi: pogojni sklep, sklep s protislovjem, analiza primerov.

Glej tudi

Osebna orodja