ReasonLines

Wallace A Murphree

এই অ্যাপ সম্পর্কে

ReasonLines (1) ঐতিহ্যগত অনুমানবাক্য এবং (2) ঐতিহ্যগত অনুমানবাক্য একজন সম্প্রসারণ করার জন্য একটি নতুন এবং সহজ পদ্ধতির সংখ্যাসূচক রাশিকরণ অন্তর্ভুক্ত করা হয়.
 
হল 1) ঐতিহ্যগত অনুমানবাক্য নতুন পদ্ধতির করুন
 
যেমন প্রধান প্রতিজ্ঞা, ছোটখাট প্রতিজ্ঞা, এবং উপসংহার হিসেবে যুক্তিগুলোর উপাদান যেমন বিচ্ছিন্ন বিবৃতি বিবেচনা পরিবর্তে, এই নতুন পদ্ধতির তার সমতুল সঙ্গে প্রতিটি বিবৃতি থোকায় এবং প্রতিটি বান্ডেলের নিজস্ব তীর "পরিকল্পিত" দ্বারা প্রতিনিধিত্ব করা হয়. প্রতিজ্ঞা পরিকল্পনার তারপর একে অপরের যেখানে তাদের পাশাপাশি প্রদর্শন যাই হোক না কেন উপসংহার, যদি থাকে, entailed হয় পাশ বরাবর জায়গায় নেমে যাবে. ব্যবহারকারী শুধুমাত্র সঠিক প্রতিজ্ঞা পরিকল্পনার নির্বাচন এবং কিভাবে একটি উপসংহার জন্য তীর অনুসরণ করতে শিখতে হবে.
 
& # 8195; & # 8195; সহায়তা পৃষ্ঠার পার্ট ওয়ান এই নতুন পদ্ধতির জন্য একটি টিউটোরিয়াল.
 
(2) ঐতিহ্যগত অনুমানবাক্য এর সংখ্যাগত সম্প্রসারণ করুন
 
এটা ইতিমধ্যে সংখ্যাসূচকভাবে নির্দিষ্ট পরিমান অর্থ বুঝতে পার মান; অর্থাৎ, এটি গ্রহণ করা "কিছু" হিসাবে "অন্তত এক." তাছাড়া, সার্বজনীন quantifiers, "সব" এবং "না" এছাড়াও নিখুঁতভাবে সংখ্যাসূচকভাবে থেকে অনুবাদ করা যেতে পারে "সব" অর্থ "শূন্য বাদে সব" এবং মান "না" এর মানে হল কেউ "শূন্য বাদ দিয়ে কেউ." এই দেওয়া, এটা দেখা যাচ্ছে যে ঐতিহ্যগত quantifiers কেবল অবিরাম সম্ভব quantifications সূত্রপাত চিহ্নিত যেহেতু "অন্তত একটি" সিরিজের প্রর্দশিত "কমপক্ষে দুই", "অন্তত তিনটি , "ইত্যাদি, এবং" সমস্ত (কেউ) কিন্তু শূন্য "প্রর্দশিত" সব (কেউ) কিন্তু এক "," সব (কেউ) কিন্তু দুই, "ইত্যাদি
 
এই স্পষ্ট করে, শূন্য এবং ঐতিহ্যগত syllogisms এক অন্য সংখ্যা দ্বারা পরিবর্তনযোগ্য হয়ে. সুতরাং, উদাহরণস্বরূপ, " সমস্ত কিন্তু 10 ক এবং সব কিন্তু 20 বি সি, তাই সকল কিন্তু 30 হয় সি ," এবং " কমপক্ষে 100 হয় বি, সমস্ত কিন্তু 7 বি সি আছে, যাতে অন্তত 93 একজন হয় সি , "ঠিক যেমন ঐতিহ্যগত বারবারা এবং Darii যেমন বৈধ, এবং খুব একই কারণে হয়.
 
& # 8195; & # 8195; সহায়তা পৃষ্ঠার পার্ট দুই পরিকল্পনার মর্মস্পর্শী দ্বারা এই সংখ্যাসূচক সম্প্রসারণ বিকাশ.

নতুন কী আছে

Minor bug fixes