Definitions from Wikipedia (Equational logic)

▸ noun:  First-order equational logic consists of quantifier-free terms of ordinary first-order logic, with equality as the only predicate symbol.


▸ Words similar to equational logic
▸ Usage examples for equational logic

▸ Idioms related to equational logic
▸ Wikipedia articles (New!)
▸ Words that often appear near equational logic
▸ Rhymes of equational logic

▸ Invented words related to equational logic