三段论

كومپيۇتېر sān duàn lùn ئۈچ باسقۇچلۇق يەكۈن نەزەرىيىسىDماتېماتىكا sān duàn lùn سىللوگىزم (لوگىكىدا مەلۇم بولغان ئىككى ھۆكۈمدىن ئۈچىنچى ھۆكۈمنى كەلتۈرۈپ چىقىرىدىغان ئىسپاتلاش ئۇسۇلى بەزىدە ئۈچ باسقۇچلۇق ھۆكۈم دەپمۇ ئاتىلدۇ)Dئۇنىۋېرسال sān duàn lùn سىللوگىزم ؛ ئۈچ ھۆكۈملۈك