ReasonLines
10+
Descărcări
Toți
info
Despre aplicație
ReasonLines prevede (1) o abordare nouă și mai ușor de silogismul tradiționale și (2) o extindere a silogismului tradițional pentru a include cuantificarea numerică.
1) Noua abordare a silogismului tradiționale
În loc de a considera declarații izolate ca și componentele de argumente, cum ar fi premisă majoră, premisă minoră, și concluzie, această nouă abordare mănunchiuri fiecare declarație cu echivalentele sale și fiecare pachet este reprezentat de propria sa "schematică" de săgeți. Schema premisa poate fi apoi lăsată să cadă în loc de-a lungul partea cealaltă atunci când afișează lor alaturare orice concluzie, dacă este cazul, este implicat. Utilizatorul are nevoie doar să învețe cum să selecteze schema corectă premisa și modul în care să urmeze săgețile pentru o concluzie.
& # 8195; & # 8195; prima parte a paginii de ajutor este un tutorial pentru această nouă abordare.
(2) Extinderea numerică a silogismului tradiționale
Este deja standard pentru a interpreta cuantificatorul particular numeric; că este, este standard pentru a lua "unele" ca "cel puțin unul". Mai mult decât atât, cuantificatorii universal, "toate" și "nu", poate fi, de asemenea redat cu fidelitate numeric, deoarece "toate" înseamnă "toate cu excepția zero" și "nu" înseamnă nici unul ", nici unul cu excepție de zero." Având în vedere acest lucru, se dovedește că cuantificatorii tradiționale marchează pur și simplu începuturile cuantificări posibile fără sfârșit, deoarece "cel puțin unul" deschide seria de "cel puțin două", "cel puțin trei , "etc, și" toate (nici unul), dar zero, "deschide" totul (nici unul), ci unul "," totul (nici unul), ci două ", etc.
Prin această explicită, zero și unul dintre silogismelor tradiționale devin înlocuibil de către alte numere. Deci, de exemplu, " Toate, dar 10 A sunt B și toate, dar 20 B sunt C, astfel încât toate dar 30 A sunt C " și " Cel puțin 100 A sunt B, Toate dar 7 B sunt C, astfel încât cel puțin 93 A sunt C , "sunt la fel de valabile ca Barbara tradițional și Darii, și pentru același motiv.
& # 8195; & # 8195; Partea a doua a paginii Ajutor dezvoltă această expansiune numerică apelând la schema.
1) Noua abordare a silogismului tradiționale
În loc de a considera declarații izolate ca și componentele de argumente, cum ar fi premisă majoră, premisă minoră, și concluzie, această nouă abordare mănunchiuri fiecare declarație cu echivalentele sale și fiecare pachet este reprezentat de propria sa "schematică" de săgeți. Schema premisa poate fi apoi lăsată să cadă în loc de-a lungul partea cealaltă atunci când afișează lor alaturare orice concluzie, dacă este cazul, este implicat. Utilizatorul are nevoie doar să învețe cum să selecteze schema corectă premisa și modul în care să urmeze săgețile pentru o concluzie.
& # 8195; & # 8195; prima parte a paginii de ajutor este un tutorial pentru această nouă abordare.
(2) Extinderea numerică a silogismului tradiționale
Este deja standard pentru a interpreta cuantificatorul particular numeric; că este, este standard pentru a lua "unele" ca "cel puțin unul". Mai mult decât atât, cuantificatorii universal, "toate" și "nu", poate fi, de asemenea redat cu fidelitate numeric, deoarece "toate" înseamnă "toate cu excepția zero" și "nu" înseamnă nici unul ", nici unul cu excepție de zero." Având în vedere acest lucru, se dovedește că cuantificatorii tradiționale marchează pur și simplu începuturile cuantificări posibile fără sfârșit, deoarece "cel puțin unul" deschide seria de "cel puțin două", "cel puțin trei , "etc, și" toate (nici unul), dar zero, "deschide" totul (nici unul), ci unul "," totul (nici unul), ci două ", etc.
Prin această explicită, zero și unul dintre silogismelor tradiționale devin înlocuibil de către alte numere. Deci, de exemplu, " Toate, dar 10 A sunt B și toate, dar 20 B sunt C, astfel încât toate dar 30 A sunt C " și " Cel puțin 100 A sunt B, Toate dar 7 B sunt C, astfel încât cel puțin 93 A sunt C , "sunt la fel de valabile ca Barbara tradițional și Darii, și pentru același motiv.
& # 8195; & # 8195; Partea a doua a paginii Ajutor dezvoltă această expansiune numerică apelând la schema.
Ultima actualizare
Siguranța începe cu înțelegerea modului în care dezvoltatorii îți colectează și trimit datele. Practicile de securitate și confidențialitate a datelor pot varia în funcție de modul de utilizare, de regiune și de vârsta ta. Dezvoltatorul a oferit aceste informații și le poate actualiza în timp.
Nu sunt trimise date terțelor părți
Află mai multe despre cum declară dezvoltatorii trimiterea
Nu au fost colectate date
Află mai multe despre cum declară dezvoltatorii colectarea
Noutăți
Minor bug fixes
Asistență pentru aplicație
Despre dezvoltator
Wallace A Murphree
wmurphree@gmail.com
274 Co Rd 804
Wedowee, AL 36278-6286
United States
undefined