ReasonLines

Wallace A Murphree‏

درباره این برنامه

ReasonLines فراهم می کند (1) یک روش جدید و آسان تر به قیاس سنتی و (2) گسترش قیاس سنتی به کمی عددی.
 
1) رویکرد جدید به قیاس سنتی
 
به جای توجه به اظهارات جدا شده به عنوان عنصر استدلال، مانند فرض عمده، فرض جزئی، و نتیجه گیری، این رویکرد جدید در هر بیانیه ای بسته نرم افزاری با معادل آن و هر بسته نرم افزاری است که توسط خود را "طرح کلی" از فلش نشان داده است. شماتیک فرض پس از آن می توانید در محل در کنار یکدیگر که در آن صفحه نمایش مجاورت خود از هر نتیجه ای، در صورت وجود، مستلزم است کاهش یافته است. کاربر تنها نیاز به یاد بگیرند که چگونه به انتخاب شماتیک فرض درست و چگونه به دنبال فلش برای نتیجه گیری.
 
& # 8195؛ & # 8195؛ بخش اول از صفحه راهنما یک آموزش برای این رویکرد جدید است.
 
(2) گسترش عددی قیاس سنتی
 
این در حال حاضر استاندارد به تفسیر سور خاص عددی؛ است که، آن استاندارد را به "برخی" را به عنوان "حداقل یک." علاوه بر این، سورها جهانی، "همه" و "هیچ"، همچنین می تواند صادقانه عددی از ارائه "همه" به معنی "همه با استثنا صفر" است و "نه" به معنی هیچ "هیچ کدام با استثنا صفر است." با توجه به این، آن می رسد که سورها سنتی به سادگی علامت آغاز quantifications ممکن بی پایان از "حداقل یک" باز می شود مجموعه ای از "حداقل دو"، "حداقل سه "، و غیره، و" تمام (هیچ) اما صفر "باز می شود" همه (هیچ) اما یکی "،" همه (هیچ) اما دو "، و غیره
 
با ساخت این صریح و روشن، صفر و یکی از قیاس سنتی تعویض توسط شماره های دیگر تبدیل شده است. بنابراین، برای مثال، " همه اما 10 A B هستند و همه اما 20 B C هستند، بنابراین همه آنها به جز 30 A هستند C ،" و " حداقل 100 A هستند B، همه به جز 7 B هستند گراد، به طوری که حداقل 93 A هستند C است ، "فقط به عنوان معتبر به عنوان باربارا سنتی و Darii، و برای همین دلیل.
 
& # 8195؛ & # 8195؛ بخش دوم از صفحه راهنما توسعه این گسترش عددی با توسل به نقشهها.

تازه‌ها

Minor bug fixes