ReasonLines

Wallace A Murphree

เกี่ยวกับแอปนี้

ReasonLines ให้ (1) วิธีการใหม่และง่ายขึ้นกับการอ้างเหตุผลแบบดั้งเดิมและ (2) การขยายตัวของการอ้างเหตุผลแบบดั้งเดิมที่จะรวมถึงปริมาณตัวเลข
 
1) วิธีการใหม่ในการอ้างเหตุผลแบบดั้งเดิม
 
แทนที่จะพิจารณางบแยกเป็นส่วนประกอบของการขัดแย้งเช่นสถานที่สำคัญสถานที่เล็ก ๆ น้อย ๆ และสรุปวิธีการใหม่นี้การรวมกลุ่มในแต่ละคำสั่งเทียบเท่ากับและแต่ละกลุ่มจะแสดงโดยตัวของมันเอง "แผนผัง" ของลูกศร แผนงานหลักฐานนั้นจะสามารถปรับตัวลดลงในสถานที่ตามแนวด้านข้างแต่ละอื่น ๆ ที่แสดงการตีข่าวของพวกเขาสิ่งที่สรุปได้ว่าถ้ามีลูกชาย ผู้ใช้เพียงความต้องการที่จะเรียนรู้วิธีการเลือกแผนงานหลักฐานที่ถูกต้องและวิธีการปฏิบัติตามลูกศรสำหรับข้อสรุป
 
& # 8195; & # 8195; ส่วนหนึ่งของหน้าความช่วยเหลือคือการสอนสำหรับวิธีการใหม่นี้
 
(2) การขยายตัวของตัวเลขการอ้างเหตุผลแบบดั้งเดิม
 
มันมีอยู่แล้วมาตรฐานในการแปลความหมายโดยเฉพาะอย่างยิ่งปริมาณตัวเลข; นั่นคือมันเป็นมาตรฐานที่จะใช้ "บางคน" เป็น "อย่างน้อยหนึ่ง." นอกจากนี้ปริมาณสากล "ทั้งหมด" และ "ไม่" นอกจากนี้ยังสามารถแสดงผลความนับถือตัวเลขตั้งแต่ "ทั้งหมด" หมายความว่า "ทั้งหมดที่มีศูนย์ยกเว้น" และ "ไม่" หมายความว่าไม่มี "ไม่มีใครที่มีศูนย์ข้อยกเว้น." ให้นี้ก็ปรากฎว่าปริมาณดั้งเดิมเพียงแค่ทำเครื่องหมายจุดเริ่มต้นของ quantifications เป็นไปได้ไม่มีที่สิ้นสุดตั้งแต่ "อย่างน้อยหนึ่ง" เปิดซีรีส์ของ "อย่างน้อยสอง" "อย่างน้อยสาม " ฯลฯ และ" ทั้งหมด (ไม่มี) แต่ศูนย์ "เปิด" ทั้งหมด (ไม่มี) แต่อย่างหนึ่ง "" ทั้งหมด (ไม่มี) แต่สอง " ฯลฯ
 
โดยการทำให้เรื่องนี้ชัดเจนเป็นศูนย์และเป็นหนึ่งใน syllogisms แบบดั้งเดิมกลายเป็นแบบถอดเปลี่ยนได้โดยตัวเลขอื่น ๆ ดังนั้นสำหรับตัวอย่างเช่น " ทั้งหมด แต่ 10 A เป็น B และ แต่ 20 B เป็น C ดังนั้นทั้งหมด แต่ 30 A เป็น C " และ " อย่างน้อย 100 เป็น B, ทั้งหมด แต่ 7 B เป็น C ดังนั้นอย่างน้อย 93 มี C "เป็นเพียงความถูกต้องเป็นบาร์บาร่าแบบดั้งเดิมและ Darii และด้วยเหตุผลเดียวกันมาก
 
& # 8195; & # 8195; สองส่วนหนึ่งของหน้าความช่วยเหลือพัฒนาขยายตัวของตัวเลขนี้โดยน่าสนใจให้กับแผนงาน

มีอะไรใหม่

Minor bug fixes