Good clarification, but I wouldn't say almost nothing. All are formal symbolic reasoning techniques.

For example, The predicate calculus is invaluable for writing correct programs with mind-bogglingly large input domains, such as the set of all C++ programs.