ReasonLines

Wallace A Murphree

Bu uygulama hakkında

ReasonLines (1), geleneksel kıyas ve geleneksel kıyas (2), bir genişleme için yeni ve kolay bir yaklaşım sayısal ölçümü dahil içerir.
 
1), geleneksel tasım yeni yaklaşım
 
Bunun yerine bu tür büyük öncül, küçük öncül ve sonuç olarak argümanlar, bileşenleri olarak izole ifadeleri göz önünde, bu yeni yaklaşım muadillerine her ifadeyi demetleri ve her paket oklar kendi "şematik" tarafından temsil edilmektedir. Öncül şemadaki sonra yan onların yan yana görüntüler ne olursa olsun sonuç, eğer varsa, gerektirdiği yerde birbiri boyunca yerinde bırakılabilir. kullanıcı sadece doğru önerme şemaları seçmek ve nasıl bir sonuca varabilmek için okları takip etmek için öğrenmek gerekir.
 
& # 8195; & # 8195; Yardım sayfasının Part One, bu yeni yaklaşımın bir öğretici olduğunu.
 
(2) Geleneksel tasım sayısal genişleme
 
Zaten sayısal belirli niceleyici yorumlamak standarttır; yani, Ayrıca, evrensel nicelik, "tüm" ve "hayır" da sadakatle beri sayısal kılınabilir "en az bir." olarak "bazı" "tüm" "sıfır hariç tüm" anlamına gelir ve almaya standart "hayır" none "sıfır hariç hiçbiri" anlamına gelir. Bu göz önüne alındığında, "en az bir" dizi açar beri geleneksel nicelik sadece en az üç "" en az iki, "sonsuz olası sayımsal başlangıçlar işareti çıkıyor , "vb ve" bütün (yok) ama sıfır vb ", bütün (yok) ancak iki" tüm (yok) ama bir "," açılan "
 
Bu açık yaparak, sıfır ve geleneksel syllogisms biri diğer numaraları ile değiştirilebilir hale gelir. Yani, örneğin, en az 100 A olan "" 10 A ama tüm Oda ve 20 B ama tüm C, yani tüm ama 30 A, C olan "ve B hariç tümü 7 B çok az 93 A olan C'dir C "gibi geleneksel Barbara ve darii geçerli ve çok aynı nedenle içindir.
 
& # 8195; & # 8195; Yardım sayfasının Part Two şemadaki hitap ederek bu sayısal genişleme geliştirir.

Yenilikler

Minor bug fixes