• Bejelentkezés
  • Szócikk
  • Vitalap
  • Lapforrás
  • Laptörténet
  • A Fogalomtár wikiből

    Formális rendszer

    Ha valamely formális nyelven megfogalmazunk véges számú alapállítást (axiómát) valamint adunk véges számú formális képzési szabályt (következtetés), akkor egy formális rendszert kapunk. A képzési szabály olyan eljárás, ami a nyelv szimbólumain meghatározott algoritmus szerint elvégzett művelet. A képzési szabályokat úgy kell megválasztani, hogy az adott szemantika mellett garantálják, hogy helyes állításokat jelölő kifejezéseken elvégzett szabályos műveletek helyes állításokat eredményezzenek.