formal logic

formal logic intersects with geometry in more ways than we would think. when making a proof in mathematics, formal logic and common knowledge are your two greatest tools. the idea that P->Q if Q-P is the best example of formal logic. this type of logic intersects with geometry in a big way.