Can you list all the terms used in logic with a few words on each. Use a logical sequence.