Recent content by agent1594

  1. agent1594

    Prove by method of contradiction

    Homework Statement Using the method of contradiction prove the following. There's no real number x such that |x-2|+|x-3|=1/2 Homework EquationsThe Attempt at a Solution I can see that the least possible value that LHS can take is 1. That is when x=2.5 which is the middle value of 2 and 3...
  2. agent1594

    What type of floating point representation is this?

    In some lecture hand-outs I found the following, In IEEE 754, we just put the binaries of negative fractions in the mantissa without converting to 2C, aren't we? If then, what is the above standard of FP representation? Thanks.
  3. agent1594

    Symbolize propositions using predicate logic

    Thanks so much for checking.
  4. agent1594

    Symbolize propositions using predicate logic

    Homework Statement Suppose that predicates and individuals are dened as follows: S: should be shunned, U: is prone to unruly behaviour, P: is a friend of Peter's, M: is a friend of mine, a: Ann, d: David. Symbolize the following: i. Ann is a friend of Peter's and David is a friend of mine...