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