ReasonLines

Wallace A Murphree

Bu tətbiq haqqında

ReasonLines (1) ənənəvi tasım və ənənəvi tasım (2) genişləndirilməsi üçün yeni və asan yanaşma ədədi miqdarı daxil edir.
 
1) ənənəvi tasım yeni yanaşma
 
Əvəzində belə böyük zalın, kiçik sahələrin və nəticəyə kimi dəlilləri, komponentləri kimi təcrid hesabatları nəzərə alaraq, bu yeni yanaşma onun ekvivalentləri ilə hər bəyanat paketləri və hər paketi oxlar öz "sxematik" ilə təmsil olunur. premise schematics sonra tərəfdə yan göstərir nə nəticə, əgər səbəb olduğu bir-birinə yanaşı yerdə düşmüşdür bilər. istifadəçi yalnız doğru premise schematics seçin və necə bağlanması üçün okları izləmək üçün necə öyrənmək lazımdır.
 
& # 8195; & # 8195; Help səhifənin hissə bu yeni yanaşma üçün bir tutorial edir.
 
(2) ənənəvi tasım ədədi genişləndirilməsi
 
Artıq sayısal xüsusi kvantifikatoru şərh standart; ki, bu Bundan başqa, universal Quantifiers, "bütün" və "xeyr" də sədaqətlə-ci ildən sayısal göstərilən bilər "ən azı bir." kimi "bəzi" "bütün" "sıfır istisna olmaqla bütün" deməkdir və almaq standart "heç bir" none "sıfır istisna olmaqla heç" deməkdir. bunu nəzərə alaraq, bu, "ən azı bir" seriyası açır ci ildən ənənəvi Quantifiers sadəcə ən azı üç "" ən azı iki "sonsuz mümkün quantifications əvvəlinə qeyd çıxır ki, "və s və" bütün (none), lakin sıfır və s. ", bütün (none), lakin iki" bütün (none), lakin bir "," açılır "
 
Bu aydın edərək, sıfır və ənənəvi syllogisms biri digər nömrələr əvəz olur. Belə ki, məsələn, ən azı 100 A var "" 10 A lakin Bütün B və 20 B lakin bütün C, belə ki, bütün lakin 30 A, C "və B, Bütün amma 7 B ən azı 93 A var, C C "kimi ənənəvi Barbara və Darii etibarlı və çox eyni səbəbdən üçün.
 
& # 8195; & # 8195; Help səhifənin hissə schematics xitab edərək bu ədədi genişləndirilməsi inkişaf edir.

Yeniliklər

Minor bug fixes