Truth-functional Syllogism