ReasonLines

Wallace A Murphree

Apie šią programą

ReasonLines suteikia (1) nauja ir lengviau požiūris į tradicinės silogizmo ir (2) tradicinės silogizmo plėtrą įtraukti skaitmeninį kiekybiškai.
 
1) naujas požiūris į tradicinį silogizmo "
 
Vietoj svarsto atskirus pareiškimus kaip argumentais, pavyzdžiui, didelių patalpų, nedidelių patalpų, sudarymo ir komponentų, šis naujas požiūris ryšuliai kiekvieną teiginį su ekvivalentų ir kiekvienas ryšulėlis atstovauja savo "schema" strėlės. Prielaida schemos gali būti numestas vietoje šone vienas kito, kur jų sugretinimas rodo kokia išvada, jei tokia yra, apėmė. Vartotojas turi išmokti pasirinkti tinkamą Patalpos schemas ir kaip sekite išvadą rodykles tik.
 
& # 8195; & # 8195; viena dalis Pagalba puslapyje yra pamoka šio naujo požiūrio.
 
(2) skaitmeninis plėtra tradicinės silogizmo "
 
Tai jau standartas interpretuoti ypatingą quantifier Skaitmeninio; tai yra, jis yra standartinis imtis "kai kurie" kaip "bent vienas". Be to, universalūs Kwantyfikatory, "visi" ir "ne", taip pat gali būti ištikimai suteiktas Skaitmeninio nes "visi" reiškia "visi su nuline išskyrus" ir "ne" reiškia nėra "nė su nuline išimtis." Atsižvelgiant į tai, it turns out, kad tradiciniai Kwantyfikatory tiesiog pažymėkite begalinis galimų kiekybinių pradžia nuo "bent vienas" atidaro serijos "bent du", "ne mažiau kaip trys "ir tt, ir" visi (nieko), bet nulis "atidaro" visi (nieko), bet vienas "," visi (nieko), bet du "ir tt
 
Darant tai aiškus, nulis ir vienas iš tradicinių silogistika tapti keičiamais kitų numerius. Taigi, pavyzdžiui, " Visi, išskyrus 10 A yra B ir visi, bet 20 B yra C, todėl visi, bet 30 A yra C " ir " Bent 100 A yra tokie B Visi, išskyrus B 7 yra, C, todėl bent 93 A yra tokie, C "yra lygiai taip pat galioja kaip tradicinis Barbara ir Darii, o tos pačios priežasties.
 
& # 8195; & # 8195; žinyno puslapyje Part Two plėtoja šį skaitinį išplitimą kreipiamės į schemas.

Kas naujo

Minor bug fixes