ReasonLines

Wallace A Murphree‏

لمحة عن هذا التطبيق

يوفر ReasonLines (1) نهج جديد وأكثر سهولة في القياس المنطقي التقليدي و (2) التوسع في القياس المنطقي التقليدي لتشمل الكمي العددي.
 
1) النهج الجديد إلى القياس المنطقي التقليدي
 
بدلا من النظر في بيانات متفرقة كمكونات من الحجج، مثل فرضية رئيسية، فرضية طفيفة، والاستنتاج، حزم هذا النهج الجديد كل بيان مع ما يعادلها ويتم تمثيل كل حزمة من تلقاء نفسها "التخطيطي" من السهام. ويمكن بعد ذلك يتم إسقاط الخطط الفرضية في مكان جنبا الى جنب مع بعضها البعض حيث يعرض تجاور بهم مهما الختام، إن وجدت، تترتب على ذلك. يحتاج المستخدم فقط لمعرفة كيفية تحديد الخطط الفرضية الصحيحة وكيفية اتباع الاسهم لالاستنتاج.
 
& # 8195؛ & # 8195؛ الجزء الأول من صفحة المساعدة هو البرنامج التعليمي لهذا النهج الجديد.
 
(2) التوسع العددي للالقياس المنطقي التقليدي
 
هو بالفعل معيار لتفسير محدد الكمية معينة عدديا. وهذا هو، هو معيار لاتخاذ "بعض" بأنها "واحدة على الأقل." وعلاوة على ذلك، ومحددو الكمية العالمية، "جميع" و "لا"، ويمكن أيضا أن تكون المقدمة بأمانة عدديا لأن "كل" تعني "جميع باستثناء الصفر" و "لا" يعني لا شيء "لا شيء باستثناء الصفر". ونظرا لهذا، اتضح أن محددو الكمية التقليدية ببساطة علامة بدايات التحديد الكمي لا نهاية لها الممكنة لأن "واحد على الأقل" يفتح مسلسل "اثنين على الأقل"، "ثلاثة على الأقل "، وغيرها، و" كل (لا شيء) ولكن الصفر "يفتح" عن (بلا) ولكن واحدة "،" كل (لا شيء) ولكن اثنين "، وغيرها
 
بجعل ذلك صراحة، والصفر، واحدة من القياس المنطقي التقليدية تصبح قابلة للاستبدال من الأرقام الأخرى. لذلك، على سبيل المثال، " جميع ولكن 10 وهي B ولكن كل 20 B هي C، لذلك جميع ولكن 30 وهي C " و " لا يقل عن 100 ألف لB، ولكن جميع 7 B هي C، لذلك 93 شخصا على الاقل وهي C ، "هي فقط صالحة مثل باربرا التقليدية وDarii، وللسبب نفسه.
 
& # 8195؛ & # 8195؛ الجزء الثاني من الصفحة مساعدة يتطور هذا التوسع العددي بمناشدة الخطط.

أحدث الميزات

Minor bug fixes