Proof logic provides the foundational framework for verifying truth and soundness within mathematical systems. It involves a structured set of rules to derive conclusions from given premises. These principles underpin a wide range of applications, including automated theorem proving, software verification, and artificial intelligence. Furthermore,