ReasonLines

Wallace A Murphree

О овој апликацији

РеасонЛинес пружа (1) нови и лакши приступ традиционалном силогизам и (2) проширење традиционалног силогизам да укључи бројчану квантификацију.
 
1) Нови приступ традиционалном силогизам
 
Уместо да се изоловане изјаве као компоненте аргумената, као што је озбиљна премисе, мање премисе и закључка, овај нови приступ обједињује сваку изјаву са својим еквивалената и сваки пакет је представљен од себе "шематски" стрела. Премиси еме могу се затим пао у месту уздуж једни другима где год закључак, и да ли је укључивало њихове јукстапозиције приказује. Корисник само треба да науче како да изаберете исправне премису шеме и како да прати стрелице за закључак.
 
& # 8195; & # 8195; Први део странице Помоћ је туториал за овог новог приступа.
 
(2) нумеричке проширење традиционалне силогизам
 
Већ је стандард да се тумачи одређене квантификатор нумерички; то јест, да је стандард да се "неки" као "најмање један". Штавише, универзални квантификатори, "све" и "не", може се верно изречена нумерички од "свега" значи "све без икаквог изузетка" и "не" значи ништа "ни са нултом изузетак." s обзиром на то, испоставило се да су традиционалне квантификатори једноставно означити почетак бескрајних могућих квантификације од "најмање један" отвара низ "најмање два", "најмање три ", итд, и" сви (ни) али нула "отвара" све (ниједан), али један, "" сви (ни), али два, "итд
 
Тако што ово експлицитно, нула и један од традиционалних силогизме постати заменити другим бројевима. Тако, на пример, " Све осим 10 А су Б и све, али 20 Б су Ц, тако да сви осим 30 А су, Ц ," и " Најмање 100 А су Б Све осим 7 Б су, Ц, па najmanje 93 a су, Ц , "подједнако важи као традиционални Барбара и ДАРИИ, а из истог разлога.
 
& # 8195; & # 8195; Дио Два странице Помоћ развија ову бројчану експанзију позивајући се на схеме.

Шта је ново

Minor bug fixes