命题演算

كومپيۇتېر mìng tí yǎn suàn ھۆكۈملۈك ھېسابلاشDماتېماتىكا mìng tí yǎn suàn مەسىلىلىك ھېسابلاشDماتېماتىكا mìng tí yǎn suàn ھۆكۈم جۈمىلەرنى ھېسابلاشDئۇنىۋېرسال mìng tí yǎn suàn ھۆكۈملۈك ھېسابلاش