Question

In: Computer Science

2. Determine whether the following Propositional Logic statements are valid or invalid arguments. You may use...

2. Determine whether the following Propositional Logic statements are valid or invalid arguments. You may use a truth table, proofs using rules of inference, or resolution (specify which method you are using).

(a) p→q, ~q→r, r; ∴p

(b) ~p∨q, p→(r∧s), s→q; ∴q∨r

(c) p→(q→r), q; ∴p→r

Solutions

Expert Solution

a) Truth Table:

   p

q

r

~q

(p q)

(~q r)

      (p q)(~q r)( r)

   p

    0

    0

    0

    1

    1

    0

                          0

    0

    0

    0

    1

    1

    1

    1

                          1

    0

    0

    1

    0

    0

    1

    1

                          0

    0

    0

    1

    1

    0

    1

    1

                          1

    0

    1

    0

    0

    1

    0

    0

                          0

    1

    1

    0

    1

    1

    0

    1

                          0

    1

    1

    1

    0

    0

    1

    1

                          0

    1

    1

    1

    1

    0

    1

    1

                          1

    1

From the above truth table if we observe the last TWO column which are not Equal

So the given Argument is Invalid.

b)Truth Table:

    p

    q

    r

    s

    ~p

     r s  

    ~p V q

p(rs)

sq

   (~p V q) (p(rs))(sq)

    q V r

    0

    0

    0

    0

    1

    0

    1

    1

    1

    1

    0

    0

    0

    0

    1

    1

    0

    1

    1

    0

    0

    0

    0

    0

    1

    0

    1

    0

    1

    1

    1

    1

    1

    0

    0

    1

    1

    1

    1

    1

    1

    0

    0

    1

    0

    1

    0

    0

    1

    0

    1

    1

    1

    1

    1

    0

    1

    0

    1

    1

    0

    1

    1

    1

    1

    1

    0

    1

    1

    0

    1

    0

    1

    1

    1

    1

    1

    0

    1

    1

    1

    1

    1

    1

    1

    1

    1

    1

    1

    0

    0

    0

    0

    0

    0

    0

    1

    0

    0

    1

    0

    0

    1

    0

    0

    0

    0

    0

    0

    0

    1

    0

    1

    0

    0

    0

    0

    0

    1

    0

    1

    1

    0

    1

    1

    0

    1

    0

    1

    0

    0

    1

    1

    1

    0

    0

    0

    0

    1

    0

    1

    0

    1

    1

    1

    0

    1

    0

    0

    1

    0

    1

    0

    1

    1

    1

    1

    0

    0

    0

    1

    0

    1

    0

    1

    1

    1

    1

    1

    0

    1

    1

    1

    1

    1

    1

From the above truth table if we observe the last TWO column which are not Equal

So the given Argument is Invalid.

c) Truth Table:

   p

q

r

(q r)

      p (q r)

[p (q r)](q)

(p r)

    0

    0

    0

    1

    1

    0

    1

    0

    0

    1

    1

    1

    0

    1

    0

    1

    0

    0

    1

    1

    1

    0

    1

    1

    1

    1

    1

    1

    1

    0

    0

    1

    1

    0

    0

    1

    0

    1

    1

    1

    0

    1

    1

    1

    0

    0

    0

    0

    0

    1

    1

    1

    1

    1

    1

    1

From the above truth table if we observe the last TWO column which are not Equal

So the given Argument is Invalid.


Related Solutions

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...
use truth tables to determine whether or not the following arguments are valid: a) if jones...
use truth tables to determine whether or not the following arguments are valid: a) if jones is convicted then he will go to prison. Jones will be convicted only if Smith testifies against him. Therefore , Jones won't go to prison unless smith testifies against him. b) either the Democrats or the Republicans will have a majority in the Senate. but not both. Having a Democratic majority is a necessary condition for the bill to pass. Therefore, if the republicans...
Determine whether the following categorical syllogisms are valid or invalid. Categorical syllogism 1 No M are...
Determine whether the following categorical syllogisms are valid or invalid. Categorical syllogism 1 No M are P. No M are S No S are P. Categorical syllogism 2 Some M are not P. Some M are S. Some S are not P. Categorical syllogism 3 Some M are not P. Some M are not S. Some S are P. Categorical syllogism 4 All M are P. All S are M. All S are P. Categorical syllogism 6 No M are...
Exercise 1.13.5: Determine and prove whether an argument in English is valid or invalid. Prove whether...
Exercise 1.13.5: Determine and prove whether an argument in English is valid or invalid. Prove whether each argument is valid or invalid. First find the form of the argument by defining predicates and expressing the hypotheses and the conclusion using the predicates. If the argument is valid, then use the rules of inference to prove that the form is valid. If the argument is invalid, give values for the predicates you defined for a small domain that demonstrate the argument...
Using a truth table determine whether the argument form is valid or invalid p ∧ q...
Using a truth table determine whether the argument form is valid or invalid p ∧ q →∼ r p∨∼q ∼q→p ∴∼ r
Please use any of the methods to prove whether each of the following arguments is valid...
Please use any of the methods to prove whether each of the following arguments is valid or invalid. For each problem, please identify the method that you have decided to employ and make sure to show your work. 1. It is obvious that nuclear energy is needed. Nuclear energy is needed if and only if solar energy cannot be harnessed. And it is also true both that solar energy can be harnessed only if funds to do so are available,...
Determine whether the following arguments are valid. Explain your answer. If it is hot outside, I...
Determine whether the following arguments are valid. Explain your answer. If it is hot outside, I will not go to play. If I play, I will not study. If I study, I will do good in the exam. I did good in the exam. Therefore, it is hot outside. If I can run faster than air plane or I can kill a lion then I am a super human. If I am a super human then I am very careful...
Represent the following in propositional logic. Label the component propositions. Note you may have to reword...
Represent the following in propositional logic. Label the component propositions. Note you may have to reword some propositions. Bread contains carbs and so does rice. Either John or Chris was the first student in class this morning. I have a bad shoulder and whenever it is raining, my shoulder aches. If the weather is nice, then if Dr Marlowe is lecturing, we will sleep in and then go for a hike. Henry will stay in his job only if he...
Use the laws of propositional logic to prove that the following compound propositions are tautologies. ((?...
Use the laws of propositional logic to prove that the following compound propositions are tautologies. ((? → ?) ∧ (? → ?)) → (? → ?)
Use the laws of propositional logic to prove that the following compound propositions are tautologies. ((?...
Use the laws of propositional logic to prove that the following compound propositions are tautologies. ((? → ?) ∧ (? → ?)) → (? → ?)
ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT