Logic 10.7.4 【2025】

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).