Proof logic forms the foundational framework for verifying truth and validity within mathematical systems. It employs a structured set of rules to derive conclusions from given statements. These principles constitute a wide spectrum of applications, including automated theorem proving, software verification, and artificial intelligence. Furthermore