Equational logic

Equational logic is a type of logic that is used in mathematics and computer science. It lets us figure out the truth of statements by looking at how they are related. Equational statements use symbols, such as '=', '>', '<', etc., to describe how things are related to one another. For example, we might say that 2 + 2 = 4. That means two plus two is the same as four. We can also use these symbols to figure out the answers to more complex mathematical problems.