Bu proqramın tək məqsədi yaradan və həqiqət masalar nümayiş etdirir.
Bu pulsuz versiyası inkar, bağlayıcı, (daxil olmaqla) disjunction, conditonal (maddi dolayısı) və biconditional (material ekvivalentlik), eləcə də müvafiq olaraq, həqiqət və yalan belirten sabitləri 1 və 0, klassik məntiq bütün adi connectives dəstəkləyir. A cool şey məntiq qədər qazma standart notation yanaşı, siz də lukasiewicz nin axın-astarlı, parlaq Polyak notation istifadə edə bilər ki, var.
Və burada dayandırmaq yoxdur. Siz aşağı-to-yer, ümumi-mənada cür varsa, ismarıcları, proqram klassik, iki qiymətləndirilir, məntiq istifadə edir ki, təskinləşdirici ki, tapa bilərsiniz. Heç bir müəssisənin qısa dayandırılması, sərgi tipli daha əgər Android məntiq qeyri-klassik, çox qiymətləndirilir sistemi bir sıra dəstəkləyir Lakin, siz də ki, haqq masalar öyrənmək məmnun olacaq. Iki dəfə bir çay daxil heç vaxt, iki neqativlər, necə deyərlər, bir təsdiq etməyin!
Güncəlləmə vaxtı
14 noy 2013