ReasonLines
10+
Muat turun
Semua orang
info
Perihal apl ini
ReasonLines menyediakan (1) pendekatan baru dan lebih mudah untuk silogisme tradisional dan (2) pengembangan silogisme tradisional untuk memasukkan kuantifikasi berangka.
1) Pendekatan baharu terhadap silogisme tradisional
Selain daripada menilai kenyataan terpencil sebagai komponen hujah, seperti premis utama, premis kecil, dan kesimpulan, pendekatan baru ini berkas setiap kenyataan dengan setara dan setiap ikatan diwakili oleh sendiri "skema" anak panah. Skema premis itu boleh digugurkan di tempat di sebelah antara satu sama lain di mana memaparkan saling bertindih mereka apa sahaja Kesimpulannya, jika ada, adalah diterangkan dengan jelas. Pengguna hanya perlu belajar bagaimana untuk memilih skema premis yang betul dan bagaimana untuk mengikuti anak panah untuk kesimpulan.
& # 8195; & # 8195; Bahagian Satu laman Bantuan adalah tutorial untuk pendekatan baru ini.
(2) Pengembangan berangka silogisme tradisional
Ia sudah standard untuk mentafsir pengkuantiti tertentu berangka; iaitu, ia adalah standard untuk mengambil "beberapa" sebagai "sekurang-kurangnya satu." Selain itu, pengkuantiti universal, "semua" dan "tidak", juga boleh setia diberikan berangka kerana "semua" bermakna "semua kecuali sifar" dan "tidak" bermakna tiada "tiada seorang pun kecuali sifar." Memandangkan ini, ternyata bahawa pengkuantiti tradisional hanya menandakan permulaan quantifications berkesudahan mungkin kerana "sekurang-kurangnya satu" membuka siri "sekurang-kurangnya dua", "sekurang-kurangnya tiga , "dan lain-lain, dan" semua (tiada) tetapi sifar "membuka" semua (tiada) tetapi satu, "" semua (tiada) tetapi dua, "dan lain-lain
Dengan membuat ini jelas, sifar dan salah satu syllogisms tradisional menjadi diganti dengan nombor lain. Jadi, sebagai contoh, " Semua tetapi 10 A adalah B dan semua tetapi 20 B adalah C, jadi Semua tetapi 30 A adalah C ," dan " Sekurang-kurangnya 100 A adalah B, Semua tetapi 7 B adalah C, jadi Sekurang-kurangnya 93 A adalah C , "hanya sah sebagai Barbara tradisional dan Darii, dan untuk sebab yang sama.
& # 8195; & # 8195; Bahagian Dua halaman Bantuan membangunkan perkembangan berangka ini dengan merayu kepada skema.
1) Pendekatan baharu terhadap silogisme tradisional
Selain daripada menilai kenyataan terpencil sebagai komponen hujah, seperti premis utama, premis kecil, dan kesimpulan, pendekatan baru ini berkas setiap kenyataan dengan setara dan setiap ikatan diwakili oleh sendiri "skema" anak panah. Skema premis itu boleh digugurkan di tempat di sebelah antara satu sama lain di mana memaparkan saling bertindih mereka apa sahaja Kesimpulannya, jika ada, adalah diterangkan dengan jelas. Pengguna hanya perlu belajar bagaimana untuk memilih skema premis yang betul dan bagaimana untuk mengikuti anak panah untuk kesimpulan.
& # 8195; & # 8195; Bahagian Satu laman Bantuan adalah tutorial untuk pendekatan baru ini.
(2) Pengembangan berangka silogisme tradisional
Ia sudah standard untuk mentafsir pengkuantiti tertentu berangka; iaitu, ia adalah standard untuk mengambil "beberapa" sebagai "sekurang-kurangnya satu." Selain itu, pengkuantiti universal, "semua" dan "tidak", juga boleh setia diberikan berangka kerana "semua" bermakna "semua kecuali sifar" dan "tidak" bermakna tiada "tiada seorang pun kecuali sifar." Memandangkan ini, ternyata bahawa pengkuantiti tradisional hanya menandakan permulaan quantifications berkesudahan mungkin kerana "sekurang-kurangnya satu" membuka siri "sekurang-kurangnya dua", "sekurang-kurangnya tiga , "dan lain-lain, dan" semua (tiada) tetapi sifar "membuka" semua (tiada) tetapi satu, "" semua (tiada) tetapi dua, "dan lain-lain
Dengan membuat ini jelas, sifar dan salah satu syllogisms tradisional menjadi diganti dengan nombor lain. Jadi, sebagai contoh, " Semua tetapi 10 A adalah B dan semua tetapi 20 B adalah C, jadi Semua tetapi 30 A adalah C ," dan " Sekurang-kurangnya 100 A adalah B, Semua tetapi 7 B adalah C, jadi Sekurang-kurangnya 93 A adalah C , "hanya sah sebagai Barbara tradisional dan Darii, dan untuk sebab yang sama.
& # 8195; & # 8195; Bahagian Dua halaman Bantuan membangunkan perkembangan berangka ini dengan merayu kepada skema.
Dikemas kini pada
Keselamatan bermula dengan memahami cara pembangun mengumpul dan berkongsi data anda. Amalan privasi dan keselamatan data mungkin berbeza-beza berdasarkan penggunaan, rantau dan umur anda. Pembangun memberikan maklumat ini dan mungkin mengemaskinikan maklumat dari semasa ke semasa.
Tiada data dikongsi dengan pihak ketiga
Ketahui lebih lanjut tentang cara pembangun mengisytiharkan perkongsian
Tiada data dikumpulkan
Ketahui lebih lanjut tentang cara pembangun mengisytiharkan pengumpulan
Perkara baharu
Minor bug fixes
Sokongan apl
Perihal pembangun
Wallace A Murphree
wmurphree@gmail.com
274 Co Rd 804
Wedowee, AL 36278-6286
United States
undefined