و ۳ درآمد به منطق - بخش ۳: منطق جدید - فصل ۱۱ تئوری تسویر :قسمت ۱ ، ۲

جدول قواعد
استنتاج

گزاره ها

درآمد به منطق
فصل ۱۱::تئوری تسویر
Introduction to Logic- Irving M. Copi, Carl Cohen-1953-2009
http://www.borhanname.blogfa.com http://www.borhanname.blogfa.com

[(x)Φx ] [~(∃x)~Φx]

[(∃x)Φx ] [~(x)~Φx]

[(x)~Φx ] [~(∃x)Φx]

[(∃x)~Φx ] [~(x)Φx]

هم‌ارزی‌ها‌منطقی--بیانگر روابط بین سورهای وجودی و عمومی (ف11ق3)

روابط بین سورها بصورت نموداری-مربع-شکل ۱۱.۱

نمودار مربع تقابل فصل2- 11

شکل ۲.۱۱

~[(x)(Φx ⊃ Ψx)] LgEqv (∃x)(Φx • ~Ψx)

~[(∃x)(Φx • Ψx)] LgEqv (x)(Φx ⊃ ~Ψx)

~[(x)(Φx ⊃ ~Ψx)] LgEqv (∃x)(Φx • Ψx)

~[(∃x)(Φx • ~Ψx)] LgEqv (x)(Φx ⊃ Ψx)

به‌روش گفته‌شده در بالا, می‌توان هم‌ارزی‌های منطقی سمت چپ را ثابت کرد. این چهار هم‌ارزی منطقی بیان فرمولی شکل قبل(۲.۱۱) است، که روابط بین گزاره‌های A, E, I و O هستند.

<فصل 11-قسمت 4>