Այս անվճար ծրագիրն առաջարկում է առաջարկվող տրամաբանության օգտագործողներին իրականացնել գործողություններ նույն դյուրինությամբ, ինչ առաջարկվում է մաթեմատիկական հաշվիչով: Դա հեշտացնում է տրամաբանության սովորողներին ՝ զգալի արձագանքներ տրամադրելով: Beիշտն ասած, այս հավելվածն օգտագործելով ՝ կարելի է որոշել ՝ (1) մուտքագրումը լավ ձևավորված է, և եթե ոչ, ինչու չէ, (2) նախադասությունները տաուտոլոգիա, հակասություններ կամ պայմանական են, (3) նախադասությունների շարքը հետևողական է կամ ոչ հետևողական և (4) փաստարկները վավեր կամ անվավեր են: Այն նաև արտադրում է ճշմարտության աղյուսակներ, որոնք կարող են պատճենվել այլ կիրառումների մեջ: Այս վարկածի դրությամբ հաշվիչը սահմանափակվում է սեմալիստական գործողություններով:
Վերջին թարմացումը՝
02 փտվ, 2023 թ.