ReasonLines

Wallace A Murphree

यो एपका बारेमा

ReasonLines (1) परम्परागत syllogism र (2) परम्परागत syllogism को एक विस्तार गर्न नयाँ र सजिलो दृष्टिकोण संख्यात्मक quantification समावेश गर्न प्रदान गर्दछ।
 
1) परम्परागत syllogism गर्न नयाँ दृष्टिकोण
 
बरु यस्तो प्रमुख परिसर, साना परिसर, र निष्कर्षमा रूपमा तर्क, को घटक रूपमा पृथक बयान विचार को, यो नयाँ दृष्टिकोण यसको समकक्ष हरेक कथन बन्डलहरूको र प्रत्येक बन्डल यसको आफ्नै तीर को "योजनाबद्ध" प्रतिनिधित्व छ। यो परिसर schematics त्यसपछि पक्ष प्रत्येक अन्य जहाँ आफ्नो साथ या बराबर होना प्रदर्शित जे निष्कर्षमा, कुनै पनि भने, entailed छ साथ ठाउँमा ड्रप गर्न सकिन्छ। प्रयोगकर्ता मात्र सही परिसर schematics कसरी चयन र कसरी एक निष्कर्षमा लागि तीर पालन गर्न सिक्न आवश्यक छ।
 
& # 8195; & # 8195; भाग एक मद्दत पृष्ठ को यो नयाँ दृष्टिकोण लागि एक ट्युटोरियल छ।
 
(2) परम्परागत syllogism को संख्यात्मक विस्तार
 
यो पहिले नै संख्या विशेष परिमाणक व्याख्या गर्न मानक छ; त्यो छ, यसलाई लिन "केही" यसबाहेक, विश्वव्यापी quantifiers, "सबै" र "होइन," पनि विश्वासीपूर्वक संख्या देखि अनुवाद गर्न सकिन्छ "कम्तिमा एक।" रूपमा "सबै" अर्थ "सबै शून्य अपवाद संग" र मानक छ "कुनै" अर्थ कुनै पनि "शून्य अपवाद संग कुनै पनि।" यो दिइएको, यो परम्परागत quantifiers बस अनन्त सम्भव quantifications को शुरुवात देखि "कम्तिमा एक" को श्रृंखला खोल्छ "कम्तीमा पनि दुई," कम्तीमा तीन चिनो भनेर "बाहिर जान्छ "आदि, र" सबै (कुनै पनि) तर शून्य सबै (कुनै पनि) तर एक, "" खोल्छ "" सबै (कुनै पनि) तर दुई, "आदि
 
यो स्पष्ट गरेर, शून्य र परम्परागत syllogisms को एक अन्य संख्या द्वारा प्रतिस्थापन हुन्छन्। त्यसैले, उदाहरणका लागि, " तर 10 एक सबै बी र 20 बी तर सबै सी, त्यसैले सबै तर 30 एक सी हो," र " कम्तिमा 100 एक हो बी, सबै तर 7 बी, सी हो त कम्तिमा 93 एक हो सी , "जसरी परम्परागत बारबरा र Darii रूपमा मान्य र धेरै नै कारणले हो।
 
& # 8195; & # 8195; सहायता पृष्ठ को भाग दुई schematics जगाएर यो संख्यात्मक विस्तार विकसित।

नयाँ के छ

Minor bug fixes