4 Replies - 1815 Views - Last Post: 07 May 2013 - 07:15 AM

#1 idontkn0w  Icon User is offline

  • D.I.C Head

Reputation: 0
  • View blog
  • Posts: 73
  • Joined: 05-April 13

predicate logic question

Posted 05 May 2013 - 04:50 AM

stumbled across this on my exercise sheet:

Attached Image

was just wondering if anyone could show me how to do (a) so i can attempt the rest?

i've written the answer down as Ex (S(x) => K(x, logic)) but need someone to clarify for me whether i've done this correct. if not, where have i gone wrong?

thanks in advance for any help

Is This A Good Question/Topic? 0
  • +

Replies To: predicate logic question

#2 sepp2k  Icon User is offline

  • D.I.C Lover
  • member icon

Reputation: 2151
  • View blog
  • Posts: 3,307
  • Joined: 21-June 11

Re: predicate logic question

Posted 05 May 2013 - 05:14 AM

First of all you're missing a quantifier for x. As it stands now, your x comes out of nowhere.

There's another mistake, but it's easier to explain why it's wrong, once you've picked a quantifier, so do that first.
Was This Post Helpful? 0
  • +
  • -

#3 mojo666  Icon User is offline

  • D.I.C Addict
  • member icon

Reputation: 356
  • View blog
  • Posts: 783
  • Joined: 27-June 09

Re: predicate logic question

Posted 06 May 2013 - 10:43 PM

Quote

First of all you're missing a quantifier for x. As it stands now, your x comes out of nowhere.


I think he is using "E" as the existential quantifier. Perhaps you are referring to the fact that he does not specify "There exists an x in domain"? Though it may seem sloppy, it is actually valid notation to leave off the domain that x belongs to and just say "There exists x". In such cases, the domain must be implied. In this example, there is only one domain so it is automatically implied.

@Idonknow, the problem with your statement is that it is true if there is a student that knows logic, or if x is not a student. So, even if no students knew logic, your statement would still be true for mary and sue. You need to make a statement that is false if no students know logic.
Was This Post Helpful? 1
  • +
  • -

#4 sepp2k  Icon User is offline

  • D.I.C Lover
  • member icon

Reputation: 2151
  • View blog
  • Posts: 3,307
  • Joined: 21-June 11

Re: predicate logic question

Posted 07 May 2013 - 06:53 AM

View Postmojo666, on 07 May 2013 - 07:43 AM, said:

I think he is using "E" as the existential quantifier.


Doh! Why did I not see that?

Quote

Perhaps you are referring to [...]


No, I'm just unable to read properly.
Was This Post Helpful? 0
  • +
  • -

#5 Dogstopper  Icon User is offline

  • The Ninjaducky
  • member icon



Reputation: 2876
  • View blog
  • Posts: 11,050
  • Joined: 15-July 08

Re: predicate logic question

Posted 07 May 2013 - 07:15 AM

Even so, in most cases, you deal with a domain and a co-domain, and explicit is almost always better than implicit, so saying that there exists a value in the domain versus co-domain is almost always relevant

∃ x ∈ Domain: S(x) => K(x, logic)

would be correct here.

This post has been edited by Dogstopper: 07 May 2013 - 07:17 AM

Was This Post Helpful? 0
  • +
  • -

Page 1 of 1