ئىككى شەرتلىك ئىسپاتلاش ئۇسۇلى

ئۇنىۋېرسال 两前提论法 liǎng qián tí lùn fǎ