ReasonLines

Wallace A Murphree

O ovoj aplikaciji

ReasonLines pruža (1) novi i jednostavniji pristup tradicionalnom silogizam i (2) širenje tradicionalne silogizam uključiti numeričku kvantifikaciju.
 
1) Novi pristup u tradicionalnoj silogizam
 
Umjesto da se izolirane izvještaje komponenti argumenata, kao što su glavni prostor, manji prostor, i zaključka, ovaj novi pristup pakete svaku izjavu sa svojim ekvivalentima, a svaki paket predstavlja svoj "shematski" strijela. Premisa sheme onda može ispustiti na mjestu uzduž jedni druge, gdje su njihovi srastanje prikazuje ono što je zaključak, ako ga ima, povlači za sobom. Korisnik samo treba naučiti kako odabrati ispravne premise sheme te kako pratiti strelice za zaključak.
 
& # 8195; & # 8195; jedan dio stranice Pomoć je tutorial za ovaj novi pristup.
 
(2) Brojčani proširenje tradicionalnog silogizam
 
Već je standardni interpretirati određeni količnik numerički; to jest, to je standard da se "neki" kao "barem jedan". Osim toga, univerzalni quantifiers "svi" i "ne", također se može vjerno donio brojčano, jer je "sve" znači "sve s nula izuzetkom" i "ne" znači niti "niti s nula iznimke." s obzirom na to, što se ispostavilo da su tradicionalni quantifiers jednostavno označiti početak beskrajnih mogućih kvantifikacijama jer "barem jedan" otvara seriju "najmanje dva", "najmanje tri "itd, a" svi (ništa), ali nula "otvara" sve (ništa), ali jedan "," sve (niti jedan), ali dva ", itd
 
Čineći to eksplicitno, nula i jedan od tradicionalnih syllogisms postati zamijenjen s drugim brojevima. Tako, na primjer, " Sve osim 10 A su B i sve, ali 20 B su C, tako da svi, ali 30 A su C " i " Najmanje 100 A su B, Sve osim 7 B C pa najmanje 93 a su C "su jednako vrijede kao tradicionalni Barbara i DARII, a za istog razloga.
 
& # 8195; & # 8195; dio dva od stranice Pomoć razvija ovaj numerički širenje pozivajući se na shemama.

Što je novo

Minor bug fixes