Logic in one form can also be a branch of mathematics called Boolean algebra. It formalizes the relationship of true and false statements and combinations of them using “and,” “not,” and “or” for example. This is used for computer hardware and software design and a zillion other things, including philosophy.
Alan