«اگر P تو Q، اور Q سچا، لہٰذا P سچا» کے بارے میں کیا حکم ہے؟

قیاسِ خلف — مرکب استدلال، محال کا لزوم اور اثباتِ مدعا