ReasonLines

Wallace A Murphree

អំពី​កម្មវិធីនេះ

ReasonLines ផ្ដល់នូវ (1) វិធីសាស្រ្តថ្មីនិងងាយស្រួលក្នុងការ syllogism ប្រពៃណីនិង (2) ការពង្រីក syllogism ប្រពៃណីមួយដើម្បីរួមបញ្ចូលការ quantification លេខ។
 
1) វិធីសាស្រ្តថ្មីក្នុងការ syllogism ប្រពៃណី
 
ជំនួសឱ្យការពិចារណាលើសេចក្តីថ្លែងការណ៍ដាច់ឆ្ងាយជាសមាសភាគនៃអាគុយម៉ង់, ដូចជាការសន្និដ្ឋានធំសន្និដ្ឋានអនីតិជននិងការសន្និដ្ឋាននេះ, វិធីសាស្រ្តថ្មីនេះចាប់ចងសេចក្តីថ្លែងការណ៍គ្នាជាមួយនឹងសមមូលរបស់ខ្លួននិងបាច់នីមួយគឺត្រូវបានតំណាងដោយផ្ទាល់ "គំនូរបំព្រួញ" របស់ខ្លួនព្រួញ។ នេះជាការសន្និដ្ឋានបន្ទាប់មកអាចគំនូសព្រាងត្រូវបានធ្លាក់ចុះនៅក្នុងកន្លែងតាមបណ្តោយគ្នាដែលជាកន្លែងដែលពួកគេសន្និដ្ឋានបង្ហាញស្ដានភាពបែបណា, ប្រសិនបើត្រូវបានតម្រូវ។ អ្នកប្រើដែលតែូវការដើម្បីរៀនពីរបៀបដើម្បីជ្រើសការសន្និដ្ឋានត្រឹមត្រូវគំនូសព្រាងនិងពីរបៀបដើម្បីអនុវត្តតាមព្រួញសម្រាប់ការសន្និដ្ឋានមួយ។
 
& # 8195; & # 8195; ផ្នែកមួយនៃទំព័រជំនួយនេះគឺការបង្រៀនសម្រាប់វិធីសាស្រ្តថ្មីនេះ។
 
ការ (2) ការពង្រីកលេខនៃ syllogism ប្រពៃណី
 
វាជាស្ដង់ដារដើម្បីបកស្រាយកម្រិតពិសេសលេខរៀងរួចទៅហើយ; នោះគឺ, វាជាស្ដង់ដារក្នុងការទទួលយក "ខ្លះ" ជា "យ៉ាងហោចណាស់មួយ។ " លើសពីនេះទៅទៀតកម្រិតសកល, "ទាំងអស់" និង "ទេ" អាចផងដែរត្រូវបានបង្ហាញដោយស្មោះត្រង់លេខរៀងតាំងពី "ទាំងអស់" មានន័យថា "ទាំងអស់ជាមួយនឹងករណីលើកលែងសូន្យ" និង "ទេ" មានន័យថាគ្មាន "គ្មាននរណាម្នាក់ដោយមានករណីលើកលែងសូន្យ" ។ ប្រការនេះវាប្រែថាកម្រិតប្រពៃណីនេះគ្រាន់តែជាការចាប់ផ្ដើមនៃបរិមាណដែលអាចធ្វើទៅគ្មានទីបញ្ចប់ចាប់តាំងពី "យ៉ាងហោចណាស់មួយ" បើកស៊េរីនៃ "យ៉ាងហោចណាស់ពីរ" "យ៉ាងហោចណាស់បី "ល, និង" ទាំងអស់ (គ្មាន) ប៉ុន្តែសូន្យ "បើក" ទាំងអស់ (គ្មាន) ប៉ុន្តែមួយ "," ទាំងអស់ (គ្មាន) ប៉ុន្តែពីរ»ល
 
ដោយការធ្វើឱ្យជាក់លាក់នេះសូន្យនិងមួយនៃ syllogisms ប្រពៃណីតាមចំនួនជំនួសក្លាយជាផ្សេងទៀត។ ដូច្នេះ, ឧទាហរណ៍, " ទាំងអស់ប៉ុន្តែ 10 គឺមានទាំងអស់ប៉ុន្តែ B និង B គឺគ 20 ដូច្នេះទាំងអស់ប៉ុន្តែ 30 មានគ ," និង " យ៉ាងហោចណាស់ 100 នាក់គឺជាខ, ទាំងអស់ប៉ុន្តែ 7 B គឺ C ដែលយ៉ាងហោចណាស់ 93 ដូច្នេះ A គឺជាគ »គឺគ្រាន់តែជាការត្រឹមត្រូវដែលជាប្រពៃណី Barbara និង Darii និងសម្រាប់ហេតុផលដូចគ្នាខ្លាំងណាស់។
 
& # 8195; & # 8195; ជាផ្នែកមួយពីរនៃទំព័រជំនួយការរីកចម្រើនការពង្រីកលេខនេះដោយអំពាវនាវទៅនេះគំនូសព្រាង។

អ្វី​ដែល​ថ្មី

Minor bug fixes