أدلة Fitch Format - أي موارد حولها؟

Question

أنا أدرس حاليًا أدلة المنطق من الدرجة الأولى. يتبع محاضري عن كثب اللغة والإثبات والمنطق بقلم جون بارويز.

أحاول القيام ببعض الأدلة ، لكنني أواجه بعض المتاعب في فهم كيفية القيام بهذه الأدلة. كما قرأت بالفعل ما الذي يقدمه دليل ومنطق اللغة ، أود أن أعرف ما إذا كان هناك أي كتب أو موارد أخرى حولها تستخدم تنسيق Fitch لإثباتهما الرسمية.

بالإضافة إلى ذلك ، فإن تمارين حلها سيكون من مساعدة كبيرة (!).

شكرًا

Answer 1

أنا واثق إلى حد ما من أن تنسيق Fitch الدقيق لـ LPL فريد من نوعه لـ LPL. الجنرال دليل على غرار فيتش المفهوم يأتي من فيتش نفسه على الرغم من أنه ربما لا يكون الكثير من المساعدة لك.

هنا إجابات على تمارين مختارة, ، على الرغم من أنني أعتقد أن أفضل رهان لك هو طرح أسئلة محددة للمدرب أو العمل مع مجموعة من زملاء الدراسة.

Answer 2

مدقق إثبات Klement الذي يذهب مع forallx الكتاب المدرسي على المنطق متاح على الإنترنت. بخصوص الطلب:

أود أن أعرف ما إذا كان هناك أي كتب أو موارد أخرى حولها تستخدم تنسيق Fitch لإثباتها الرسمية.

مع هذين الموظفين ، يجب أن يكون المرء قادرًا على تعلم منطق الحقيقة الوظيفي والمنطق من الدرجة الأولى باستخدام نظام على طراز Fitch من الخصم الطبيعي. سيقدمون أيضًا ملحقًا لأي نص يستخدمه أحدهم حاليًا.

---

المرجعي

Kevin Klement's JavaScript/PHP Fitch على طراز Fitch Natural Proof Editor and Checker http://proffs.openlogicproject.org/

PD Magnus ، Tim Button مع إضافات من قبل J. Robert Loftis أعاد إعادة تنقيحها بواسطة آرون توماس بولدوك ، ريتشارد زاك ، Forallx Calgary Remix: مقدمة في المنطق الرسمي ، شتاء 2018. http://forallx.openlogicproject.org/