Results 1 to 4 of 4

Math Help - Propositional Logic and Mathematical Induction Help please :)

  1. #1
    Newbie
    Joined
    Jul 2009
    Posts
    2

    Propositional Logic and Mathematical Induction Help please :)

    Basically I have recently started a new course and Have had these questions set as examples, The notes do not explain thoroughly enough and I can't get my head round what to do, I can't even understand what is said on Google, could someone show me how to do these questions in step by step easy English, It would be greatly appreciated.

    1st Example:



    2nd Example:



    Thank you in advance

    Ga.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Member
    Joined
    Jul 2009
    Posts
    152
    The first part of the first question is just asking you to do some substitution of symbols for phrases. When you see "for all" or "for every," you substitute a \forall. Similarly, when you see "there exists" or "there is a," you substitute a \exists. So for the first one, we have \forall x, \exists y such that 2xy=3. I'll let you do the second one.

    The second part of the first question asks you if the statements are true or not. So (ii) asks whether it is true that there are two negative numbers which, multiplied together, result in another negative number. But of course we know that multiplying two negatives together makes a positive, and so this is false. I'll let you do (i) yourself.

    The second question is about mathematical induction. This is a method used in math to prove certain statements about natural numbers. Suppose I want to prove that a certain statement is true. First, I show that it works for n=1. Then, I assume it is true for some arbitrary natural number k. I then show that this assumption implies that the statement must be true for k+1.

    Try doing this for the example given. If you have problems, post again, show the work you've done, and I'll be happy to help you with any problems you may have.

    Cheers
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Jul 2009
    Posts
    2
    Quote Originally Posted by AlephZero View Post
    The first part of the first question is just asking you to do some substitution of symbols for phrases. When you see "for all" or "for every," you substitute a \forall. Similarly, when you see "there exists" or "there is a," you substitute a \exists. So for the first one, we have \forall x, \exists y such that 2xy=3. I'll let you do the second one.

    The second part of the first question asks you if the statements are true or not. So (ii) asks whether it is true that there are two negative numbers which, multiplied together, result in another negative number. But of course we know that multiplying two negatives together makes a positive, and so this is false. I'll let you do (i) yourself.

    The second question is about mathematical induction. This is a method used in math to prove certain statements about natural numbers. Suppose I want to prove that a certain statement is true. First, I show that it works for n=1. Then, I assume it is true for some arbitrary natural number k. I then show that this assumption implies that the statement must be true for k+1.

    Try doing this for the example given. If you have problems, post again, show the work you've done, and I'll be happy to help you with any problems you may have.

    Cheers
    So the second example is there any chance that it is either:

    1) \exists x \exists y such that xy<3

    or

    2) \exists xy such that  xy<3
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Member
    Joined
    Jul 2009
    Posts
    152
    Quote Originally Posted by Gamor09 View Post
    So the second example is there any chance that it is either:

    1) \exists x \exists y such that xy<3

    or

    2) \exists xy such that  xy<3
    Hmm, well I don't know where that 3 is coming from. Part (ii) doesn't involve the number 3. It should be \exists x < 0 and \exists y < 0 such that xy < 0.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Beginner Logic & Mathematical Induction Question
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: September 17th 2011, 06:13 AM
  2. Propositional Logic
    Posted in the Discrete Math Forum
    Replies: 12
    Last Post: June 1st 2011, 04:22 PM
  3. Propositional Logic
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: March 20th 2011, 05:46 AM
  4. propositional logic
    Posted in the Discrete Math Forum
    Replies: 12
    Last Post: August 3rd 2010, 12:52 PM
  5. propositional logic
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: June 10th 2007, 10:50 AM

Search Tags


/mathhelpforum @mathhelpforum