Translate the following arguments into symbolic form. Then determine whether each is valid or invalid by constructing a truth table for each.
If there are dried-up riverbeds on Mars, then water once flowed on the Martian surface. There are dried-up riverbeds on Mars. Therefore, water once flowed on the Martian surface.