Translate the following argument into the languaThe starter must be malfunctioning. The car won't start, but the lights are working. If the lights work, the battery must be charged. If the car won't start when the battery is charged, there must be a problem with the starter.ge of symbolic logic creating your own dictionary and using brackets where applicable. Then, construct a derivation with the premises and the conclusion that you have obtained after the symbolization. (The example is worth 10% of the final grade.) The starter must be malfunctioning. The car won't start, but the lights are working. If the lights work, the battery must be charged. If the car won't start when the battery is charged, there must be a problem with the starter