ReasonLines

Wallace A Murphree

Kuhusu programu hii

ReasonLines hutoa (1) mbinu mpya na rahisi syllogism jadi na (2) upanuzi wa syllogism jadi ni pamoja na namba quantification.
 
1) mbinu mpya ya syllogism jadi
 
Badala ya kuzingatia kauli pekee kama sehemu ya hoja, kama vile Nguzo kuu, madogo Nguzo, na kumalizia, mkabala huu mpya bahasha kila taarifa na EQUIVALENTS yake na kila kifungu ni kuwakilishwa na yake mwenyewe "schematic" ya mishale. Nguzo schematics basi zinaweza imeshuka katika mahali pamoja upande kila mmoja ambapo juxtaposition maonyesho yao chochote kumalizia, kama wapo, ni kilichomo. user tu mahitaji ya kujifunza jinsi ya kuchagua sahihi Nguzo schematics na jinsi ya kufuata mishale kwa hitimisho.
 
& # 8195; & # 8195; Part One ya ukurasa Msaada ni mafunzo kwa ajili ya mfumo huu mpya.
 
(2) namba upanuzi wa syllogism jadi
 
Tayari ni kiwango cha kutafsiri watakwimu hasa numerically; yaani, ni kiwango cha kuchukua "baadhi" kama "angalau moja." Isitoshe, watakwimu zima, "wote" na "hapana," pia inaweza kwa uaminifu kulipwa numerically tangu "wote" ina maana ya "wote kwa sifuri ubaguzi" na "hapana" maana yake ni hakuna "hakuna na zero ubaguzi." Kutokana hii, zinageuka kuwa watakwimu jadi tu alama mwanzo wa quantifications kutokuwa na mwisho inawezekana tangu "angalau moja" kuufungua mfululizo wa "angalau mbili," "angalau tatu , "nk, na" wote (hakuna) lakini zero "kufungua" wote (hakuna) ila moja, "" zote (hakuna) lakini mbili, "nk
 
Kwa kufanya hii wazi, sifuri na moja ya syllogisms jadi kuwa replaceable na namba nyingine. Hivyo, kwa mfano, " Wote lakini 10 A ni B na wote lakini 20 B ni C, hivyo All lakini 30 A ni C ," na " Angalau 100 A ni B, wote wanafunzi wa lakini 7 B ni C, hivyo angalau 93 A ni C , "ni halali kama Barbara jadi na Darii, na kwa sababu hiyo hiyo.
 
& # 8195; & # 8195; Sehemu ya Pili ya ukurasa Msaada yanaendelea hii upanuzi namba na rufaa kwa schematics.

Vipengele vipya

Minor bug fixes