ReasonLines

Wallace A Murphree

ስለዚህ መተግበሪያ

ReasonLines (1) ባህላዊ ሲሎጂስም እና ባህላዊ ሲሎጂስም (2) አንድ የማስፋፊያ ለማየት የሚያስችል አዲስ እና ቀላል አቀራረብ አኃዛዊ በቁጥር ማካተት ይሰጣል.
 
1) ባህላዊ ሲሎጂስም ወደ አዲሱ አቀራረብ
 
ከዚህ ይልቅ እንዲህ ያሉ ዋና ዋና ህንጻ አድራሻ, አነስተኛ ህንጻ አድራሻ, እና መደምደሚያ እንደ የመከራከሪያ ያለውን ክፍሎች እንደ ገለልተኛ መግለጫ በመመርመር, ይህ አዲስ አቀራረብ የራሱ ተመጣጣኝ ጋር እያንዳንዱ መግለጫ ይቀረቅብ እና ለእያንዳንዱ ጥቅል ቀስቶች የራሱን "በሚጫወቱት» ነው የሚወከለው. ኑሯቸውን schematics ከዚያም ጎን ያላቸውን juxtaposition ማሳያዎች ሁሉ መደምደሚያ, ካለ, ላይ በማዋል ነው የት እርስ በመሆን ቦታ ላይ ማስቀመጥ ይቻላል. ተጠቃሚው ብቻ ነው ትክክለኛውን ህንጻ አድራሻ schematics መምረጥ እና እንዴት አንድ መደምደሚያ ፍላጻዎች መከተል እንዴት መማር ያስፈልገዋል.
 
& # 8195; & # 8195; የ እገዛ ገጹ ክፍል አንድ ይህ አዲስ ዘዴ ለማግኘት አጋዥ ነው.
 
(2) የባህላዊ ሲሎጂስም ያለው የቁጥር መስፋፋት
 
ከዚህ ቀደም በቁጥር የተወሰነ quantifier መተርጎም መደበኛ ነው; ያም ማለት: ይህ ከዚህም በላይ ዓለም አቀፋዊ quantifiers, "ሁሉም" እና "አይደለም," ደግሞ በታማኝነት ጀምሮ በቁጥር ሊተረጎም ይችላል "ቢያንስ አንድ." እንደ "አንዳንድ" "ሁሉም" "ዜሮ በስተቀር ሁሉንም" ማለት ሲሆን መውሰድ መሥፈርት ነው "ምንም" ምንም "ዜሮ በስተቀር ማንም" ማለት ነው. በዚህ መሰረት: "ቢያንስ አንድ" የሚለው ተከታታይ ይከፍትለታል ወዲህ ባህላዊ quantifiers ብቻ ቢያንስ ሦስት "" ቢያንስ ሁለት, "ማለቂያ በተቻለ quantifications መጀመሪያ ምልክት መሆኑን ስናገኘው , "ወዘተ, እና" ሁሉ (ምንም) ነገር ግን ዜሮ ወዘተ "ሁሉ (ምንም) ነገር ግን ሁለት" ሁሉ (ምንም) ነገር ግን አንድ ሰው, "" ይከፍታል "
 
በዚህ ግልጽነት በማድረግ, ወደ ዜሮ እና ባህላዊ syllogisms በሌላ አንድ ቁጥሮች replaceable ይሆናሉ. ስለዚህ, ለምሳሌ, ቢያንስ 100 አንድ ናቸው "" 10 ነገር ግን ሁሉም B እና 20 ለ ነገር ግን ሁሉ ወደ C ናቸው, ስለዚህ ሁሉም ነገር ግን ከ 30 ሀ, ሐ ናቸው "እና B, ሁሉም ነገር ግን 7 ለ ስለዚህ ቢያንስ 93 አንድ ናቸው, C ናቸው ሐ , "ልክ እንደ ባህላዊ ባርባራ እና Darii እንደ የሚሰራ, እና በጣም ተመሳሳይ ምክንያት ነው.
 
& # 8195; & # 8195; የ እገዛ ገጹ ክፍል ሁለት schematics ማራኪ በማድረግ ይህ የቁጥር መስፋፋት ያዳብራል.

ምን አዲስ ነገር አለ

Minor bug fixes