Solution to (7) The Logic Problem has two assumptions: (i) "Logic is difficult or not many students … - Sikademy
Author Image

Archangel Macsika

(7) The Logic Problem has two assumptions: (i) "Logic is difficult or not many students like logic." (ii) "If mathematics is easy, then logic is not difficult." By translating these assumptions into statements involving propositional variables and logical connectives, determine whether each of the following are valid conclusions of these assumptions: (a) That mathematics is not easy, if many students like logic. (b) That not many students like logic, if mathematics is not easy. (c) That mathematics is not easy or logic is difficult. (d) That logic is not difficult or mathematics is not easy. (e) That if not many students like logic, then either mathematics is not easy or logic is not difficult.

The Answer to the Question
is below this banner.

Can't find a solution anywhere?

NEED A FAST ANSWER TO ANY QUESTION OR ASSIGNMENT?

Get the Answers Now!

You will get a detailed answer to your question or assignment in the shortest time possible.

Here's the Solution to this Question

SOLUTION

Let's assume:

p: Logic is difficult

q: Many students like logic

r: Mathematics is easy

The two given assumptions can be translated in mathematical symbols using the above interpretations

Step Reason

  1. p V ¬q Premise
  2. r → ¬p Premise
  3. ¬∨ ¬p Logical equivalence (I) from (2)
  4. ¬(∧ p) De Morgan's law from (3)
  5. ¬∨ ¬r Commutative law from (3)
  6. → ¬r Logical equivalence (I) from (5)
  7. ¬∨ ¬r Resolution from (1) and (3)
  8. → ¬r Logical equivalence (I) from (7)
  9. ¬∨ ¬q Commutative law from (7)
  10. → ¬q Logical equivalence (I) from (9)
  11. (∨ ¬q) ∧ (¬∨ ¬q) Conjunction from (1) and (9)
  12. ¬∨ (∧ ¬r) De Morgan's law from (11)
  13. → (∧ ¬r) Logical equivalence (I) from (12)


(a) "Mathematics is not easy, if many students like logic" can be represented mathematically as

→ ¬r . Since the proposition → ¬r is mentioned in step (8), the conclusion is valid.


(b)"Not many students like logic, if mathematics is easy" can be represented mathematically as

→ ¬q. The proposition → ¬is mentioned in step (10) and is not logically equivalent to ¬→ ¬therefore making this conclusion invalid.


(C) "Mathematics is not easy or logic is difficult" can be represented mathematically as ¬∨ p, In step (3) proposition ¬∨ ¬is mentioned and ¬∨ is not logically equivalent with ¬∨ ¬p, thus the conclusion is invalid.


(d) "Logic is not difficult or mathematics is not easy" can be represented mathematically as

¬∨ ¬r. The proposition ¬∨ ¬is mentioned in step (5), thus the conclusion is valid.


(e) "If not many students like logic, then either mathematics is not easy or logic is not difficult" can be represented mathematically as ¬→ (¬∧ ¬r). We can see that proposition → (∧ ¬r) is mentioned in step (13) and → (∧ ¬r) is not logically equivalent to ¬→ (¬∧ ¬r) therefore this conclusion is invalid.

Related Answers

Was this answer helpful?

Join our Community to stay in the know

Get updates for similar and other helpful Answers

Question ID: mtid-5-stid-8-sqid-3736-qpid-2435