ReasonLines

Wallace A Murphree

इस ऐप्लिकेशन के बारे में जानकारी

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

इसमें नया क्या है

Minor bug fixes