It looks like you’re referencing a specific section from a logic course or textbook—likely (perhaps from The Logic Book , Language, Proof and Logic , or a similar system).