Symbolic model critical thinking

How do I make a symbolical model for these two arguments?

1. If keeping your manufacturing plants in the USA is not profitable then you should not keep the plants in the USA. However, keeping your manufacturing plants in the USA is profitable. Thus, you should keep the plants in the USA.

2. Either Enron employees saw their retirement funds vanish due to a gap in the law concerning accounting procedures or due to unethical business practices. If Enron Employees saw their retirement funds vanis due to either of these factors then new laws should b e passed to prevent this type of thing from happening again. The obvious conclusion is that new laws should be passed to prevent this type of thing fom happening again.

© SolutionLibrary Inc. solutionlibary.com 9836dcf9d7 https://solutionlibrary.com/philosophy/logic-critical-thinking/symbolic-model-critical-thinking-1fa

Solution Preview

... then you should not keep the plants in the USA. However, keeping your manufacturing plants in the USA is profitable. Thus, you should keep the plants in the USA.
1. If keeping your manufacturing plants in the USA is not profitable, then you should not keep the plants in the USA.
2. However, keeping your manufacturing plants in the USA is profitable.
3. Thus, you should keep the plants in the USA.

Okay, you've got two premises (1 and 2) and the conclusion (3). We will symbolize them first, and then deduce the conclusion.

"If then" statements are symbolized typically with a horseshoe:  or an arrow: 
negations ("not" "neither", etc.) are symbolized typically with a tilda: ~ or a bar with a hook: 

connectives pull the simple sentences together. In this case, you're using the "if then" and the negation. The simple sentences are as follows, with their symbolic equivalent immediately ...