ReasonLines
10+
Stahování
Všichni (E)
info
Informace o aplikaci
ReasonLines poskytuje (1) nový a snadnější přístup k tradičním úsudku a (2) rozšíření tradičního úsudku obsahovat číselnou kvantifikaci.
1) Tento nový přístup k tradiční úsudku
Místo toho, aby s ohledem na izolovaných závěrku složek argumentů, jako hlavní premisy, drobné premisy a závěr, tento nový přístup svazky každé prohlášení s jejími ekvivalenty a každý svazek je reprezentován vlastní "schematické" šípů. Premise schémata lze pak klesl na místo po boku toho druhého, kde jejich juxtapozice zobrazuje bez ohledu na závěr, pokud existuje, je znamenal. Uživatel pouze potřebuje naučit, jak vybrat správné premisy schémata a jak sledovat šipky k závěru.
& # 8195; & # 8195; První část stránce nápovědy je výukový program pro tento nový přístup.
(2) číselné rozšíření tradičního úsudku
Je již standardem interpretovat konkrétní kvantifikátor číselně; to znamená, že je to standardní vzít "trochu" jako "alespoň jeden". Kromě toho, univerzální kvantifikátory, "všichni" a "ne", může být také věrně vykreslen číselně protože "všechno" znamená "vše s nulovým výjimkou" a "ne" znamená none "none s nulovou výjimky." Vzhledem k této skutečnosti se ukázalo, že tradiční quantifiers jednoduše označit počátky nekonečných možných kvantifikací protože "alespoň jeden" otevírá sérii "nejméně dva", "alespoň tři "atd., a" všichni (none), ale nula "otevírá" all (none), ale jedno "," všichni (none), ale dvě, "atd.
Tím, že toto explicitní je nula a jedna z tradičních sylogismů stát nahraditelný jinými čísly. Tak, například, " Vše ale 10 A jsou B a všichni ale 20 B jsou C, takže vše, ale 30 A je C " a " Nejméně 100 A jsou B, vše ale 7 B jsou C, takže alespoň 93 a jsou C ", jsou stejně platné jako tradiční Barbara a Darii, a ze stejného důvodu.
& # 8195; & # 8195; Druhá část stránce nápovědy rozvíjí tuto numerickou expanzi odvoláním na schémata.
1) Tento nový přístup k tradiční úsudku
Místo toho, aby s ohledem na izolovaných závěrku složek argumentů, jako hlavní premisy, drobné premisy a závěr, tento nový přístup svazky každé prohlášení s jejími ekvivalenty a každý svazek je reprezentován vlastní "schematické" šípů. Premise schémata lze pak klesl na místo po boku toho druhého, kde jejich juxtapozice zobrazuje bez ohledu na závěr, pokud existuje, je znamenal. Uživatel pouze potřebuje naučit, jak vybrat správné premisy schémata a jak sledovat šipky k závěru.
& # 8195; & # 8195; První část stránce nápovědy je výukový program pro tento nový přístup.
(2) číselné rozšíření tradičního úsudku
Je již standardem interpretovat konkrétní kvantifikátor číselně; to znamená, že je to standardní vzít "trochu" jako "alespoň jeden". Kromě toho, univerzální kvantifikátory, "všichni" a "ne", může být také věrně vykreslen číselně protože "všechno" znamená "vše s nulovým výjimkou" a "ne" znamená none "none s nulovou výjimky." Vzhledem k této skutečnosti se ukázalo, že tradiční quantifiers jednoduše označit počátky nekonečných možných kvantifikací protože "alespoň jeden" otevírá sérii "nejméně dva", "alespoň tři "atd., a" všichni (none), ale nula "otevírá" all (none), ale jedno "," všichni (none), ale dvě, "atd.
Tím, že toto explicitní je nula a jedna z tradičních sylogismů stát nahraditelný jinými čísly. Tak, například, " Vše ale 10 A jsou B a všichni ale 20 B jsou C, takže vše, ale 30 A je C " a " Nejméně 100 A jsou B, vše ale 7 B jsou C, takže alespoň 93 a jsou C ", jsou stejně platné jako tradiční Barbara a Darii, a ze stejného důvodu.
& # 8195; & # 8195; Druhá část stránce nápovědy rozvíjí tuto numerickou expanzi odvoláním na schémata.
Datum aktualizace
Bezpečnost začíná pochopením toho, jak vývojáři shromažďují a sdílejí vaše data. Postupy ochrany soukromí a zabezpečení dat se mohou lišit podle způsobu používání, oblasti a věku. Tyto informace poskytl vývojář a může je průběžně aktualizovat.
S třetími stranami nejsou sdílena žádná data
Další informace o tom, jak vývojáři deklarují sdílení
Aplikace neshromažďuje žádná data
Další informace o tom, jak vývojáři deklarují shromažďování
Novinky
Minor bug fixes
Podpora aplikace
O vývojáři
Wallace A Murphree
wmurphree@gmail.com
274 Co Rd 804
Wedowee, AL 36278-6286
United States
undefined