Complete the sentence:   In this course, logic is understood as ...
A now-discredited branch of abstract mathematics.
A methodology for determining valid transformations of certain strings of symbols.
A methodology for acquiring knowledge of the real world.
A methodology for understanding concepts that may not relate to reality.