Képletek propozicionális logika
Képletek propozicionális logika.
A fő feladata a propozicionális logika a tanulmány logikai forma összetett mondatok segítségével logikai műveleteket. A koncepció a logikai kijelentések bonyolult alakú megadva a beviteli alsó fogalmak képlet propozicionális logika.
Ahhoz, hogy olvassa el a nyilatkozatokat is használható kis betűkkel a latin ábécé végén (esetleg indexek). Ugyanakkor, egy nyilatkozatot (igaz vagy hamis) jelöl ki ez vagy az a levél, feltesszük az ismeretlen. Tény, hogy a levél
fog játszani a változók, figyelembe, mint az igazság értékeit értékek „igaz” és „hamis”. Általában ezeket a változókat nevezzük propozicionális változók, mi is hívjuk őket elemi képletek, vagy atomok.
A konstrukció propozicionális formulák eltérő karakter (1) alkalmazunk jelek logikai műveletek
valamint a karakterek, amely egy egyértelmű leolvasását képletek - bal és jobb zárójelek:
A koncepció a propozicionális logika képlet meghatározása a következő:
1) általános képletű (atomok) vannak propozicionális logikát képletű;
2) ha A és B - általános képletű, a képletek is propozicionális logikát;
3) Csak azok a kifejezések képletek propozicionális logika, amely következik 1) és 2).
Meghatározása képlet felsorolja a szabályok képletek kialakulását. Definíció szerint, minden propozicionális logika képletű vagy egy vagy több atommal van kialakítva a szekvenciális szabály 2) használja. Például, a kifejezés
képletek propozicionális logika.
Jelöljük tetszőleges formulák propozicionális logika lesz az ábécé (esetleg indexek):
Nem kizárt, hogy ugyanaz a képlet lehet jelezni a különböző betűk.
Megjegyzendő, hogy nem atom nem rendelkezik a forma Ez a fajta bonyolult képletek.
Az első fejezetben, ahelyett, hogy „propozicionális logika formula” mi gyakran egyszerűen azt mondják „képlet”, ahol nem okoznak zavart.
A számát zárójelben a képletekben csökkenteni lehet beírásával a megállapodás: 1) egy összetett képlet elhagyjuk a külső zárójelek. 2) a jelek logikai műveletek a „szolgálati idő” :. Ebben a listában, a jel a legnagyobb kiterjedésűek, és - a legkisebb. Kevesebb távcsöves művelet jele utal azon részeinek a képletet, amely „használt” (ahol a „funkciók”), hogy jelölje meg a bejegyzés alatt áll. Elfogadom, hogy kihagyja bármely általános képletű, e pár zárójelben, hogy lehet hasznosítani, figyelembe véve a „elsőbbségi sorrend”. Amikor visszaállítja a zárójelbe kerülnek először tartószerkezeteket, amelyek az összes előfordulását a karakter (ebben az esetben haladunk balról jobbra), akkor minden előfordulását a jel, és így tovább. D.
Példa. A képletben zárójelek kinyerjük a következő lépésekben:
Nem minden formula írhatók zárójel nélkül. Például, a képlet további eliminációs zárójelbe lehetetlen.