fomal logic

Describe two challenges of using mathematical symbols in order to solve problems using formal logic and determine how you can overcome them

•When an if / then statement is true, it is NOT necessarily true that the converse is true. Give an example of an if / then statement that is true, but its converse is NOT true. Discuss the reasoning behind your example.