ReasonLines

Wallace A Murphree

Հավելվածի մասին

ReasonLines տրամադրում (1) մի նոր եւ ավելի հեշտ մոտեցում ավանդական հետեւաբանություն եւ (2) ընդլայնման ավանդական հետեւաբանություն ներառել թվային quantification.
 
1) նոր մոտեցումը ավանդական հետեւաբանություն
 
Փոխարենը, հաշվի առնելով առանձին հայտարարությունները, որպես բաղադրիչների փաստարկների, ինչպիսիք են խոշոր շինություն, մանր շինություն, եւ եզրակացության, որ այս նոր մոտեցումը փաթեթներ յուրաքանչյուր հայտարարություն իր համարժեքների եւ յուրաքանչյուր փաթեթ, որը ներկայացված է նրա սեփական «սխեմատիկ» Ռադիո. The տարածք գծագրերի կարող է, ապա նվազել է տեղում կողքին միմյանց հետ, որտեղ նրանց առադրելը ցուցադրում ինչ եզրահանգման, եթե այդպիսիք կան, այն հանգեցրեց. Օգտագործողը պետք է միայն իմանալ, թե ինչպես պետք է ընտրել ճիշտ նախադրյալ schematics եւ ինչպես պետք է հետեւել Ռադիո մի եզրակացության.
 
& # 8195; & # 8195; Part One of the Օգնություն էջի ձեռնարկը այս նոր մոտեցմանը:
 
(2) The թվային ընդլայնումը ավանդական հետեւաբանություն
 
Դա արդեն ստանդարտ մեկնաբանել տվյալ quantifier քանակապես, այսինքն, դա ստանդարտ է, որ «ոմանց», քանի որ «առնվազն մեկ»: Ավելին, ունիվերսալ quantifiers, «բոլորը» եւ «ոչ», նույնպես կարող է հավատարմորեն ցուցաբերել թվային, քանի որ «Բոլոր» նշանակում է «բոլորը զրոյական բացառությամբ" եւ «ոչ», նշանակում է ոչ "ոչ մեկը զրոյական բացառությամբ.« Հաշվի առնելով սա, պարզվում է, որ ավանդական quantifiers պարզապես նշելու սկիզբը անվերջ հնարավոր quantifications, քանի որ «առնվազն մեկ» բացում է շարք «առնվազն երկու", "առնվազն երեք , »եւ այլն, եւ« բոլորը (ոչ մեկը), բայց զրոյական «բացում» բոլոր (ոչ մեկը), բայց մեկը »,« բոլորս (ոչ մեկը), բայց երկու »եւ այլն:
 
Դարձնելով այս բացահայտ, զրոյական եւ մեկը ավանդական syllogisms է դառնալ replaceable է այլ համարներով. Այնպես որ, օրինակ, « Բոլորը, բայց 10 են B եւ բոլորը, սակայն 20-B են C, այնպես որ բոլոր սակայն 30 են C » եւ « առնվազն 100 A են B, Բոլոր բայց 7 B են C, այնպես որ, առնվազն 93 Ա, որոնք C «նույնքան ուժի մեջ, քանի որ ավանդական Բարբարայի եւ Darii, եւ հենց նույն պատճառով:
 
& # 8195; & # 8195; Մաս Երկու Օգնություն էջի զարգացնում այս թվային ընդլայնումը դիմելով սխեմաների:

Ինչ նոր բան կա

Minor bug fixes