I’m trying to figure out if there are “recursive syllogisms.” Like “If ‘If P, then Q,’ then X.” What is that actually called? #logic