Question

In: Computer Science

(4) Determine if the following logical statement is valid. First convert each statement to a symbolic...

(4) Determine if the following logical statement is valid. First convert each statement to a symbolic logic, and then create a truth table. Don’t forget you need to state if the statement is valid or not and state why.

Prop A. Steve can exclusively either Study or Sleep.

Prop B. If Steve studies, then he’ll Pass his Exam.

Conclusion: If Steve Sleeps, then he’ll NOT Pass his Exam.

Solutions

Expert Solution

Let,

A = Study B = Sleep P = Pass ~P = not Pass

1st Proposition:   Steve can exclusively either Study or Sleep. So we can denote it as A V B, which we shorten into S

2nd Proposition:   If Steve studies, then he’ll Pass his Exam. So we can denote it as A --> P, shortened into T

The two propositions will work together to reach the conclusion :

Conclusion is : If Steve Sleeps, then he’ll NOT Pass his Exam. Which we can denote as B --> ~P, shortened into U

So, we have to find tautology for (S AND T) --> U, Where we shortened (S AND T) as V. So, V --> U will be final expression

Truth Table
A   B   P   ~P S =A V B T = A --> P U = B --> ~P V = S AND T V --> U
0 0 0 1 0 1 1 0 1
0 0 1 0 0 1 1 0 1
0 1 0 1 1 1 1 1 1
0 1 1 0 1 1 0 1 0
1 0 0 1 1 0 1 0 1
1 0 1 0 1 1 1 1 1
1 1 0 1 1 0 1 0 1
1 1 1 0 1 1 0 1 0

As we see, we can not find all truth values for the last column, we come to the opinion that "Conclusion: If Steve Sleeps, then he’ll NOT Pass his Exam." is NOT VALID


Related Solutions

4. Translate each of the following statements into a symbolic logic and tell if each of...
4. Translate each of the following statements into a symbolic logic and tell if each of the following is true or false, with a full justification (you do not have to justify your answer to (ii), which was done before) : (i) Every integer has an additive inverse. (ii) If a and b are any integers such that b > 0, then there exist integers q and r such that a = bq + r, where 0 ≤ r <...
Translate the following into standard form and symbolic form. Is it a valid or invalid argument?...
Translate the following into standard form and symbolic form. Is it a valid or invalid argument? Sound or unsound? Why? "Science and religion are basically the same. In religion, you believe something based purely upon faith. But in science, even if there is evidence, you have to have faith in your experiments and in the scientific method."" critical thinking a concise guide 4th edition, its not showing up on chegg study
Which of the following is a valid C statement? Explain what each valid statement does. For invalid statements, explain the problem.
  Which of the following is a valid C statement? Explain what each valid statement does. For invalid statements, explain the problem.  a. int items [5];  b. int items [];  c. int items = {3, 7,2 };  d. int items [] = {3, 7, 2};  e. int items [3] = {3, 7,2};  
Convert the logical statement ~(P || ~R) || (Q -> R) to conjunctive normal form. Please...
Convert the logical statement ~(P || ~R) || (Q -> R) to conjunctive normal form. Please explain the steps!!
Determine if each of the following recursive definition is a valid recursive definition of a function...
Determine if each of the following recursive definition is a valid recursive definition of a function f from a set of non-negative integers. If f is well defined, find a formula for f(n) where n is non-negative and prove that your formula is valid. f(0) = 1, f(n) = -f(n-1) + 1 for n ≥ 1 f(0) = 0, f(1) = 1, f(n) = 2f(n-1) +1 for n ≥ 1 f(0) =0, f(n) = 2f(n-1) + 2 for n ≥...
Job analysis is a logical process to determine the following four requirements (4) challenges face by...
Job analysis is a logical process to determine the following four requirements (4) challenges face by human resources management.
Determine each of the following arguments’ forms to be valid or invalid. You may use the...
Determine each of the following arguments’ forms to be valid or invalid. You may use the Venn Diagram proof method, the rules/fallacies method, or any other method, of your choice. 1. Some athletes are not baseball players and some baseball players are not basketball players. Therefore, some athletes are not basketball players.2. All creationists are fundamentalists because all fundamentalists are religious people and all creationists are religious people. 3. As no conservationists are litterers, no environmentalists are litterers, because all...
1. There are two steps for evaluating argument, the first step is to determine the logical...
1. There are two steps for evaluating argument, the first step is to determine the logical strength of the argument and the second step is to determine the truth value of the premises. Please discuss whether this 2-step evaluation is good. 2. Informal fallacy can be divided into 4 classes: inconsistence, irrelevancy, insufficiency and inappropriate presupposition. It is called "4I" classification. Discuss whether it Is a good classification.
Let G be a graph. For each of the following, determine if the statement is true...
Let G be a graph. For each of the following, determine if the statement is true or false. If it's true, provide a proof and if it's false, provide a counterexample. (a) G has a cycle if and only if G has a circuit (b) G has a closed walk if and only if G has a circuit (c) G has an odd-lengthed cycle if and only if G has an odd-lengthed circuit (d) G has an odd-lengthed closed walk...
Direction: For each of the ff sentences, determine whether that cause and effect relationship is valid...
Direction: For each of the ff sentences, determine whether that cause and effect relationship is valid or simply a case of correlation: As ice cream sales go up, the rate of drowning deaths increases. Lorena spent five minutes studying for her final exam, and she failed it. As the number of pirrates attacks off the coast of Somalia has increased, the earth’s temperature has been warming. Miguel ignored the dead and rotting tree in his backyard because he didn’t want...
ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT