ReasonLines

Wallace A Murphree

Thông tin về ứng dụng này

ReasonLines cung cấp (1) một cách tiếp cận mới và dễ dàng hơn để các tam đoạn luận truyền thống và (2) sự mở rộng của các tam đoạn luận truyền thống bao gồm định lượng số.
 
1) Các phương pháp tiếp cận mới cho phép tam đoạn luận truyền thống
 
Thay vì xem xét các báo cáo phân lập là các thành phần của các đối số, chẳng hạn như tiền đề quan trọng, tiền đề nhỏ, và kết luận, phương pháp mới này bó từng tuyên bố với tương đương của nó và mỗi bó được đại diện bằng cách riêng của mình "sơ đồ" của mũi tên. Các sơ đồ mặt bằng sau đó có thể được giảm xuống ở vị trí bên cạnh mỗi khác, nơi hiển thị kề nhau của họ bất cứ kết luận, nếu có, được kéo theo. Người sử dụng chỉ cần để tìm hiểu làm thế nào để chọn các sơ đồ tiền đề đúng và làm thế nào để thực hiện theo các mũi tên cho một kết luận.
 
& # 8195; & # 8195; Phần thứ nhất của trang Trợ giúp là một hướng dẫn cho phương pháp mới này.
 
(2) Việc mở rộng số của tam đoạn luận truyền thống
 
Nó đã có tiêu chuẩn để giải thích các đại lượng đặc biệt số lượng; nghĩa là, nó là tiêu chuẩn để có "một số" là "ít nhất một." Hơn nữa, lượng hóa phổ quát, "tất cả" và "không", cũng có thể được trung thực trả về số vì "tất cả" có nghĩa là "tất cả với số không ngoại lệ" và "không" có nghĩa là không có gì "không ai với không ngoại lệ." vì điều này, nó chỉ ra rằng lượng hóa truyền thống chỉ đơn giản là đánh dấu sự khởi đầu của quantifications vô tận có thể vì "ít nhất một" mở hàng loạt các "ít nhất hai", "ít nhất ba ", vv, và" tất cả (không có) nhưng không "mở" tất cả (không có) mà một "," tất cả (không có) nhưng hai ", vv
 
Bằng cách làm này rõ ràng, bằng không và một trong tam đoạn luận truyền thống trở nên thay thế bằng những con số khác. Vì vậy, ví dụ, " Tất cả nhưng 10 A là B và tất cả nhưng 20 B là C, vì vậy tất cả nhưng 30 A là C " và " Ít nhất 100 A là B, tất cả nhưng 7 B là C, do đó ít nhất 93 A là C , "chỉ có giá trị như các Barbara truyền thống và Darii, và vì lý do rất giống nhau.
 
& # 8195; & # 8195; Phần thứ hai của trang Trợ giúp phát triển mở rộng số này bằng cách kêu gọi các sơ đồ.

Tính năng mới

Minor bug fixes