උසස්පෙළ තර්ක ශාස්ත්‍රය සංකේතකරණය සත්‍ය චක්‍ර රුක් සටහන් ව්‍යුත්පන්න ප්‍රමේයයන්
භාෂාමය හා සංකේතමය ප්‍රකාශන අන්‍යොන්‍ය වශයෙන් පරිවර්තනය
සත්‍ය චක්‍ර භාවිතයෙන් සූත්‍රයක හා සූත්‍ර යුගලයන්හි ස්වභාවය පිළිබඳ විමර්ශනය
සත්‍ය චක්‍ර භාවිතයෙන් තර්කයක සප්‍රමාණතාවය නිගමනය
සංකේතමය සූත්‍රවලට සත්‍යතා රුක් ගොඩනඟීම
තර්කයක සප්‍රමාණතාවය සත්‍යතා රුක් ක්‍රමය මගින් නිගමනය
තර්කයක සප්‍රමාණතාවය විනිශ්චය කිරීමට සහ ප්‍රමේයයක් සාධනයට ව්‍යුත්පන්න ක්‍රමය භාවිතය