RT @haelox: If ‘If P, then Q,’ then X. What is that actually called? #logic Polysyllogism according to a friend on FB.