A koncepció egy több keltethetőség az la általános képletű keltethetőség

SZÁMÍTÁSA VYSKAZYVANIY.Opredelenie IV.sistema axiómái képletű IW.

Ítéletlogika - ez axiomatikus logikai rendszert, amelynek értelmezése a propozicionális algebra.

Leírás minden számítás tartalmaz egy leírást ennek a számításnak szimbólumok (ábécé) képlet, a szimbólumok véges konfigurációk, és meghatározzuk kimeneti képletek.

2. ¯. , V, → - logikai művelet.

Más karakterek BPI nem.

Meghatározása IV általános képletű

1. Minden propozicionális változó - a képlet.

3. Ha az A és B a VI általános képletű, A B, A V B, A → B - is a VI általános képletű.

4. Nincs más karakterlánc nem egy formula IV.

A következő lépés az építőiparban a kiosztási IV osztály bizonyítható képletek. Allocation osztályú bizonyítható IV képletű alkalmazásával végezzük el a következtetési szabályok és axiómák.

ítéletlogika axiómarendszer

IV axiómarendszere áll 11 axiómák, amelyeket négy csoportra osztjuk.

I2. (X → (y → z)) → ((x → y) → (x → z));

Ii3. (Z → x) → ((Z → y) → (Z → X y));

III1. x → x V y;

III2. y → x y;

III3. (X → Z) → ((y → z) → (x V y → z));

Axiom IW meghatározza az eredeti osztály bizonyítható képleteket. Bizonyítható képlete A jelöljük | -A.

Meghatározása bizonyítható képletek kiszámításához vyskazyvaniy.Pravilo podstanovki.Pravilo következtetést.

Bizonyítható képlete A jelöljük | -A.

1. A helyettesítési szabályt. Legyen A - bizonyítható IV általános képletű, X - változók, - bármely IV képletű. Ezután a képlet amely nyert Formula A helyettesítjük be, ahelyett, hogy a X általános képletű B, bizonyítható. A helyettesítési művelet jelöljük:

Ezután a helyettesítési szabály van írva a következő:

2. az elítéltek jogai. Ha a B képlet, B → C - bizonyítható IV általános képletű, a C képletű - bizonyítható.

Általában bizonyítható képlet minden képlet, vagy amelyek egy axióma a bizonyítható vagy történő helyettesítésével kapott képlet és következtetéseit a szabályokat.

3. származékok következtetési szabályok:

I. - egyidejű helyettesítési szabályt.

II. - szillogizmus szabályt.

III. - szabály ellentétbe.

IV. a). b) - a szabályok eltávolítása kettős tagadás.

V. - általában egy összetett mondat.

A koncepció egy több kikelésére képletű formul.Pravila keltethetőség.

Tegyük fel, hogy van egy véges halmaza képletek IV N = 1. A2. ..., An>. Azt mondják, hogy a képlet B levezethető a beállított H (H | - B), ha:

vagy b) a B - bizonyítható IV általános képletű,

c) B kapunk, akár úgy a szabály következtetéseket C → B és C képletek levezethetők a beállított H.

Azt is mondják, hogy egy véges halmaza képletek B1. B2. ..., BK kimenete H., ha az egyes képletű Bi (i = 1, 2, ..., k) a beállított:

b) vagy Bi bizonyítható,

c) vagy Bi kapjuk az a szabály, következtetéseket képletek C, C → Bi. akik a visszavonás előző Bi.

Legyen H és W - két ítéletlogika képleteket. Fogja jelölni H, W szakszervezeti, hogy van,

Különösen, ha a beállított W áll egy C általános képletű, a szövetség lesz írva, mint H H, C.

Aztán ott van a szabályokat keltethetőségének:

5. - a tétel a levonás.

6. - általánosított tétel levonás.

7. - jellemzően együtt beadásra.

8. - a bevezetése egy szabály diszjunkciót.

9. - permutáció szabály csomagokat.

10. - jellemzően vegyületek parcellák.