A formai propozicionális logika
Munka közben a nyilatkozatok elvonatkoztatunk a saját kipirult, azt csak a saját igaz vagy hamis. Minden megnyilatkozás - deklaratív nyilatkozat egy természetes nyelv. Annak ellenére, hogy a természetes nyelv sokkal gazdagabb, mint propozicionális logika algebra, az alábbi táblázat mutatja az egyik módja a formális összetett állítások, azaz a építése logikai képleteket.
Vegyük példaként az építési képletek, azzal a megkötéssel, hogy az egy „tiszta időben», B- «esős időjárás, a” c »szélmalom időjárás«.
Szakszervezetek és a részecskék természetes nyelvi
propozicionális algebra műveletek
Tiszta időben, esős
világos vagy esős időben
Ez lesz szeles vagy esős
Nem igaz, hogy a tiszta időben
„A” elégséges feltétel „b”
világos időjárás esős időjárás elegendő
Ha az időjárás tiszta, esni fog
„A” szükséges feltétele a „b”
Tiszta időben előfeltétele esős időjárás
„És” akkor és csak akkor, ha a „b”
Szép időben történik, akkor és csak akkor, ha nincs eső
Tiszta időben vagy eső, felhők
vagy „a” vagy „b”, de nem mindkettő
Vagy most az időjárás tiszta vagy esős, de nem világos, hogy az eső
A formális természetes nyelvi kimutatások lehet használni a következő megközelítést. Legyen adott logikus állítás (kompozit).
Jelölje ki az összetett kijelentések egyszerű állítások és jelzésére a latin betűket.
Építs egy elemzési fa. amelyben minden csúcsba megfelel egy logikai ínszalag (művelet), és a végén csúcsok - egyszerű megnyilvánulás.
Jegyezzük fel a logikai formula által áthaladó a fa szerkezet a fa és logikai műveletek elsőbbséget.
Tekintsük a logika nyilatkozata:
„Nem igaz, hogy van egy eső vagy szeles és hideg”
Mi válasszuk egyszerű kijelentéseket, és helyettük a betűt:
Az első szakaszban a kiválasztani kívánt a gyökér.
Ebben az esetben a gyökér lesz egy csomó nyelvtani - „Érvénytelen”.
A második fázisban az építés a fa meg kell értenie, hogy mennyi és milyen betűk és / vagy nyelvtani csomag lesz a következő szintre.
A mi esetünkben ez lesz csak egy nyelvtani csomó - „Vagy”.
Fontos megjegyezni, hogy ha a csúcspont (bármilyen, nem feltétlenül a root) a „Denial” ( „Hamis”), akkor lehet menni egyedül ága.
Továbbá, a harmadik szakaszban, azt szeretnénk, hogy válassza ki a tetején, amit továbbra is épít a fát.
A mi esetünkben ez az egyik, ezért ismételjük meg a 2. számot, és menj a következő szintre a fa: a harmadik.
A választás egy egyszerű nyilatkozatot (levél) - „A” és egy csomó nyelvtani - „és”.
Menj vissza a 3. lépéshez, és válassza ki a számos kiváló - „és”.
Fontos megjegyezni, két szabály:
Mindig kell mozgatni a fát fentről lefelé és balról jobbra.
Wood talán soha véget csomópontok nyelvtani szalagok (műveletek).
Visszatérve a 2. lépésre, úgy döntünk, az egyszerű kifejezéseket (karakter), és C. A fa van kialakítva.
Ábra. Az 1. ábrán egy fát, mondván: „Ez nem igaz, vagy B és C».
Ábra. 1. Épület egy fát „Érvénytelen, vagy B, és C»
Cserélje ínszalag műveletek nyelvtani nyilatkozatok (2.ábra).
Alapján az épített fa, írhatunk logikai nyilatkozata: „Ez nem igaz, nincs eső, vagy szeles és hideg” a nyelv a formális logika: