BAHOZblog.bahoz.xyz·Nov 26, 2023Formal Verification Foundations-1: LogicWhat is Propositional Logic? Propositional logic, a subset of mathematical logic, is a symbolic language that allows us to formalize and analyze arguments and assertions. At its core, propositional logic deals with propositions, which are statements ...Discuss·229 readsFormal Verification of Smart Contracts Using Certoracertora