ReasonLines

Wallace A Murphree

Par šo lietotni

ReasonLines nodrošina (1) jauna un vieglāk pieeju tradicionālās siloģisms un (2) paplašināšanu tradicionālās siloģisms iekļaut skaitliskā skaitļos.
 
1) Jaunā pieeja tradicionālo siloģisms
 
Tā vietā, lai izolētu pārskatus kā komponentu argumentiem, piemēram, galveno priekšnoteikumu, nelielas telpas, un secinājumu, šī jaunā pieeja kūļi katru apgalvojumu ar tās ekvivalentu un katra saišķa pārstāv savu "shematisks" no bultiņām. Pieņēmumu shēmas, tad var krist vietā līdzās viena otrai, kur viņu pretstatījums displeji kāds secinājums, ja tādi ir, ir saistīts. Lietotājam tikai nepieciešams, lai uzzinātu, kā izvēlēties pareizo premisa shēmas un kā sekot bultiņām uz secinājumu.
 
& # 8195; & # 8195; Viena daļa no palīdzības lapā ir apmācība, lai šo jauno pieeju.
 
(2) skaitliskā paplašināšana tradicionālo siloģisms
 
Tas jau ir standarts interpretēt konkrēto quantifier skaitliski; tas ir, tas ir standarts, lai "dažas" par "vismaz vienu." Turklāt, vispārējo quantifiers, "visi" un "nē", var arī precīzi padarīts skaitliski, jo "visi" nozīmē "visi ar nulles izņēmumu" un "nē" nozīmē nav "neviens ar nulles izņēmumu." Ņemot vērā to, izrādās, ka tradicionālās quantifiers vienkārši iezīmē aizsākumu nebeidzamu iespējamos skaitļus, jo "vismaz vienu" atver sēriju "vismaz divi", "vismaz trīs ", uc, un" viss (nav), bet nulles "atver" visus (nav), bet viens, "" viss (nav), bet divi, "uc
 
Padarot to skaidri, nulles un viens no tradicionālajiem syllogisms kļūt aizvietojami ar citu numuru. Tā, piemēram, " Visi taču 10 A ir B un visiem, bet 20 B ir C, tāpēc viss, bet 30 A ir C " un " Vismaz 100 ir B, All bet 7 B ir C, lai vismaz 93 ir C , "ir tikpat derīgi kā tradicionālās Barbara un Darii, un par ļoti paša iemesla dēļ.
 
& # 8195; & # 8195; no Palīdzības lapas otrā daļa attīsta šo skaitlisko paplašināšanos ar pievilcīgu shēmas.

Jaunumi

Minor bug fixes