Answer:
a science of developing and representing logical principles by means of a formalized system consisting of primitive symbols, combinations of these symbols, axioms, and rules of inference. <- found in the dictionary!
Step-by-step explanation:
hope this helps!