szimbolikus logika
I. fejezet
BEVEZETÉS
Képzeljük el, hogy van egy sor három vagy több, a kétbetűs ítélet valamennyi feltételének, amelyek fajok ugyanazon nemzetség. Ezek az ítéletek kapcsolódnak egymáshoz úgy, hogy azáltal, hogy egy bizonyos pár kijelentések, megkapjuk azt a következtetést csatolva hozzá egy új ajánlatot - egy másik következtetés, stb Addig, amíg az összes iterációt nyilatkozatok készletbe foglalva. Nyilvánvaló, hogy ha a kezdeti készlet kijelentések igaz lenne, akkor a végső következtetés igaz lenne.
Egy ilyen készlet együtt rögzítünk a legújabb következtetést nevezzük Zorita. A kezdeti, javaslatok nevű telephelyén. Minden egyes közbenső következtetések - saját véleményt. Végül az utolsó - a teljes mondat. vagy csak a következtetést. Rhode, akinek faj minden szempontból hívjuk az univerzumban venni. vagy rövid - az univerzumot. Zorita; kizárva a feltételeket tartalmazza az almában szillogizmusokon - kizárja feltételek Zorita. és a fennmaradó két kifejezést tartalmazza annak megkötésére -, hogy elhagyja a feltételeket Zorita. (Megjegyezzük, hogy minden egyes következtetést tartalmaz egy vagy két kizárni a kifejezést, de a teljes következtetést tartalmazza csak elhagyta a feltételeket).
A következtetés azt mondja, hogy következik a helyszínen. Mielőtt ez általában vagy tegye a szó „így”, vagy el van választva a vízszintes vonal csomagot. Hangsúlyozni kell, hogy az a kérdés, hogy a következtetés a helyiségek, nem függ a tényleges igaz vagy hamis voltát bármely nyilatkozatait alom, és határozza meg kizárólag a kapcsolatát ítéletek.
Példaként tekintsük a következő sor Zorita 5 véleménye
Az elsõ és a második ítélet, megkapjuk a véleményét: „Nem nincs c„». Figyelembe azt össze a harmadik ítélet szerezni következtetést: „Nem nincs d„». Belőle és negyedik döntési kell kötni „Nem d»nem e«». Az utóbbi, együttesen az ötödik javaslatként a következtetést kell „Minden olyan h d». Így, ha a kezdeti ítélet igaz lenne, akkor azt a következtetést nyert lenne igaz.
Így kezdődő 5 értékelések ítélet „Minden h lényege d» forma alom. A kezdeti ítéletek Yu-Zorita, a javaslat „Minden olyan h d» - annak megkötésére; a. b. c. e - kizárható feltételek Zorita és d és h - hagyja feltételeket.
Almok általánosan képviseli az alábbiak szerint:
Nincs olyan nincs b”.
Nincs e „nem”;
Ez sorite három saját véleményét történni ítélet „Nem nincs c„»,«Senki sem nem d '»,«No d »nem e«». Egy másik elrendezése egyéni parcellák következtetés más lett volna. Például, ha vesszük az ítéletet abban a sorrendben 4, 1, 5, 2, 3, a privát vélemény volt, hogy az ítéletre „Nem c 'nem b'», «Az összes h vannak b», «All h vannak c». Összességében ez sorite kilenc saját véleményét. Találd meg az olvasót egy érdekes probléma.
fejezet
KIHÍVÁSOK Zorita
§ 1. Előzetes megjegyzések
A feladatok előttünk mutatunk be a következők szerint: „Mivel a három vagy több ítéletek kapcsolatot. Figyelembe őket küldött, hogy létrehoz egy következtetés (ha van ilyen) kellene lenniük. "
Amíg korlátozzuk magunkat azokra a feladatokra, amelyek megoldhatók képlet segítségével kitalálni I (lásd. Book VI III, 2. §). Igénylő feladatok, megoldási más képletek túl nehéz kezdőknek.
A feladatok előttünk típus is megoldható két módszer valamelyikével:
- Módszer egyedi szillogizmus;
- aláhúzás módszer.
Tekintsük mindegyik módszer önmagában.
§ 2. sorit oldatot egyéni szillogizmusokon
Szabályokat kell követni, ha problémák megoldása egyes szillogizmusokon, a következők.
- Válassza ki a „világegyetem”.
- Legyen szótár betűkkel a. b. c. stb ítéleteit a feltételeket.
- Vedd értékelések index formájában.
- Válassz két ítélet, amely két, hogy az osztály, és használja őket, mint egy szillogizmus telephelyén.
- Keresse meg a képlet következtetést a szillogizmus.
- Között chip válassza meg, hogy együtt kapott második szillogizmus következtetés képezné parcellák szillogizmus.
- A képlet, hogy megtalálják a következtetést a második szillogizmus.
- Folytassa ezt a folyamatot addig, amíg az összes csomag már kimerült.
- Jelen utóbbi következtetés, amely a teljes következtetés Zorita egy sajátos formája.
Példaként tekintsük az alábbi feltevéseket:
- Minden a zsaruk a járásban van a vacsora szakácsok.
- Egy ember hosszú haj nem lehet költő.
- Amos Judd soha nem volt börtönben.
- Minden unokatestvérek főzni, mint a hideg birka.
- Ebben a kerületben nincs más költők kivéve zsarukat.
- A mi szakács nem arat senki, de unokatestvérei.
- Minden ember, rövid haj börtönben ül.
Universe - „az emberek», a = Amos Judd, b = unokatestvérek, a szakács, c = ült börtönben, d = hosszú haj, e = szeretik hideg birka, h = költők, k = rendőrök errefelé, l = sup mi szakács.
Képviseli feltételezések index formájában. Ehhez először is meg kell nyújtaniuk azokat az absztrakt forma:
Küldje absztrakt javaslat formájában index nem nem okoz nehézséget:
Most azt látjuk, két csomag, amelynek arra a következtetésre jutottak. Ahhoz, hogy ezt elérjük, hogy az első csomag, és rendezni a sorrendben az összes többi amíg elérjük a parcellákat, amelyek együtt az első kép a szám azt .tak feltevést könnyen belátható, fog küldeni 5 (k - távú kivéve). Következésképpen az első lesz a szillogizmus
Vegye következtetést l'h0 és podyschu neki pár között, a fennmaradó hat parcellák. Ítélet kívánatos lenne kiküldetés 2 (h - távú törlések), így a második szillogizmus lesz a következő formában:
Parcellák 1, 2 és 5, már használt, így egy pár megkötésére l'd0 törekedni kell a megmaradt parcellák. Figyelembe 6 parcella megszerezni harmadik szillogizmus:
Mi csomag párosítva van db'0. Nyilvánvaló, hogy a feltevést 4. Negyedik szillogizmus:
3. § A döntés kiemeli sorit eljárás
Vegyünk egy pár parcellák
amelyből következik a következtetést xy0.
Ahhoz, hogy xy0. Van, amint az a képlet, m és zárja m „és y és írási x közelben, egyetlen kifejezést.
Kizárt betűket kell hangsúlyozni. Az első levél - a jellemvonás. második - kettő. Ezután feltételezések formájában
Írásban ki parcellák hangsúlyozni, célszerű, hogy kihagyja az összes az indexeket. nullák már érdemesnek az összes kifejezést, és az is mi érdekli csak azok, akik a betűinek teljes véleményt (amit tudunk, azt állítják ott semmit a létezését tekintve ez még mindig ki kell zárni) . Ezek az egységek nem nehéz visszaállítani az eredeti kifejezést.
Tekintsük a megoldás Zorita aláhúzás részletesebben példája § 2. Baseline:
Az olvasó arra ösztönzik, hogy egy darab papírra, és írja ki a maga számára a döntést. Az első felvétel sorban fog állni az eredeti adatokat, a második fogja elkészíteni apránként az oldatban folyamatban.
Először is, azt írja le az első feltevést, miközben egy sorszám, fölött állt neki, de elhagyva minden indexek. Akkor meg kell találni a csomagot, hogy a „következetes” az első, hogy van, nem tartalmaz sem k”. vagy L. Keresi parcellák balról jobbra, azt találjuk, hogy ez a feltevés a feltevést 5, és csatolja az első, amivel egy jel közöttük †.
Következtetni lehet zárni a csomagok 1 és 5 kifejezés k és k”. és hogy ha ez megtörténik, akkor a jelentése, mint egy kifejezés. Hangsúlyozzuk egyik jellemzője k és k „- két és kap l'h.
Most meg kell találnunk a csomag sem l. vagy h”. Végigtekintve küldő egyik a másik után, azt találjuk, hogy ez a feltétel teljesül elküldésével 2, és csatolja az előző mentesítés.
Három parcellák kiméra (1, 5, 2) valójában egyenértékű kifejezési l'h † dh”. ahonnan ki kell zárni a feltételeket a h és h”. és mi lesz írva formájában egyetlen kifejezés. Hangsúlyozzuk h és h”. Továbbra is l'd.
Keressük a csomag sem l. vagy d”. Egy ilyen ház van a közzététel 6.
Négy parcellák kiméra, most ott állt a második sorban, egyenértékű expressziós l'd † b'l. Hangsúlyozva L és L”. Kapunk db”.
Keresi parcella, amely vagy d”. vagy b. Ez lesz a csomag 4. Hangsúlyozva b és b”. Végül megkapjuk de”.
Ezt követően, meg kell találnunk a csomag vagy d”. vagy e. Ez az állítás a kiküldetés 7. Hangsúlyozva d és d”. Végül eljutunk e'c”.
Most meg kell találnunk a csomag sem e. vagy c. Ez az állítás a feltevést 3 (azt lehet mondani, hogy küld 3, egyéb parcellák balra).
Hangsúlyozva C és a C, azt látjuk, hogy minden hosszú távú egyenértékű e'a. Ezért e'a lehet tekinteni, mint a következtetést Zorita, és csatolja a lánc parcellák jelölje P.
Itt vissza kell térnünk az eredeti adatokat, és ellenőrizze, hogy a bennük lévő kimutatás suschestvovaniie „vagy. Az az állítás, hogy létezik egy találunk a csomagban 3. Azáltal ezt a tényt, hogy a következtetés, tudjuk írni az utóbbi formában P e'a0 † a1. azaz P a1e'0. vagy „Minden olyan e».
Ha az olvasó szigorúan követi az összes utasítást, azt követi a döntés eredménye kell rendelkezniük: