In my Introduction to Logic classes, I am sometimes asked by students about the practical applications of formal logic. Although logic itself has many practical applications too numerous to list here, such as the way logic gates function in digital electronics ( and gates, or gates, and so on),