ReasonLines

Wallace A Murphree

මෙම යෙදුම ගැන

ReasonLines (1) සාම්ප්රදායික සන්සන්දනය කිරීම සඳහා නව හා පහසු ප්රවේශය සහ (2) සංඛ්යාත්මක ප්රමාණකරණ ඇතුළත් කිරීමට සාම්ප්රදායික සන්සන්දනය පුළුල් සපයයි.
 
1) සාම්ප්රදායික සන්සන්දනය මෙම නව ප්රවේශය
 
වැනි ප්රධාන තර්කය, සුළු කියනව, සහ අවසාන ලෙස තර්ක සංරචක ලෙස හුදකලා ප්රකාශ, සලකා, ඒ වෙනුවට, මෙම නව ප්රවේශය එහි සමාන එක් එක් ප්රකාශයක් මිටි හා එක් එක් මිටියක් එහි ම ඊතල "ක්රමානුරූප සටහන" විසින් නියෝජනය වේ. යන තර්කය පරීපාටික එක් එක් අනෙක් පැත්ත දිගේ ස්ථානයේ පසුව පහත වැටී කළ හැකි ඔවුන්ගේ අවදීන් ඕනෑම නම්, ඕනෑම දෙයක් නිගමනය ප්රදර්ශනය කොහේද, අයත් වන්නේ. පරිශීලක නිවැරදි තර්කය පරීපාටික තෝරා ගැනීමට ආකාරය අවසාන සඳහා ඊතල අනුගමනය කරන ආකාරය ඉගෙන ගැනීමට පමණක් අවශ්ය වේ.
 
& # 8195; & # 8195; එක් උදවු පිටුව කොටසක් මෙම නව ප්රවේශය සඳහා නිබන්ධනය වේ.
 
(2) සාම්ප්රදායික සන්සන්දනය සංඛ්යාත්මක පුළුල්
 
එය සංඛ්යාත්මකව විශේෂයෙන් quantifier අර්ථ නිරූපණය කිරීමට මේ වන විටත් සම්මත ය; , එය "සමහර" ලෙස ගැනීමට සම්මත "අවම වශයෙන් එක්." තව ද, විශ්වීය quantifiers, "සියලු" වන අතර "නැහැ," ද විශ්වාසවන්තව සංඛ්යාත්මකව "සියලු" සිට පරිවර්තනය කළ හැක "සියලු ශුන්ය හැර" යන්නයි හා "නැත" කියන්නේ වෙන "ශුන්ය හැර කිසිවෙක්." මේ හේතුවෙන්, එය "අවම වශයෙන් එක්" "අවම වශයෙන් දෙකක්," "අවම වශයෙන් තුනක් මාලාවේ විවෘත සිට සාම්ප්රදායික quantifiers හුදෙක් හැකි නිමක් නැති quantifications ආරම්භය සනිටුහන් බව හැරෙනවා "ආදිය, සහ" සියලු (කිසිවක්) නමුත් ශුන්ය සියලු (කිසිවක්) "විවෘත කරයි" නමුත් එක, "" සියලු (කිසිවක්) නමුත් දෙකක්, "ආදිය
 
මෙම පැහැදිලි කරමින්, ශුන්ය හා සම්ප්රදායික syllogisms එක් අනෙකුත් සංඛ්යා ආදේශ බවට පත් වේ. ඒ නිසා, උදාහරණයක් විදිහට, " සියලු 10 වන නමුත් බී හා සියලු 20 බී නමුත්, එසේ සියලු A 30 නමුත් සී වේ, සී වේ" සහ " අවම වශයෙන් 100 ක් වූ වේ බී, සියලු නමුත් 7 බී එසේ අවම වශයෙන් 93 වන වන සී "සාම්ප්රදායික බාබරා හා Darii මෙන් ම වලංගු වන අතර, ඒ හා සමාන හේතුවක් නිසා, සී වේ.
 
& # 8195; & # 8195; දෙකක් උදවු පිටුව කොටසක් පරීපාටික ආයාචනය කිරීම මගින් මෙම සංඛ්යාත්මක පුළුල් වර්ධනය වේ.

අලුත් මොනවාද

Minor bug fixes