ReasonLines
10+
Спампоўванні
Для ўсіх
info
Пра гэту праграму
ReasonLines забяспечвае (1) новы і больш зручны падыход да традыцыйнага сілагізмах і (2) пашырэнне традыцыйнага сілагізмах ўключаць колькасную колькаснай ацэнкі.
1) Новы падыход да традыцыйнага сілагізмах
Замест таго каб разглядаць асобныя заявы ў якасці кампанентаў аргументаў, такіх як вялікая пасылка, меншай пасылкі, і заключэнне, гэты новы падыход звязвае кожнае зацвярджэнне з яе эквівалентамі і кожны пучок прадстаўлены сваім уласным "схематычны" стрэл. Перадумова схемныя затым можа быць адкінуты на месцы ўздоўж бакі адзін аднаго, дзе іх супастаўленне паказвае тое, што заключэнне, калі такія маюцца, гэта цягне за сабой. Карыстачу трэба толькі, каб даведацца, як выбраць правільныя схемы памяшкання і як прытрымлівацца стрэлкі для вываду.
& # 8195; & # 8195; Частка першая старонкі даведкі з'яўляецца навучальным дапаможнікам для гэтага новага падыходу.
(2) Лікавы пашырэнне традыцыйнага сілагізмах
Гэта ўжо з'яўляецца стандартам для інтэрпрэтацыі канкрэтнага аператара колькасна; гэта значыць, гэта стандарт прыняць "некаторыя", як "па меншай меры адзін". Акрамя таго, універсальныя аператара, "усе" і "не", можа таксама быць варьянтом колькасна, так як "усё" азначае "усё з нулявым выключэннем" і "няма" не азначае, што няма «ні з нулявым выключэннем." Зыходзячы з гэтага, атрымліваецца, што традыцыйныя квантификаторы проста адзначаюць пачатак бясконцых магчымых колькаснымі, так як "па меншай меры адзін" адкрывае серыю "прынамсі два", "па крайняй меры тры "і г.д., і" ўсе (няма), але нуль "не адчыняецца" усе (няма), але адзін "," усе (няма), а два "і г.д.
Робячы гэта відавочна, нуль і адзін з традыцыйных сілагізмах стаць замяняць іншымі лікамі. Так, напрыклад, " Усе, акрамя 10 А з'яўляюцца B і ўсё, акрамя 20 B з'яўляюцца C, так што ўсе, акрамя 30 А з'яўляюцца C " і " Прынамсі, 100 А з'яўляюцца B, Усе, акрамя 7 B з'яўляюцца C, таму па меншай меры 93 з'яўляюцца C , "гэтак жа дзейнічае як традыцыйная Барбары і Дарый, і па той жа самай прычыне.
& # 8195; & # 8195; Частка другая старонкі даведкі развівае гэта колькасную пашырэнне, звяртаючыся да схемы.
1) Новы падыход да традыцыйнага сілагізмах
Замест таго каб разглядаць асобныя заявы ў якасці кампанентаў аргументаў, такіх як вялікая пасылка, меншай пасылкі, і заключэнне, гэты новы падыход звязвае кожнае зацвярджэнне з яе эквівалентамі і кожны пучок прадстаўлены сваім уласным "схематычны" стрэл. Перадумова схемныя затым можа быць адкінуты на месцы ўздоўж бакі адзін аднаго, дзе іх супастаўленне паказвае тое, што заключэнне, калі такія маюцца, гэта цягне за сабой. Карыстачу трэба толькі, каб даведацца, як выбраць правільныя схемы памяшкання і як прытрымлівацца стрэлкі для вываду.
& # 8195; & # 8195; Частка першая старонкі даведкі з'яўляецца навучальным дапаможнікам для гэтага новага падыходу.
(2) Лікавы пашырэнне традыцыйнага сілагізмах
Гэта ўжо з'яўляецца стандартам для інтэрпрэтацыі канкрэтнага аператара колькасна; гэта значыць, гэта стандарт прыняць "некаторыя", як "па меншай меры адзін". Акрамя таго, універсальныя аператара, "усе" і "не", можа таксама быць варьянтом колькасна, так як "усё" азначае "усё з нулявым выключэннем" і "няма" не азначае, што няма «ні з нулявым выключэннем." Зыходзячы з гэтага, атрымліваецца, што традыцыйныя квантификаторы проста адзначаюць пачатак бясконцых магчымых колькаснымі, так як "па меншай меры адзін" адкрывае серыю "прынамсі два", "па крайняй меры тры "і г.д., і" ўсе (няма), але нуль "не адчыняецца" усе (няма), але адзін "," усе (няма), а два "і г.д.
Робячы гэта відавочна, нуль і адзін з традыцыйных сілагізмах стаць замяняць іншымі лікамі. Так, напрыклад, " Усе, акрамя 10 А з'яўляюцца B і ўсё, акрамя 20 B з'яўляюцца C, так што ўсе, акрамя 30 А з'яўляюцца C " і " Прынамсі, 100 А з'яўляюцца B, Усе, акрамя 7 B з'яўляюцца C, таму па меншай меры 93 з'яўляюцца C , "гэтак жа дзейнічае як традыцыйная Барбары і Дарый, і па той жа самай прычыне.
& # 8195; & # 8195; Частка другая старонкі даведкі развівае гэта колькасную пашырэнне, звяртаючыся да схемы.
Абноўлена
Бяспека пачынаецца з разумення таго, як распрацоўшчыкі збіраюць і абагульваюць вашы даныя. Спосабы забеспячэння прыватнасці і бяспекі даных залежаць ад выкарыстання праграмы, месца пражывання і ўзросту карыстальніка. Распрацоўшчык даў гэту інфармацыю, але з цягам часу ён можа змяніць яе.
Даныя не абагульваюцца са староннімі арганізацыямі
Даведацца больш пра тое, як распрацоўшчыкі заяўляюць пра абагульванне даных
Даныя не збіраюцца
Даведацца больш пра тое, як распрацоўшчыкі заяўляюць пра збор даных
Што новага
Minor bug fixes
Служба падтрымкі для праграмы
Пра распрацоўшчыка
Wallace A Murphree
wmurphree@gmail.com
274 Co Rd 804
Wedowee, AL 36278-6286
United States
undefined