නාම, ආඛ්‍යාත, විචල්‍ය සඳහා සංකේත යොදා ගනිමින් ප්‍රකාශනාත්මක වාක්‍ය සංකේතකරණයට
බන්ධිත හා නිර්බන්ධිත විචල්‍යයන් සහිත සූත්‍ර
තර්ක ව්‍යුත්පන්න කිරීම හා ප්‍රමේයය සාධනය
ආඛ්‍යාත කළනයේ රුක් ක්‍රමය