Translate the following arguments into symbolic form. Then determine whether each is valid or invalid by constructing a truth table for each.
If microchips are made from diamond wafers, then computers will generate less heat. Computers will not generate less heat and microchips will be made from diamond wafers. Therefore, synthetic diamonds will be used for jewelry.