ReasonLines

Wallace A Murphree

ກ່ຽວກັບແອັບນີ້

ReasonLines ໃຫ້ (1) ວິທີການໃຫມ່ແລະງ່າຍຕໍ່ການໄດ້ syllogism ພື້ນເມືອງແລະ (2) ການຂະຫຍາຍຕົວຂອງ syllogism ພື້ນເມືອງປະກອບມີປະລິມານຈໍານວນຫລາຍ.
 
1) ວິທີການໃຫມ່ໃນການ syllogism ພື້ນເມືອງ
 
ແທນທີ່ຈະພິຈາລະນາງົບຫ່າງໄກສອກຫລີກເປັນອົງປະກອບຂອງການໂຕ້ຖຽງ, ເຊັ່ນ: ສະຖານທີ່ຕັ້ງທີ່ສໍາຄັນ, ສໍາຄັນດັ່ງກ່າວເປັນການຄ້າຫນ້ອຍ, ແລະການສະຫລຸບໄດ້, ວິທີການໃຫມ່ນີ້ມັດແຕ່ລະຄໍາສັ່ງການທຽບເທົ່າຂອງຕົນແລະແຕ່ລະກຸ່ມແມ່ນເປັນຕົວແທນໂດຍຕົນເອງ "schematic" ຂອງລູກສອນ. The schematics ສໍາຄັນດັ່ງກ່າວຫຼັງຈາກນັ້ນສາມາດໄດ້ຮັບການຫຼຸດລົງໃນສະຖານທີ່ຕາມຂ້າງແຕ່ລະຄົນອື່ນໆທີ່ມີການສະແດງຕີຂ່າວຂອງເຂົາເຈົ້າໃດກໍ່ຕາມການສະຫລຸບ, ຖ້າມີ, ແມ່ນ entailed. ຜູ້ໃຊ້ພຽງແຕ່ຕ້ອງການທີ່ຈະຮຽນຮູ້ວິທີການເລືອກ schematics ສໍາຄັນດັ່ງກ່າວທີ່ຖືກຕ້ອງແລະວິທີການປະຕິບັດຕາມລູກສອນສໍາລັບການສະຫລຸບໄດ້.
 
& # 8195; & # 8195; ສ່ວນຫນຶ່ງຂອງຫນ້າຄໍາຖາມແມ່ນ tutorial ສໍາລັບວິທີການໃຫມ່ນີ້.
 
(2) ການຂະຫຍາຍຕົວເລກສະແດງການ syllogism ພື້ນເມືອງ
 
ມັນແມ່ນແລ້ວມາດຕະຖານການຕີຄວາມຫມາຍຂອງປະລິມານໂດຍສະເພາະຈໍານວນຫລາຍ; ວ່າແມ່ນ, ມັນແມ່ນມາດຕະຖານທີ່ຈະ "ບາງຄົນ" ເປັນ "ຢ່າງຫນ້ອຍຫນຶ່ງ." ຍິ່ງໄປກວ່ານັ້ນ, ໃນປະລິມານວິທະຍາໄລ, "ທັງຫມົດ" ແລະ "ບໍ່ມີ," ຍັງສາມາດໄດ້ຮັບການສະແດງຜົນຢ່າງຊື່ສັດຈໍານວນຫລາຍນັບຕັ້ງແຕ່ "ທັງຫມົດ" ຫມາຍຄວາມວ່າ "ທັງຫມົດທີ່ມີສູນຂໍ້ຍົກເວັ້ນ" ແລະ "ບໍ່ມີ" ຫມາຍຄວາມວ່າບໍ່ມີ "ບໍ່ມີກັບສູນຂໍ້ຍົກເວັ້ນ." ອີງຕາມເລື່ອງນີ້, ມັນ turns ໃຫ້ເຫັນວ່າປະລິມານແບບດັ້ງເດີມພຽງແຕ່ເຄື່ອງຫມາຍການເລີ່ມຕົ້ນຂອງປະລິມານທີ່ເປັນໄປໄດ້ endless ນັບຕັ້ງແຕ່ "ຢ່າງຫນ້ອຍຫນຶ່ງ" ເປີດຊຸດຂອງ "ຢ່າງຫນ້ອຍສອງ," "ຢ່າງຫນ້ອຍສາມ , "ແລະອື່ນໆ, ແລະ" ທັງຫມົດ (ບໍ່ມີ) ແຕ່ສູນ "ເປີດ" ທັງຫມົດ (ບໍ່ມີ) ແຕ່ຫນຶ່ງ, "" ທັງຫມົດ (ບໍ່ມີ) ແຕ່ທັງສອງ, "ແລະອື່ນໆ
 
ໂດຍການເຮັດໃຫ້ນີ້ຢ່າງຊັດເຈນ, ສູນແລະຫນຶ່ງຂອງ syllogism ພື້ນເມືອງກາຍເປັນການທົດແທນໂດຍຕົວເລກອື່ນໆ. ດັ່ງນັ້ນ, ສໍາລັບການຍົກຕົວຢ່າງ, " ທັງຫມົດແຕ່ 10 A ເປັນ B ແລະທັງຫມົດແຕ່ 20 B ແມ່ນ C, ດັ່ງນັ້ນທັງຫມົດແຕ່ 30 A ມີ C ," ແລະ " ຢ່າງຫນ້ອຍ 100 A ແມ່ນ B, ທັງຫມົດແຕ່ 7 B ແມ່ນ C, ສະນັ້ນຢ່າງຫນ້ອຍ 93 A ມີ C , "ແມ່ນມີພຽງແຕ່ເປັນທີ່ຖືກຕ້ອງເປັນ Barbara ພື້ນເມືອງແລະ Dariy, ແລະສໍາລັບເຫດຜົນດຽວກັນຫຼາຍ.
 
& # 8195; & # 8195; ສອງສ່ວນຂອງຫນ້າຊ່ວຍເຫລືອການພັດທະນານີ້ການຂະຫຍາຍຕົວຈໍານວນຫລາຍໂດຍການອຸທອນກັບ schematics ໄດ້.

ມີຫຍັງໃໝ່

Minor bug fixes