የዚህ ፕሮግራም ብቸኛ ዓላማ ማመንጨት, እና እውነት ሠንጠረዦች በማሳየት ነው.
ይህ ነጻ ስሪት በዚያ አፍራሽ, መስተፃምር, (ያካተቱ) disjunction, conditonal (ቁሳዊ በአንድምታ), እና biconditional (ቁሳዊ አቻነት), እንዲሁም በቅደም, እውነት እና ውሸት አውሴ constants 1 እና 0 ነው, ክላሲካል ሎጂክ ሁሉ የተለመደው connectives ይደግፋል. አንድ አሪፍ ነገር አመክንዮ ያለውን አሰልቺ መደበኛ ምልክትን በተጨማሪ, አንተም, Lukasiewicz ዥረት-ተሰልፈው, የሚያብረቀርቁ የፖላንድ ምልክትን መጠቀም ይችላሉ, ይህ ነው.
እና እዚህ ማቆም አይደለም. አንተ ሰው ዝቅ-ወደ-ምድር, የጋራ-ስሜት ዓይነት ከሆኑ, በነባሪ, ፕሮግራሙ ክላሲካል, ሁለት-ዋጋ, አመክንዮ ይጠቀማል የሚያጽናናን, በዚያ ታገኛለህ. አንተ ፈጽሞ የድርጅት አጫጭር ማቆም, ደፋር ዓይነት በላይ ከሆኑ የ Android አመክንዮ የማይመለስ-ክላሲካል, ባለብዙ-ግምት ስርዓት በርካታ ይደግፋል ግን: አንተም: እውነት ሰንጠረዦች ለመማር ደስ ይሆናል. ሁለት ጊዜ አንድ ወንዝ መግባት በፍጹም, እና ሁለት ለየጉባኤዎቹ እንዲሁ መናገር, አንድ ማረጋገጫ እንዲሆን አይደለም!