ReasonLines

Wallace A Murphree

Um þetta forrit

ReasonLines veitir (1) nýr og auðveldara nálgun við hefðbundna syllogism og (2) stækkun á hefðbundnum syllogism að fela tölulega mæling.
 
1) Hin nýja nálgun við hefðbundna syllogism
 
Í stað þess að miðað við einstakar yfirlýsingar sem hluti af rökum, svo sem meiriháttar forsendu, minniháttar forsendu, og niðurstaða, þessi nýja nálgun knippi hvert yfirlýsingu með jafngildum sínum og hver búnt er táknuð með eigin "teikning" af örvum. Forsenda aðaldráttum er síðan hægt niður í stað meðfram hlið hvers annars þar Juxtaposition birtir þeirra hvað niðurstaða, ef einhver er í för með sér. Notandinn þarf aðeins að læra hvernig á að velja rétt forsendu aðaldráttum og hvernig á að fylgja örvarnar til niðurstöðu.
 
& # 8195; & # 8195; Part One á hjálparsíðu er eitthvert fyrir þennan nýja nálgun.
 
(2) The tölulegar stækkun hefðbundnum syllogism
 
Það er nú þegar staðall til þess að túlka tiltekna quantifier tölulega; það er, er það staðall til að taka "nokkrar" eins "að minnsta kosti einn." Þar að auki, alhliða quantifiers, "allt" og "nei", einnig er hægt að einlæglega þýtt tölulega síðan "allt" þýðir "allt með núll undanskildu" og "nei" þýðir ekkert "ekkert með núll undanskildu." í ljósi þessa, það kemur í ljós að hefðbundin quantifiers merkja einfaldlega upphaf endalaus hugsanlegum quantifications síðan "að minnsta kosti einn" opnar röð "að minnsta kosti tveimur," "að minnsta kosti þrír "osfrv, og" allt (engin) en núll "opnar" allt (engin) en eitt, "" allt (engin) en tveir, "osfrv
 
Með því að gera þetta skýr, núll og einn af hefðbundnum syllogisms orðið að skipta um aðrar tölur. Svo, til dæmis, " All en 10 A eru B og allt en 20 B eru C, þannig að allir en 30 A eru C ," og " að minnsta kosti 100 A eru B, All en 7 B eru C, svo að minnsta kosti 93 A eru C , "eru bara eins gild og hefðbundin Barbara og Darii, og fyrir mjög sömu ástæðu.
 
& # 8195; & # 8195; Part Two á hjálparsíðu þróar þessa tölulegu stækkun með skírskotun til aðaldráttum.

Nýjungar

Minor bug fixes