Basic classes implementing propositional and first-order logic formulas.