۰.۱ نمادگان هنگرد-نگریک

۰.۱.۱ این نوشتار گهگاهی نمادگان استانده‌ی هنگرد-نگریک [=نظریه‌ی مجموعه‌ای] را بکار می‌برد (گرچه هرگز در راهی بسیار گوهرین نیست). اینجا یک روشنگری کوتاه‌شده آن [آمده] است.

۰.۱.۲ یک هنگرد [=مجموعه]، X، گردایه‌ای از برآخت‌ها [=اشیاء] است. اگر این هنگرد برآخت‌های a₁, ..., aₙ را دربر داشته باشد، می‌شود به دیسه‌ی {a₁, ..., aₙ} نوشته شود. اگر آن هنگردی از برآخت‌هاست که همبایست [=شرط] A(x) را برآورده می‌کند، آنگاه می‌شود به دیسه‌ی {x : A(x)} نوشته شود. a∈X می‌چمارد [=معنا می‌دهد] که a یک هموند [=عضو] هنگرد X است، به دیگر سخن، a یکی از برآخت‌های در X است. a∉X می‌چمارد که a یک هموند X نیست.

۰.۱.۳ نمونه‌ها: هنگرد شماره‌های (زاستاری) کمتر از ۵، {۴ ,۳ ,۲ ,۱ ,۰} است. این را F بنامید. هنگرد شماره‌های جفت {x:x یک شماره جفت زاستاری است} است این را E بنامید. آنگاه ۳ ∈ F ، و ۵ ∉ E .

۰.۱.۴ هنگرد‌ها می‌توانند هر شماری از هموند‌ها داشته باشند. به‌ویژه، برای هر a، هنگردی هست که تنها هموندش a است، نوشته می‌شود {a}. {a} یک تکین نامیده شده است (و با خود a گیج نخواهد شد). همچنین هنگردی هست که هیچ هموند‌ی ندارد، هنگرد تهی؛ که با نماد ∅ نوشته می‌شود.

۰.۱.۵ نمونه‌ها: {۳} هنگردی است که تنها شماره‌ی سه را دربر دارد. آن یک هموند دارد. آن جدای از ۳ است، که یک شماره است، به هیچ روی یک هنگرد نیست، و از این رو هیچ هموندی ندارد. ^۲ ۳ ∉ ∅ .

۰.۱.۶ هنگرد X، یک زیرهنگرد هنگرد Y است، اگر و تنها اگر هر هموند X یک هموند Y باشد. این به دیسه‌ی X⊆Y نوشته می‌شود. هنگرد تهی یک زیرهنگرد هر هنگرد (دربردارنده‌ی خودش) است. X⊂Y می‌چمارد که X یک زیرهنگرد سره Y است.

۰.۱.۷ نمونه‌ها: پروانه دهید N هنگرد همه شماره‌های زاستاری باشد، و E هنگرد شماره‌های جفت باشد. آنگاه ∅⊆N و E⊆N. همچنین، E⊂N، از آنجا که 5∈N لیک 5∉E. اگر X⊆N و X≠E آنگاه یا یک شماره‌ی تا [=فرد] در X هست، یا یک شماره جفت X در نیست (یا هر دو).

۰.۱.۸ یکایش دو هنگرد، X، Y، هنگردی است که درست آن چیز‌هایی را دربر دارد که در X یا Y (یا هر دو) هست. این به دیسه‌ی X∪Y نوشته شده است. همچنین a ∈X∪Y اگر و تنها اگر a ∈ X یا a ∈ Y. اندربرش دو هنگرد، X، Y، هنگرد درست آن چیز‌هایی را دربر دارد که در هر دو X و Y هست. آن X∩Y نوشته می‌شود. همچنین a ∈X∩Y اگر و تنها اگر a ∈ X و a ∈ Y. بَوَندگر وابسته یک هنگرد، X، با روی‌داشت به دیگر، Y، هنگرد همه چیز‌هایی است که در Y لیک نه در X هست. آن نوشته می‌شود Y-X. پس، a ∈ Y-X اگر و تنها اگر a ∈ Y لیک a ∉ X.

۰.۱.۹ نمونه‌ها: پروانه دهید E ،N و O پی‌آیانه، هنگرد همه‌ی شماره‌ها، همه شماره‌های جفت، و همه‌ی شماره‌های تا [=فرد] باشند. آنگاه E∪O=N ،E∩O=∅ . پروانه دهید T={x:x≥10} . آنگاه E-T={۰، ۲، ۴، ۶، ۸}

۰.۱.۱۰ یک جفت بارایه [=زوج مرتب]، ⟨a، b⟩، یک هنگرد است که هموند‌هایش در رایه‌ی نشان داده شده رخ می‌دهند، براین‌پایه ما می‌دانیم کدام یکمین است و کدام دومین. همانندانه برای یک سه‌تایی بارایه، ⟨a، b، c⟩، چهارتایی ⟨a، b، c، d⟩ و هروینانه، n-تایی، ⟨x₁، ...، xₙ⟩. برای n هنگرد‌ X₁، ...، Xₙ داده شده، فرآورده دکارتی‌شان، X₁×···×Xₙ، هنگرد همه چندتایی است، که هموند نخست در X₁ است، دومین در X₂ است و دیگر. پس، ⟨x₁، ...، xₙ⟩∈X₁×···×Xₙ اگر و تنها اگر x₁∈X₁ و ... و xₙ∈Xₙ. یک پیوند، R، میان X₁، ...، Xₙ هر زیرهنگرد X₁×···×Xₙ است.

⟨x₁، ...، xₙ⟩∈R روالانه چون Rx₁...xₙ نوشته می‌شود. اگر n ۳ باشد، پیوند یک پیوند سه‌تایی است. اگر n ۲ باشد، پیوند یک پیوند دوتایی است، و Rx₁x₂ روالانه همچون x₁Rx₂ نوشته می‌شود. یک کریا از X به Y یک پیوند دوتایی است، f، میان X و Y، به‌گونه‌ای که برای همه‌ی x∈X یک y∈Y یکتا هست به‌گونه‌ای که xfy. بیشتر روالانه، در این فتاد، ما می‌نویسیم: f(x)=y.

۰.۱.۱۱ نمونه‌ها :⟨۲،۳⟩≠⟨۳، ۲⟩، از آنجا که این هنگرد‌ها هموند‌های یکسان دارند، لیک در رایه‌ای [=ترتیبی] دگرسان. پروانه دهید N هنگرد شماره‌ها باشد. آنگاه N×N هنگرد همه جفت‌های به دیسه‌ی ⟨n,m⟩ است، آنجا n و m در N اند. اگر R={⟨۲،۳⟩، ⟨۳،۲⟩} آنگاه R⊆N×N و یک پیوند دوتایی میان N و خودش است. اگر f={⟨n،n²⟩ :n∈N}، آنگاه f یک کریا از شماره‌ها به شماره‌ها است، و f(n)=n².

۰.۲ آوین با درهازش

۰.۲.۱ روش آوین با درهازش [=استقراء] (یا بازگشت) روی پیچیدگی سهان‌ها به‌سنگینی در بخش‌های ستاره‌دار نبیگ بکار رفته است. آن همچنین گاهی در جا‌های دیگر بکار رفته است، گرچه رَوالانه [=معمولا] می‌توان بی از دست دادن [چیزی] از روی آن پرید. آنچه این روش به آن می‌رسد این است. بیانگارید که همه‌ی ساده‌ترین دیسول‌های یک زبان دیسه‌ای (به دیگر سخن، آنها که هیچ‌ همبند‌ یا چندی‌گر‌ی را دربر ندارند) یک داراک دارند، P. (پایه‌گذاری این باشا روالانه فتاد پایه نامیده شده است.) و بیانگارید که هر زمان کسی یک سهان پیچیده‌تر بسازد - به دیگر سخن، سهانی با یک همبند افزوده (یا چندی‌گر اگر چنین چیز‌هایی در زبان باشند) – از میان دیسول‌هایی که داراک P را دارند، دیسول دستاورد همچنین داراک P را دارد. (پایه‌گذاری این روالانه فتاد درهازش نامیده می‌شود.) آنگاه آن به دنبال دارد که همه دیسول‌های زبان داراک P را دارند. پس، برای نمونه، بیانگارید که دیسول‌های ساده p و q داراک P را دارد، و اینکه هرگاه دیسول‌ها آن داراک را دارند، همچنین نی‌شدن‌هاشان، همجوهش‌ها، و دیگر دارند. آنگاه آن به دنبال دارد ¬p ، p∧q، ¬p∧ (p∧q)، داراک دارد، همچون همه سهان‌ها که ما توانیم از p و q با بکار بردن نی‌شدن و همجوهش سازیم دارند.

۰.۲.۲ آوین فتاد درهازش هنجارانه به شماری از زیرفتاد‌های دگرسان، یکی برای هر یک از همبند‌ها (و چندی‌گر‌ها اگر پیشاستی داشته باشند) خرد می‌شود در ساختن دیسول‌های پیچیده‌تر بکار گرفته می‌شود. پس، ما می‌انگاریم که A یک دارایی را دارد، سپس نشان می‌دهیم که ¬A آن دارایی را دارد؛ ما می‌انگاریم که A و B دارایی را دارند، سپس نشان می‌دهیم که A∧B آن را دارد؛ و همچنین برای هر همبند (و چندی‌گر). انگاشت، در هر فتاد، انگاره‌ی درهازش نامیده شده است.

۰.۲.۳ اینجا یک نمونه ساده یک آوین با درهازش است. ما نشان می‌دهیم که هر دیسول افماریک گزاره‌ای که دستور زبانی هماهنگ با دستور‌های ۱.۲.۲ یک شمار جفت راست‌کمانک‌ها دارد. (این یک‌خرده همانند شکستن یک جوز با یک پتک است؛ لیک آن روش را به‌روشنی نشان می‌دهد) نماد ■ پایان یک آوین را نشان‌گذاری می‌کند.

آوین:
فتاد پایه: نخست، نیاز داریم به پایه‌ریزی کردن اینکه این دستاورد برای همه ساده‌ترین دیسول‌ها، پراسنجه‌های گزاره‌ای برپا است. همه چنین دیسول‌هایی هیچ (سفر) راست‌کمانک ندارند، و ۰ یک شماره‌ی جفت است. از این رو، دستاورد برای پراسنجه‌های گزاره‌ای برپا است.
فتاد درهازش: سپس ما باید پایه‌ریزی کنیم که اگر دستاورد برای برخی دیسول‌ها برپا باشد، و ما دیسول‌های دیگر بیرون آن را بسازیم، دستاورد برای اینها همچنین برپا باشد. همچنین بیانگارید که A و B یک شماره جفت راست‌کمانک‌ها دارند.

(این انگاره درهازش است) ما نیاز داریم به نشان دادن اینکه همچنین هر یک از ¬A، (A∨B)، (A∧B)، (A⊃B) و (A≡B) یک شماره جفت راست‌کمانک‌ها دارند. یک فتاد برای هر یک از ساخت‌ها در پرسش هست.

برای ¬: شمار راست‌کمانک‌ها در ¬A با شمار راست‌کمانک‌ها در A یکسان است. از آنجا که این جفت است (با انگاره درهازش)، دستاورد پیروی می‌کند. (ما نگرانی انگاره درهازش B را در این فتاد بکار نبردیم، لیک آن مهند نیست.)

برای ∨: بیانگارید که شماره راست‌کمانک‌ها در A است a، و شماره راست‌کمانک‌ها در B b اند. سپس شماره راست‌کمانک‌ها در (A∨B) a+b+2 (از آنجا که ساختن دو راست‌کمانک نو را می‌اندرهازد) اند. لیک a و b بیشا اند، و همچنین a+b+2 جفت است. از این رو، شماره راست‌کمانک‌ها در (A∨B) جفت اند، همچون نیاز داشته.

برای ∧، ⊃، و ≡: چراآوری رزینانه با ∨ یکسان اند. ما اکنون فتاد پایه و فتاد درهازش را پایه‌ریزی کرده‌ ایم. آن از اینها را پیروی می‌کند که دستاورد برای همه دیسول‌ها برپا است؛ به دیگر سخن، همه دیسول‌های دستور زبانی یک شماره جفت راست‌کمانک‌ها دارند. ■

۰.۳ پیوند‌های هم‌ارزی و رده‌های هم‌ارزی

۰.۳.۱ پنداره‌ی یک پیوند هم‌ارزی روی شماری از فتادها بسیار پرکاربرد است، بویژه هنگامی‌که اینهمانی درون بازی می‌آید. یک پیوند هم‌ارزی روی یک دامنه از برآخت‌ها آن است که ،گوهرانه، دامنه را به گردایه‌ای از رده‌های وابندیده (به دیگر سخن، ناهمپوشان) که رده‌های هم‌ارزی خوانده‌شده اند، تکه‌ می‌کند. پس، در یک رده داده شده از مردمان، به نام C،

’x بلندی یکسان با y دارد‘ یک پیوند است که آنها را به رده‌های مردمان با بلندی یکسان بخش می‌کند. بیانگارید که C است:

و در آن a، b، d و e، همه بلندی یکسان دارد، همچنین c، f و i، همچنین g و h. آنگاه رده‌های هم‌ارزی اینها اند:

۰.۳.۲ پرسونانه‌تر، اگر ~ یک پیوند دوتایی روی یک گردایه برآخت‌ها، C باشد، آن یک پیوند هم‌ارزی است تنها اگر آن باشد:
• بازتابی: برای همه x∈C، x∼x
• همامون: برای همه x،y∈C ، اگر x∼y آنگاه y∼x
• تراگذر: برای همه x,y,z ∈ C، اگر x∼y و y∼z آنگاه x∼z
اگر x∈C، رده‌ی هم‌ارزی‌اش، نوشته‌می‌شود [x]، چون {w∈C:w∼x} ویمند شده است.

۰.۳.۳ باشای بنیادی درباره رده‌های هم‌ارزی این است که هر برآخت در دامنه رزینانه در یکی است. برای دیدن این، روی دارید، نخست، که برای هر x∈C، از آنجا که x∼x، x∈[x]؛ همچنین x در یک رده هم‌ارزی است. اکنون پروانه دهید X=[x] و Y=[y]. بیانگارید که، برای یک z، z در هر دو است X و Y. سپس z∼x و z∼y. با همامونی و، x∼y تراگذری. برای هر w∈X، w∼x. از آنجا که x∼y، w∼y. به دیگر سخن، w∈Y. از این رو، X⊆Y. همانندانه، Y⊆X. از این رو، X=Y.

۰.۳.۴ در ساخت‌هایی که رده‌های هم‌ارزی را بکار می‌گیرند، همدار است ویژیدن یک داراک از یک رده با یکی از هموند‌هایش ، پس:
F([x]) اگر و تنها اگر G(x)
اکنون بیانگارید که [x]=[y]. آنگاه ویمند کژرونده خواهد رفت اگر ما توانیم داشته باشیم G(x) لیک نه (y)G. در چنین ویمند آن از این‌رو همیشه مهین است ⟨برای⟩ پایه‌ریزی کردن که اگر x∼y، G(x) اگر و تنها اگر G(y).

۱. گویایی آموزگاهی و پیروی مادی

۱.۱. درآمد

۱.۱.۱. آماج [=هدف] نخست این فَرگَرد [=فصل] بازنگری گویایی گزاره‌ای آموزگاهی [=کلاسیک]، دربردارنده‌ی نمودارهای چِماریک [=معناشناختی] است. این فرگرد همچنین پاره‌ای واژه‌شناسی پایه‌ و پیمان‌های نشانه‌گذاری‌ برای مانده‌ی نبیگ [=کتاب] بر می‌نهد.

۲.۱.۱. در نیمه‌ی دوم این فرگرد همچنین به پنداره‌ی پیروی که گویایی گزاره‌ای آموزگاهی پیش می‌نهد و بویژه به برخی کاستی‌هایش می‌نگریم.

۳.۱.۱. آماجِ گویایی روشنگری پنداره‌ی پایمندی [=اعتبار] است: چه [چیزی] به دنبال چه [چیزی] می‌آید. به‌گونه‌ی استانده، پایمندی برای پِی‌بردها [=استنتاج‌های] گفته شده در یک زبان دیسه‌ای [=صوری] ویمند [=تعریف] شده است، یک زبان با واژگان و دستوری خوش‌ویمند [=خوش‌تعریف]، زبان برآختی [=شیئی]. پیوند نماد‌های زبان دیسه‌ای با واژه‌های [زبان] زاستاری [=طبیعی]، در این فِتاد [=مورد] پارسی، همواره یک نهاده [=موضوع] مهند است.

۴.۱.۱. بازگفت‌ها [=روایت‌ها] از پایمندی، خود در زبانی هستند که در بیشتر فِتادها جداسان [=متمایز] از زبان برآختی است. این فرازبان نامیده شده است. در فتاد [=مورد] ما، به‌سادگی، این انگلیسی مزداهیک [=ریاضیاتی] است. روی‌دارید [=توجه‌کنید] که ' iff ' به چِمار [=معنای] 'اگر و تنها اگر' است.

۵.۱.۱. همچنین استانده [=استاندارد] است که دو پنداشت از پایمندی ویمند شود. یکمین [ویمند] چِماریک [=معناشناختی] است. یک پِی‌برد پایمند آن است که راستی [=صدق] را نگه‌می‌دارد ، در چِمی استیگان [=مطمئن]. بویژه، هر آزند [=تعبیر] (خام سخن بگوییم، راهی برای بربستن [=نسبت‌دادن] ارزش‌های راستی) که همه‌ی پیشگذارده‌ها [=مقدمه‌ها] را راست می‌سازد برآیند [=نتیجه] را راست سازد. ما از نماد فرازبانی '⊨' برای این بهره می‌گیریم. آنچه گویایی‌های گوناگون را جدا می‌سازد پنداشت‌های ناهمسانی از آزند است که آنها بکار می‌گیرند.

۶.۱.۱. دومین پنداشت از پایمندی، نگره‌ی برهانی [=نظریه برهانی] است. پایمندی از دید برخی روال‌های دیسه‌ای ناب ویمند شده‌است (آن چیزی است که، تنها به نماد‌های پِی‌بُرد [=استنتاج] بازبرد [=ارجاع] می‌دهد). ما نماد فرازبانی ⊣ را برای این پنداشت از پایمندی بکار می‌بریم. در فتاد ما، این روش (بیشتر) بکار گرفتن نمودارها خواهد بود. آنچه در اینجا گویایی‌های گوناگون را جدا می‌سازد روال‌های نموداری دِگرسانی [=متفاوتی] است که بکار گرفته می‌شود.

۷.۱.۱. بیشتر گویایی‌دانان هم‌روزگار [=معاصر] پنداشت چماریک از پایمندی را بنیادی‌تر از نگره‌ی برهانی می‌دانند، گرچه این نهاده [=موضوع] بی‌گمان سگالش‌پذیر [=قابل‌بحث] است. با این همه، با یک پنداشت چماریک داده شده از پایمندی، داشتن یک پنداشت نگره‌ی برهانی که با آن همخوانی دارد همواره سودمند است، به این چِمار [=معنا] که دو ویمند همیشه پاسخ‌های یکسانی می‌دهند. اگر هر پِی‌بُرد ِ نگره‌ی برهانی پایمند ْ چماریک پایمند ْ باشد (به‌گونه‌ای که ⊣ در دنبال دارد ⊨ را) به آن نگره‌ی برهان درست گفته می‌شود. اگر هر پِی‌بُرد ِ چماریک پایمند، برهانی پایمند باشد (به‌گونه‌ای که ⊨ در دنبال دارد ⊣ را) به آن نگره‌ی برهان بـَوَندَگ [=تمام] گفته می‌شود.

۲.۱. گفت‌شناسی [=نحو] زبان برآختی

۱.۲.۱. نماد‌های زبان برآختی افماریک [=حساب] گزاره‌ای شمار بی‌پایانی پراسنجه‌های گزاره‌ای^۱: p₀ , p₁ , p₂ , ... ؛ همبندها [=ادات] : ¬ (نایش [=نقض])، ∧ (همجوهش [=عطف])، ∨ (واجوهش [=فصل])، ⊂ (پیروی مادی [=شرطی مادی])، ≡ (هم‌ارزی مادی)؛ و نشانه‌های خال‌گذاری [=نقطه‌گذاری]: ( و ) هستند.

۲.۲.۱. همه‌ی دیسول‌های [=فرمول‌های] (خوش‌سیما) زبان، تنها از رشته‌هایی از نماد‌ها که می‌توانند بازگشتی‌وار از پَراسنجه‌های [=پارامترهای] گزاره‌ای با دستور زیر زاده [=تولید] شوند، ساخته می‌شوند:

اگر A و B دیسول باشند، همچنین ¬A, (A∨B), (A∧B), (A⊃B), (A≡B) [دیسول] هستند.

۳.۲.۱. شماری پیمان نشانه‌گذاری مهین را در اینجا روشن خواهم کرد. من از وات‌های [=حروف] رومی بزرگ , , , ... برای نمایش دادن دیسول‌های دلخواه زبان برآختی بهره می‌برم. وات‌های رومی کوچک p، q، r،...، پراسنجه‌های گزاره‌ای دلخواه، لیک جدا را نمایش می‌دهند.

من همیشه کمانک‌های [=پرانتز‌] بیرونی دیسول‌ها را اگر باشند خواهم زدود. براین‌پایه، برای نمونه، (A⊃(B∨¬C)) را بسادگی می‌نویسم A⊃(B∨¬C). وات‌های یونانی بزرگ Σ , Π, ... هنگردی دلخواه از دیسول‌ها را نمایش می‌دهند؛ با این همه، هنگرد تهی به روش استانده، با (وات [=حرف] کوچک) 𝜙 نشان داده شده است. من بیشتر یک هنگرد پایان‌دار {A₁, A₂, . . . , Aₙ} را به سادگی می‌نویسم A₁, A₂, . . . , Aₙ.

۳.۱. پایمندی چماریک

۱.۳.۱ یک آزند زبان یک کریا [=تابع] ν است، که به هر پراسنجه گزاره‌ای هریک از ۱ (راستگو)، یا ۰ (دروغگو) برمی‌بندد. پس، ما چیز‌ها را مانند ν(p)=1 و ν(q)=0 می‌نویسیم.

۲.۳.۱ با یک آزند زبان داده شده، ν، این به یک کریا گسترش یافته است که به هر دیسول یک ارزش راستی برمی‌بندد، با بند‌های بازگشتی زیر، که بند‌های بازگشتی گفت‌شناسیک را بازمی‌تاباند: ^۲

ν(¬A)=۱ اگر ν(A)=۰ ، وگرنه ۰ .

ν(A∧B)=۱ اگر ν(A)=ν(B)=۱ ، وگرنه ۰ .

ν(A∨B)=۱ اگر ν(A)=۱ یا ν(B)=۱ ، وگرنه ۰ .

ν(A⊃B)=۱ اگر ν(A)=۰ یا ν(B)=۱ ، وگرنه ۰ .

ν(A≡B)=۱ اگر ν(A)=ν(B) ، وگرنه ۰ .

۳.۳.۱ بگذارید Σ هر هنگرد دیسول‌ها (پیشگذارده‌ها) باشد؛ آنگاه A (برآیند) یک پیامد چماریک Σ است (Σ⊨A) اگر و تنها اگر هیچ آزندی نباشد که همه‌ی هموند‌های Σ را راستگو و A را دروغگو سازد، به دیگر سخن، هر آزندی که همه هموند‌های Σ راستگو می‌سازد، A را راستگو سازد. 'Σ⊭A' می‌چمارد که چنین نیست که Σ⊨A.

۱.۳.۴ A یک راستی گویاییک (همانگویی) (⊨A) است اگر و تنها اگر آن یک پیامد چماریک هنگرد تهی پیشگذارده‌ها (φ⊨A) باشد، به دیگر سخن، هر آزندش A را راست می‌سازد .

۱.۴ نمودارها

۱.۴.۱ یک درخت ساختاری است که، هروینانه، همانند این به نگر می‌رسد:

خال‌ها گره‌ نامیده می‌شوند. گره بالا ریشه نامیده می‌شود. گره‌های در پایین نوک‌ نامیده می‌شوند. هر گذر از ریشه به پایین یک دنباله پیکان‌ها تا آنجا که توانید روید یک شاخه نامیده می‌شود. (سپس‌تر ما درخت‌هایی با شاخه‌های بی‌پایان خواهیم داشت، لیک نه هنوز.)

۱.۴.۲ برای آزمودن پایمندی یک پی‌برد، یک نمودار می‌سازیم که با یک شاخه‌ی یکه می‌آغازند که گره‌هایش پیشگذارده‌ها (اگر داشته باشد) و نی‌‌گویی برآیند رخ می‌دهد. ما این را سیاهه‌ی آغازین خواهیم نامید. ما آنگاه دستور‌هایی را بکار می‌بریم که به ما پروانه‌ی گسترش دادن این شاخه را می‌دهند. دستور‌ها برای پیروی چنانکه در پی می‌آید هستند:

دستور در راست چنانکه در پی می‌آید آزندیده خواهد شد. اگر ما یک دیسول (A⊃B)¬ در یک گره داشته باشیم، آنگاه هر شاخه با دو گره بیشتر گسترش داده است که از این گره گذر می‌کند، یکی برای A و یکی برای B¬. دستور در چپ همانندانه آزندیده شده است: اگر ما یک دیسول A⊃B در یک گره داشته باشیم، آنگاه هر شاخه در نوکش به دو شاخه جدا می‌شود که از این گره گذر می‌کنند؛ یکی یک گره برای A¬ دربر دارد دیگری یک گره برای B. دربر دارد

۱.۴.۳ برای نمونه، برای آزمودن پی‌بردی که پیشگذارده‌هایش A⊃B ، B⊃C اند، و برآیندش A⊃C است، درخت زیر را می‌سازیم:

سه دیسول نخست پیشگذارده‌ها اند و برآیند نی شده است. دو دیسول پسین با بکار بردن دستور برای پیروی نی‌شده برای برآیند نی‌شده فرآوری شده اند؛ تکه نخست روی شاخه فرآوری شده است با بکار بردن دستور برای پیروی به پیشگذارده نخست تکه‌های پسین فرآوری شده است با بکار بردن دستور همان به پیشگذارده دومین. (’ב ها را نادیده‌ بگیرید: ما به آن در زمانی باز خواهیم گشت.)

۱.۴.۴ همبند‌های دیگر همچنین دستور‌هایی دارند، که چنانکه در پی می‌آید هستند.

درون‌یافتانه، آنچه یک نمودار می‌چمارد در پی می‌آید. اگر ما یک دستور را برای یک دیسول بکار بندیم، آنگاه اگر آن دیسول در یک آزندش راستگو باشد، دیسول‌های در زیر دست‌کم یکی از شاخه‌هایی که دستور فرآوری می‌کند، راستگو اند. (گرچه، شاید تنها یک چنین شاخه‌ای هستی داشته باشد) این یک یادآوری کاربردی برای به یاد سپردن دستور‌ها است. گرچه این باید پافشاری شود، رسمیانه که دستور‌ها نابانه دیسه‌ای اند.

۱.۴.۵ یک نمودار بَوَندَه است اگر و تنها اگر هر دستوری که تواند بکار بسته شود بکار بسته شده باشد. با بارها و بارها بکار بستن دستور‌ها، همیشه شدنی است یک نمودار بَوَندَه بسازیم. در فتاد پیشاست، شاخه‌های یک نمودار بونده همیشه پایان‌دار اند ^۴ ، ولی در نمودارهای برخی فرگرد‌های پسین شدنی است که آنها بی‌پایان باشند.

۱.۴.۶ یک شاخه بسته است اگر و تنها اگر دیسول‌هایی به دیسه‌ی A و A¬ در دو گره‌هایش هستی داشته باشند؛ وگرنه باز است. یک شاخه بسته با نوشتن یک × در پایین نشان داده می‌شود. خود یک نمودار بسته است اگر و تنها اگر هر شاخه‌ای بسته شده است؛ وگرنه آن باز است. پس نمودار ۱.۴.۳ بسته است: چپ‌ترین شاخه دربر دارد A و A¬؛ پسین دربر دارد A و A¬ (و C و C¬)؛ پسین B و B¬ دربر دارد؛ راست‌ترین C و C¬ را دربر دارد.

۱.۴.۷ A یک پیامد آوین-نگریک هنگرد دیسول‌های Σ است (Σ⊢A) اگر و تنها اگر یک درخت بَوَندَه باشد که سیاهه‌ی آغازینش هموند‌های Σ و نایش A را دربر داشته، و آن بسته باشد. ما می‌نویسیم ⊢A ⟨برای⟩ چماردن φ⊢A، به دیگر سخن، جایی‌که سیاهه آغازین نمودار تنها ¬A را دربر دارد تنها .‘Σ⊬A’ می‌چمارد که چنین نیست که Σ⊢A. ^۵

۱.۴.۸ پس، درخت ۱.۴.۳ که نشان می‌دهد که A⊃B، B⊃C ⊢ A⊃C . اینجا یکی دیگر هست، برای نشان دادن ((A⊃B) ∧ (A⊃C))⊃(A⊃(B∧C)). برای اندوختن جا، جایی که یک شاخه بخش نمی‌شود، پیکان‌ها را می‌اندازیم.
روی دارید که هنگامی‌که ما یک پادگویی روی یک شاخه می‌یابیم، پی‌گرفتن بیشتر آن ارزشی ندارد. ما می‌دانیم که شاخه آهنگ آن دارد که بسته شود، هرچه دیگر به آن افزوده شود. از این رو، نیاز نداریم برای گسترش دادن یک شاخه همینکه آن یافته شده است برای بستن سختی بکشیم. همچنین آگاه باشید که، هرکجا شدنی باشد، دستور‌هایی که شاخه‌ها را بخش نمی‌کنند پیش‌ از دستور‌هایی که شاخه‌ها را بخش می‌کنند بکار می‌بریم. گرچه این گوهرین نیست، نمودار را ساده‌تر نگه می‌دارد، و از این‌رو ورزانه پرکاربرد است.

۱.۴.۹ در کاربرد، همچنین گذاشتن یک نشان تیک در کنار دیسولی یکبار یک دستور به آن بکار برده‌ است، یک مانه پرکاربرد است. آنگاه هرکس می‌داند که تواند آن را فراموش کند.

۱.۵ پادنمونه‌ها

۱.۵.۱ اینجا نمونه دیگر است، برای نشان دادن این که (p⊃q)∨(r⊃q) ⊬ (p∨r)⊃q

۱.۵.۲ روال نمودار، در کاربرد، یک جست‌و‌جوی سامانیک برای یک آزند است که همه دیسول‌های سیاهه آغازین را راستگو می‌سازد.یک شاخه‌ی باز داده شده از یک نمودار، چنین آزندی، براستی، تواند از شاخه خوانده شود.۶

۱.۵.۳ دستور کار ساده است. اگر پراسنجه گزاره‌ای p، در گرهی در شاخه رخ دهد، به آن ۱ می‌گمارند؛ اگر ¬p در یک گره روی شاخه رخ دهد، به آن ۰ می‌گمارند. (اگر نه p نه ¬p با این روش رخ ندهد، به آن شاید هرچیزی کسی دوست دارد گماشته شود.)

۱.۵.۴ برای نمونه، نمودار ۱.۵.۱ و چپ‌ترین شاخه‌ی باز اش (پررنگ) در نگر بگیرید. بکار بردن روگرفت به آزندش، ν را می‌دهد، به‌گونه‌ای که و ν (r) = ۱، ν (p) = ν (q) = ۰. آن ساده است ⟨برای⟩ وارسی کردن سرراستانه آن ν ((p⊃q) ∨ (r⊃q)) = ۱ ν ((p∨r) ⊃ q) = ۰ و. از آنجا که p دروغ است، p⊃q راست است، همچون است (p⊃q) ∨ (r⊃q). از آنجا که r راست است، p∨r راست است؛ لیک q دروغ است؛ از این رو، (p∨r) ⊃ q دروغ است. ۶ اگر یک اندیشد به ساختن یک نمودار همچون یک جست‌و‌جو روال برای یک پادنمونه، سپس استواره‌های بَوَندَگی و درستی می‌همسازند، در عمل، یک آوین که روال همیشه دستاورد درست را می‌دهد، به دیگر سخن، که خوارزمیک در پرسش راست می‌جویند.

۱.۵.۴a روی دارید که نمودار ۱.۴.۸ نشان می‌دهد که هر پی‌برد به دیسه‌ی پرسش پایمند است. به دیگر سخن، A، B و C توانند هر دیسول‌هایی باشد. برای نشان دادن اینکه یک پی‌برد ناپایمند است، ما ناگزیر ایم یک پادنمونه بسازیم، و این ارزش‌های راستی گماشتن به دیسول‌های ویژه می‌چمارد. این است چرا نمونه تنها داد ‘p’، ‘q’ و ‘r’، نه ‘A’، ‘B’ و ‘C’ را بکار می‌برد. کسی شاید بگوید که یک پی‌برد زهاویدن وات‌های (‘A's و ‘B’s) نموداری کاربرد ناپایمند است، لیک این باید چمارد که برخی دیسول‌ها هستند که توانند برای اینها وات‌ها جانشین ⟨برای⟩ ساختن آن همچنین. پس، ما شاید A⊢B را، از آنجا که p⊢q نویسیم. لیک روی دارید که این شُدنیگی که برخی پی‌برد‌های آن دیسه پایمند است را رد نمی‌کند، برای نمونه، p⊨q∨¬q .

۱.۵.۵ همچون کسی امید می‌داشت، روال نمودار ما نگاه می‌کرده ایم با روی‌داشت به پنداره چماریک پیامد درست و بَوَندَه است، به دیگر سخن، اگر Σ یک هنگرد پایان‌دار سهان‌ها است، Σ⊢A اگر و تنها اگر Σ⊨A. به دیگر سخن، روال جست‌و‌جو براستی کار می‌کند. اگر یک آزند باشد که همه دیسول‌ها روی سیاهه آغازین راستگو سازد، نمودار یک شاخه‌ی باز خواهد داشت که، در عمل، یک را می‌ویژد. و اگر چنین آزندی نباشد، همه‌ی شاخه‌ها بسته خواهند شد. اینها باشا‌های آشکار نیستند. آوین در ۱.۱۱ است.

۱.۶ پیروی‌ها

۱.۶.۱. در مانده‌ی این فرگرد، نگاهی می‌اندازیم به پنداره‌ی پیروی که چماریک آموزگاهی بالا به ما می‌دهد، و در نابسندگی‌اش. لیک نخست، یک پیروی چه است؟

۱.۶.۲. پیروی‌ها یک گزاره (پیشرو) را به گزاره‌ای دیگر (پیامد)، که در چمی به آن بستگی دارد، پیوند می‌دهند. آنها در پارسی با ’اگر‘ یا ساختارهای هم‌خانواده زهاویده می‌شوند:

اگر شاخه بشکند (آنگاه) تاب خواهد افتاد.
تاب خواهد افتاد اگر شاخه بشکند.
شاخه می‌شکند تنها اگر تاب بیافتد.

اگر شاخه می‌شکست تاب می‌افتاد.
شاخه شکسته بود تاب می‌افتاد.

۱.۶.۳. روی دارید که دستور زبانِ پیروی‌ها، روی زمان (گذشته، کنون، آینده) و ایستش [=حالت] (آگهشی [=اخباری]، سیمای پیروی [=وجه شرطی]) سهان‌هایی که پیشرو [=مقدم] و پیامد [=تالی] را می‌زهاوند، نیازمندی‌های تاشتیگ می‌گذارند. اینها شاید هنگامی‌که پیشرو و پیامد به تنهایی بیایند دگرسان باشند. برای دیدن این، کاربرد‌های هاگویی پیشرو [=وضع مقدم] (اگر آ آنگاه ب؛ آ؛ از این رو ب) زیر را در نگر بگیرید:

اگر او با هواپیما برود زودتر به آنجا خواهد رسید.
او با هواپیما خواهد رفت.
از این رو، او زودتر به آنجا خواهد رسید.

اگر او از پنجره آمده بود آنجا جای‌پا می‌بود.
او از پنجره آمده است.
پس، جای‌پاها هست.

۱.۷ پیروی مادی

۱.۷.۱. همبند ⊃ روالانه پیروی مادی (یا درتاهش مادی) نامیده شده است. همچنانکه پیروی‌های راستی‌اش نشان می‌دهد، A⊃B گوییکانه هم‌ارز با ¬A∨B است. آن راستگو است اگر و تنها اگر A دروغ است یا B راستگو است. پس، ما داریم:

۱.۷.۲ به کسانی که یک آموزگان آغازین در گویایی را می‌گذرانند بیشتر گفته می‌شود که شدنی است پیروی‌های زبان پارسی با ⊃ بازنمایانده شوند. اگرچه یک پادورزی آشکار به این داوش هست. اگر آن درست می‌بود، آنگاه پیروی‌های راستی ⊃ باید راستی گزاره‌های زیر را استیگان می‌کرد، که پیدا است دروغگو اند:

۲. گویایی سویی

۲.۱. درآمد

۱.۱.۲. در این فرگرد، ما به شگرد پایه‌ای - چماریک جهانِ شدنی [=جهان ممکن] - نگاه می‌کنیم؛ گوناگونی‌هایی که ما را در بیشتر فرگرد‌های آینده سرگرم خواهند کرد. (ما به نهاده‌ی پیروی در فرگرد ۴ باز خواهیم گشت.)

۲.۱.۲. این ما را درون پهنه‌ای به نام گویایی سویی [=منطق وجهی] خواهد برد. این فرگرد با پایه‌ای‌ترین گویایی سویی پیوند دارد، [گویایی] K (پس از کریپکی).

۲.۲ بایستگی و شُدنیگی

۱.۲.۲. گویایی سویی خود را به سویه‌هایی [=مُدهایی] پیوند می‌دهد که شدنی است چیزها درست/نادرست باشند، بویژه شُدنیگی [=امکان]، بایستگی [=ضرورت] و نشُدنیگی [=عدم‌امکان] آنها. این پنداره‌ها [=مفهوم‌ها] بسیار گنگ هستند، نهاده‌ای که ما در فرگرد پسین [به آن] باز خواهیم گشت.

۲.۲.۲ چماریک سویی که ما بررسی خواهیم کرد پنداشت یک جهانِ شدنی [=جهان ممکن] را بکار می‌گیرد. ما به آنچه باریک‌بینانه جهان‌های شدنی هستند، در این فرگرد باز خواهیم گشت. برای اکنون، آنچه در پی می‌آید بسنده خواهد بود. همه‌ی ما می‌توانیم بیانگاریم [=تصور کنیم] که شدنی است چیزها جور دیگری باشند. برای نمونه، شما می توانید بیانگارید که چیز‌ها درست همین هستند، جز اینکه شما یک سانتی‌متر بلندتر هستید. آنچه شما اینجا می‌انگارید یک سیتش [=وضعیت] دگرسان یا جهان شدنی است. بی‌گمان، جهان کنونی [=فعلی] هم یک جهان شدنی است، و همچنین بی‌شمار [جهان] دیگر هستی دارند، جایی که شما دو سانتی‌متر بلندتر هستید، سه سانتی‌متر بلندتر [هستید]، جایی که شما رنگ موی دیگری دارید، جایی که شما در کشور دیگری زاده شده بودید، و ... .

۵. گویایی‌های پیروی

۵.۱. درآمد

۱.۱.۵. در این فرگرد به آنچه 'گویایی‌های پیروی' نامیده شده‌اند، می‌نگریم. اینها گونه‌ای گویایی سویی هستند جایی که بَستایی [=تعدد] پیوندهای دسترس‌پذیری از گونه‌ای تاشتیگ [=معین] هست.

۵.۱.۲ این گویایی‌ها همچنین ما را با برخی پی‌بردها [=استنتاج‌های] پراسه‌ای‌تر پیونددار با پیروی آشنا می‌کنند و گفت‌و‌گو می‌کنیم که از آنها چه چیزی بسازیم.

۵.۲ برخی پی‌بردهای دردسرساز

۵.۲.۱ بیایید با پِی‌بردها بیآغازیم. به اندازه بسنده آسان است وارسی کنیم که همه فِتادهای زیر در گویایی آموزگاهی پایمند اند:

همچنین وارسی کردن این آسان است که همین راستگو است اگر '⊂' با ‘⥽’ جایگزین شود. (همه پِی‌بُردها در L درست هستند، و همچنین در همه‌ی سامانه‌های سویی.)

۵.۲.۲ اکنون سه بِگومَگو [=استدلال] همسان با همین دیسه‌ها را در نگر آورید:

(۱) اگر فردا هوا بارانی نباشد ما به کریکت خواهیم رفت. از این رو اگر فردا هوا بارانی نباشد و من امشب در یک دُشامد [=تصادف] خودرو کشته شوم، آنگاه ما به کریکت خواهیم رفت.

(۲) اگر نامزدهای دیگر کنار بکشند، بهروز کار را بدست می‌آورد. اگر بهروز کار را بدست آورد، دیگر نامزدها ناامید خواهند شد. از این رو، اگر نامزدهای دیگر کنار بکشند، ناامید خواهند شد.

(۳) اگر سوار ماشین شویم، در راه خراب نمی‌شود. از این رو، اگر ماشین در راه خراب شود، ما سوار آن نمی‌شویم.

۸. دمداشت زینه‌ی یکم

۸.۱ درآمد

۸.۵. ستاره‌ی روتلی

۸.۵.۱ ما اکنون دو چماریک هم‌ارز برای FDE داریم، یک چماریک‌ پیوندی [=رابطه‌ای] و یک چماریک‌ چند ارزشی.⁵ به چراهایی برای کار در فرگرد‌های پسین، ما باید یک [چماریک] سوم داشته باشیم. این یک چماریک جهان شدنی دو ارزشی است، که با نایش همچون یک آپارگر [=عملگر] دَرتَنشی [=مفهومی] برخورد کند؛ به دیگر سخن، همچون یک آپارگر که همبایست‌های راستی‌اش به بازبرد به جهان‌هایی بجز جهانی که در آن راستی‌اش ارزیابی می‌شود، نیاز دارد.

۸.۵.۲ آبیزیکانه، ما می‌انگاریم که هر جهان w با یک همتا *w می‌آید، جهان ستاره‌اش، به‌گونه‌ای که A¬ در w راستگو است اگر A دروغگو باشد، نه در w، که در *w. اگر w = w* (که شدنی است چنین افتد)، آنگاه این همبایست‌ها درست به همبایست‌های آموزگاهی برای نایش فرو می‌ریزند؛ ولی اگر [چنین] نباشد، فرو نمی‌ریزند. آپارگر ستاره بیشتر با یک گوناگونی وامگیری‌ها [=استعاره‌ها] واوشته می‌شود؛ برای نمونه، گاهی همچون یک آپارگر وارونساز واوشته شود؛ لیک دادن یک آزندِ درون‌یافتانه‌ی خرسندکننده به آن و نقش‌اش در همبایست‌ها راستی برای نایش دشوار است.

۸.۵.۳ دیسه‌ای‌وار، یک آزند روتلی یک ساختار ⟨W, ∗, ν⟩ است که در آن W یک هنگرد از جهان‌ها است، ∗ یک کریا از جهان‌ها به جهان‌ها به‌گونه‌ای که w∗∗ = w, است و ν به هر پراسنجه گزاره‌ای در هر جهان یکی از ارزش 1 یا ارزش 0 گمارد. ν به یک گمارش ارزش‌های راستی برای همه دیسول‌ها گسترش یافته است با این همبایستها:
νw(A ∧ B) = 1 اگر νw(A) = 1 و νw(B) = 1; وگرنه آن 0 است.
νw(A ∨ B) = 1 اگر νw(A) = 1 یا νw(B) = 1; وگرنه آن 0 است .
νw(¬A) = 1 اگر νw∗(A) = 0; وگرنه آن 0 است.

۱۰. گویایی‌های بستگی

۱۰.۱. درآمد

۱۰.۱.۱ در این فرگرد ما به گویایی‌هایی در خانواده‌ی شاهراه گویایی‌های پیوند [=منطق‌های ربط] می‌نگریم. اینها با بکار گرفتن یک پیوند [=رابطه] سه‌تایی برای دیسولش [=صورت‌بندی] همبایستهای راستی [=شرایط صدق] → بدست می‌آیند. در پایه‌ای‌ترین گویایی، هیچ پاوندی [=محدودیتی] در پیوند نیست. گویایی‌های نیرومندتر با افزودن پاوندها به‌دست می‌آیند.

۱۰.۱.۲ همچنین می‌بینیم که چگونه می‌توان این چماریک را با چماریک گویایی پیروی فرگرد ۵ آمیخت و گزارشی از باهمشماری پنهان [=قیاس مضمر] 'چیزهای دیگر هموگ باشند' داد.

۱۰.۲ گویایی B

۱۰.۲.۱ N₄ و N∗ گویایی‌های بستگی هستند، لیک در همسنجی [=مقایسه] با گویایی‌های بستگی، آنها تا اندازه‌ای نزار [=ضعیف] هستند. بسیاری از هواداران گویایی‌های بستگی اندیشیده‌اند گویایی‌های بستگی فرگرد پیشین بسیار نزار هستند، بر این پایه که درون‌یافتانه [=بطور شهودی] بنیادهای درستی درباره‌ی پیروی هستند که آنها پایمند نمی‌سازند. یک راه برای جای دادن چنین بنیادهایی در یک چماریک جهانِ شدنی، بهره‌بردن از یک پیوند بر روی جهان‌ها برای دادن همبایستهای راستی [=شرایط صدق] پیروی‌ها [=شرطی‌ها] در جهان‌های ناهنجار است. ناهمسان با پیوند دوتایی گویایی سویی، xRy، این پیوند یک سه‌تایی است، که پیوندی سه‌جایگاهی است، Rxyz.

۱۰.۲.۲ درون‌یافتانه [=بطور شهودی]، پیوند سه‌تایی Rxyz چنین چیزی می‌چمارد: برای همه A و Bها، اگر A→B در x راستگو است، و A در y راستگو است، B در z راستگو است. به اینکه چه سهش فلسفی برای ساخت این هست، سپس‌تر باز خواهیم گشت.

۱۰.۲.۳. این شگرد [=تکنیک] می‌تواند برای هر دو چماریک پیوندی و ∗ به کار برده شود. آن‌گونه که در ۹.۶.۹ و ۹.۶.۱۰ یادآور شدیم، هنگامی که → را به زبان بیفزاییم، این چماریک‌ها از هم جدا می‌شوند. اگرچه چماریک پیوندی پیوند سه‌تایی فرساختانه خوب است، لیک باشای[=واقعیت] تاریخی این است که، گویایی با چماریک پیوند سه‌تایی است که در نوشتارگان [=ادبیات] هست. از این رو، ما تنها به آن می‌نگریم.

۱۰.۲.۴ یک آزند سه‌تایی (∗) ساختاری است ⟨W, N, R, ∗, ν⟩، که در آن W ،N، ∗ و ν مانند چماریک N∗ است (۹.۶.۶) ، و R هر پیوند سه‌تایی روی جهان‌ها. (بنابراین، از نگر فنی، R⊆W×W ×W)

۱۰.۲.۵ بجز یک فتاد، همبایستهای راستی برای همه‌ی همبندها همانند N∗ هستند. بویژه، در جهان‌های هنجار، همبایستهای راستی برای → [این‌ها] هستند:
νw(A→B) = 1 اگر و تنها اگر برای همه x∈W بگونه‌ای که νx(B) = 1 ،νx(A) = 1
فتاد این است که اگر w یک جهان ناهنجار باشد:
νw(A→B) = 1 اگر و تنها اگر برای همه x, y∈W بگونه‌ای که Rwxy، اگر νx(A) = 1 آنگاه νy(B) = 1

۱۰.۲.۶ پایمندی به نگهداشت راستی در همه جهان‌های هنجار ویمند شده است، همانند N∗.

۱۰.۲.۷ گویایی زاده شده[=تولیدشده] از این راه بیشتر B نامیده شده است (برای Basic).^۲ به‌روشنی، B یک زیرگویایی از K∗ است (چون هر آزند K∗ یک آزند B است با W − N = 𝜙). افزون‌ بر این، هر آزند I از B هم‌ارز با یک آزند N∗ است. ما تنها آن آزند از N∗ که با I یکسان است را بر می‌گزینیم، به جز که آن به هر پیروی در هر جهان ناهنجارمند w، هر ارزشی که آن در [جهان] w در [آزند]I دارد، می‌گمارد. ازاین‌رو، N∗ یک زیرگویایی B است.

۱۰.۲.۸ همبایستهای راستی دوپاره → می‌توانند ساده شوند اگر به R همانند ویمند در جهان‌ها هنجارمند اندیشیده شود به ویژه، اگر w هنجارمند است، R را با اگر زیر نشان دهیم:
x = y اگر و تنها اگر Rwxy

۱۰.۶ پیوند سه‌تایی

۱۰.۶.۱ اکنون بیایید بسوی برخی برونای‌های فلسفی بچرخیم. بویژه، پیوند سه‌تایی چه می‌چمارد، و چرا برای بکار گرفتن آن در استاتیدن پیرویهای راستی یک پیروی شاید راین‌پذیر باشد؟

۱۰.۶.۲ دادن یک پاسخ خشنود‌کننده به این پرسش دشوار است. بیشترین دسته امیدوار‌کننده پاسخ به‌نگر می‌رسد پیوند را با پنداره‌ی ازدش گره زده باشد. بانگارید، برای نمونه، که ما به یک جهان همچون یک استات ازدش می‌اندیشیم (همچون ما با گویایی درون‌یافت‌باوری در ۶.۳.۶ انجام دادیم).

سپس شدنی است Rxyz را همچون این چمار بخوانیم که z همه ازدش دستیافتنی با یکجا کردن ازدش x و y را در بر دارد. این چم همبایستهای راستی → را می‌سازد. برای اینکه اگر A→B در ازدش x برپا باشد، و A در ازدش y برپا باشد، ما باید تاشتیگانه چشم داریم B برپا بودن در ازدش دست می‌یابند با یکجا کردن x و y. هاگردانه، اگر A→B در ازدش x برپا نباشد، سپس آن تاشتیگانه شدنی به‌نگر می‌رسید که ما شدنی بودن ازدش بی افزایم که A بدان وسیله ازدش که B. از این رو، به‌نگر می‌رسد یک ایستش ازدش ,y , هست، به‌گونه‌ای که A در y برپاست، لیک B در ازدش بدست‌آمده از یکجا کردن x و y برپا نیست.