2

I am stuck with some questions. Please help me out. Thanks.

If $P(x):x^2 < 12$, then $P(1.5)$ is a statement (I think yes. As the Universe of $x$ is not given but can be taken as set of Real Numbers.)

If $Q(n): n+3=6$, then $Q(m)$ is the statement (I think no. As $m$ is a variable and we can not have variables or undetermined values in a statement.)

If $P(y): 1+2+3+\ldots+y =0$, then $P(5)$ is the statement (I think yes.)

If $Q(m):m \leq 3^m$, then $Q(k)$ is the statement. (I think no. As $m$ is a variable and we can not have variables or undetermined values in a statement.)

Where Statement is a sentence that evaluates to either true or false but not both.

  • 1
    By "statement", do you mean a well-formed formula with no free variables? (sometimes called a "sentence"). – Arturo Magidin Sep 28 '11 at 18:14
  • @ArturoMagidin: Yes. A statement according the book(Discrete Structures by Kolman,Busby & Ross) is a sentence which satisfies p->q –  Sep 28 '11 at 18:34
  • I don't understand what it means to say that a sentence "satisfies p->q"... Do you mean, "it is a sentence [well-formed formula with no free variables] that is of the form $P\rightarrow Q$ for some $P$ and some $Q$"? – Arturo Magidin Sep 28 '11 at 18:36
  • 1
    Are you sure? In the third edition they define a statement to be a declarative sentence that is either true or false but not both. – Brian M. Scott Sep 28 '11 at 18:37
  • 1
    @Arturo: Akito almost certainly won’t know the terms well-formed formula and free variable, and unless the sixth edition of KB&R is astonishingly different from the third, the technical meaning of sentence in logic will also be unfamiliar. – Brian M. Scott Sep 28 '11 at 18:39
  • 1
    If Brian's definition is the correct one, then your thinking seems to be correct in all four items. – Arturo Magidin Sep 28 '11 at 18:40
  • Note to @all: I think the [logic] tag does not fit this question, but I cannot think of an appropriate tag. – Srivatsan Sep 28 '11 at 18:48
  • @BrianM.Scott: Yes, you are right. I am misinterpreted it by mistake. –  Sep 28 '11 at 18:49
  • @Srivatsan: It’s from a sophomore-level discrete math course, if that helps. – Brian M. Scott Sep 28 '11 at 18:57
  • 2
    Then I agree with Arturo: you’ve answered all four of them correctly and given appropriate reasons. – Brian M. Scott Sep 28 '11 at 18:58

1 Answers1

1

A CW post to eliminate this question from the Unanswered queue.

As has been remarked in the comments, your suggested answers and accompanying reasoning, which yield the answers:

Yes, No, Yes, No

are all correct. Cheers!

Lord_Farin
  • 17,743