ReasonLines

Wallace A Murphree

Informácie o aplikácii

ReasonLines poskytuje (1) nový a ľahší prístup k tradičným úsudku a (2) rozšírenie tradičného úsudku obsahovať číselnú kvantifikáciu.
 
1) Tento nový prístup k tradičnej úsudku
 
Namiesto toho, aby s ohľadom na izolovaných závierku zložiek argumentov, ako hlavný premisy, drobné premisy a záver, tento nový prístup zväzky každé vyhlásenie s jej ekvivalenty a každý zväzok je reprezentovaný vlastnou "schematické" šípov. Premise schémy možno potom klesol na miesto po boku toho druhého, kde ich juxtapozice zobrazuje bez ohľadu na záver, ak existuje, je znamenal. Užívateľ len potrebuje naučiť, ako vybrať správne premisy schémy a ako sledovať šípky k záveru.
 
& # 8195; & # 8195; Prvá časť stránke pomocníka je výukový program pre tento nový prístup.
 
(2) číselné rozšírenie tradičného úsudku
 
Je už štandardom interpretovať konkrétne kvantifikátor číselne; to znamená, že je to štandardný vziať "trochu" ako "aspoň jeden". Okrem toho, univerzálne vyčíslením, "všetci" a "nie", môže byť tiež verne vykreslený číselne pretože "všetko" znamená "všetko s nulovým výnimkou" a "nie" znamená none "none s nulovou výnimky." Vzhľadom k tejto skutočnosti sa ukázalo, že tradičné quantifiers jednoducho označiť počiatky nekonečných možných kvantifikáciou pretože "aspoň jeden" otvára sériu "najmenej dva", "aspoň tri "atď., a" všetci (none), ale nula "otvára" all (none), ale jedno "," všetci (none), ale dve, "atď.
 
Tým, že toto explicitné je nula a jedna z tradičných sylogizme stať nahraditeľný inými číslami. Tak, napríklad, " Všetko ale 10 A sú B a všetci ale 20 B sú C, takže všetko, ale 30 A je C " a " Najmenej 100 A sú B, všetko ale 7 B sú C, takže aspoň 93 a sú C ", sú rovnako platné ako tradičné Barbara a darí, a z rovnakého dôvodu.
 
& # 8195; & # 8195; Druhá časť stránke pomocníka rozvíja túto numerickú expanziu odvolaním na schémy.

Novinky

Minor bug fixes