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