ReasonLines
10+
Pobrania
Dla wszystkich
info
Informacje o aplikacji
ReasonLines są (1) nowy i łatwiejszy do tradycyjnego podejścia sylogizmie i (2) ekspansję tradycyjnego syllogism zawierać ilościowe liczbową.
1) Nowe podejście do tradycyjnego sylogizmu
Zamiast rozważa pojedyncze wypowiedzi jako składników argumentów, takich jak dur założeniu, drobne założeniu i Podsumowując, to nowe podejście wiązki każde stwierdzenie z jego odpowiedników, a każda wiązka jest reprezentowana przez jej własne "schemat" strzałki. Schematy Premise można następnie spadł na miejsce u boku siebie, jeżeli ich zawarcie wyświetla zestawienie co, jeśli w ogóle, jest logiczną konsekwencją. Użytkownik musi tylko nauczyć jak wybrać odpowiednie schematy przesłanką i jak postępować strzałek do końca.
& # 8195; & # 8195; Część pierwsza strona pomocy jest tutorial dla tego nowego podejścia.
(2) Ekspansja liczbowa tradycyjnej sylogizmu
Jest to już norma interpretować szczególną kwantyfikator numerycznie; to znaczy, że jest standard do podjęcia "niektóre" za "co najmniej jeden". Ponadto, kwantyfikatorów, "wszyscy" i "nie", może też być wiernie renderowane numerycznie, ponieważ "wszystkie" oznacza "wszystko z zerowym wyjątkiem" oraz "nie" oznacza brak "żadna z zerowym wyjątku." Biorąc pod uwagę to, jak się okazuje, że tradycyjne kwantyfikatory prostu zaznaczyć początki niekończących możliwych ilościowego od "co najmniej jeden" otwiera serię "co najmniej dwóch", "co najmniej trzy "itp, a" wszystko (brak), ale zero "otwiera" wszystko (brak), ale jeden "," wszystko (brak), ale dwa "itd
Poprzez to wyraźne, zero i jeden z tradycyjnych syllogisms stać wymienialna na inne numery. Tak więc, na przykład, " Wszystkie oprócz 10 A są B i wszystkich, ale 20 B są C, więc wszystko, ale 30 A są C " i " Przynajmniej 100 A jest B, we wszystkich, ale 7 B są C, więc przynajmniej 93 a oznaczają C "są tak samo ważne jak tradycyjne Barbary i Darii, a dla tego samego powodu.
& # 8195; & # 8195; Część druga strona pomocy numerycznej rozwija tę ekspansję odwołując się do schematów.
1) Nowe podejście do tradycyjnego sylogizmu
Zamiast rozważa pojedyncze wypowiedzi jako składników argumentów, takich jak dur założeniu, drobne założeniu i Podsumowując, to nowe podejście wiązki każde stwierdzenie z jego odpowiedników, a każda wiązka jest reprezentowana przez jej własne "schemat" strzałki. Schematy Premise można następnie spadł na miejsce u boku siebie, jeżeli ich zawarcie wyświetla zestawienie co, jeśli w ogóle, jest logiczną konsekwencją. Użytkownik musi tylko nauczyć jak wybrać odpowiednie schematy przesłanką i jak postępować strzałek do końca.
& # 8195; & # 8195; Część pierwsza strona pomocy jest tutorial dla tego nowego podejścia.
(2) Ekspansja liczbowa tradycyjnej sylogizmu
Jest to już norma interpretować szczególną kwantyfikator numerycznie; to znaczy, że jest standard do podjęcia "niektóre" za "co najmniej jeden". Ponadto, kwantyfikatorów, "wszyscy" i "nie", może też być wiernie renderowane numerycznie, ponieważ "wszystkie" oznacza "wszystko z zerowym wyjątkiem" oraz "nie" oznacza brak "żadna z zerowym wyjątku." Biorąc pod uwagę to, jak się okazuje, że tradycyjne kwantyfikatory prostu zaznaczyć początki niekończących możliwych ilościowego od "co najmniej jeden" otwiera serię "co najmniej dwóch", "co najmniej trzy "itp, a" wszystko (brak), ale zero "otwiera" wszystko (brak), ale jeden "," wszystko (brak), ale dwa "itd
Poprzez to wyraźne, zero i jeden z tradycyjnych syllogisms stać wymienialna na inne numery. Tak więc, na przykład, " Wszystkie oprócz 10 A są B i wszystkich, ale 20 B są C, więc wszystko, ale 30 A są C " i " Przynajmniej 100 A jest B, we wszystkich, ale 7 B są C, więc przynajmniej 93 a oznaczają C "są tak samo ważne jak tradycyjne Barbary i Darii, a dla tego samego powodu.
& # 8195; & # 8195; Część druga strona pomocy numerycznej rozwija tę ekspansję odwołując się do schematów.
Ostatnia aktualizacja
Podstawą bezpieczeństwa jest wiedza o tym, jak deweloperzy zbierają i udostępniają Twoje dane. Praktyki w zakresie zapewniania prywatności i bezpieczeństwa danych mogą się różnić w zależności od sposobu korzystania z aplikacji, regionu i wieku użytkownika. Te informacje podał deweloper i z czasem może je aktualizować.
Żadne dane nie są udostępniane innym firmom
Dowiedz się więcej o deklarowaniu udostępniania danych przez deweloperów
Aplikacja nie zbiera danych
Dowiedz się więcej o deklarowaniu zbierania danych przez deweloperów
Co nowego
Minor bug fixes
Pomoc dotycząca aplikacji
Deweloper
Wallace A Murphree
wmurphree@gmail.com
274 Co Rd 804
Wedowee, AL 36278-6286
United States
undefined