[Math] How to write the following statements in predicate logic

Question

Which symbolization is right for the following statements ?

The statements:

1. Some computer science students are not regular.
2. Every user in this website has some rank.
3. All the questions related to programming has an answer on stackoverflow.

Sybolization:

For 1st statement:

a. $\exists$xP(x)$\rightarrow\neg$Q(x) (P(x) = cs students, Q(x) = are regular)

b. is it $\exists$xP(x)$\land\neg$Q(x)

which one is it "a" or "b" ?

For 2nd statement:

a.$\forall$P(x)$\rightarrow$Q(x) (P(x) = user in this website, Q(x) = has some rank)

b.$\forall$P(x)$\land$Q(x)

which one is it "a" or "b" ?

For 3rd statement:

a.$\forall$P(x)$\rightarrow$Q(x) (P(x) = questions related to programming, Q(x) = has an answer on stackoverflow)

b.$\forall$P(x)$\land$Q(x)

which one is it "a" or "b" ?

thanks.

Answer 1

The wording of your statements isn't quite correct. For example, '$P(x)=$ cs students' and '$Q(x)=$ are regular'. What on earth do these statements mean? They're not statements - they don't say anything. They don't mention $x$ in them and we don't even know what $x$ is.

Instead, you should have something like: let $X$ be the set of all students and let $P(x)=$ '$x$ is a cs student', $Q(x)=$ '$x$ is regular'.

You'll then see both

$$(\exists x\in X)\quad P(x)\implies\lnot Q(x)$$

and

$$(\exists x\in X)\quad P(x)\land\lnot Q(x)$$

hold true for the first one.

Note that

$$$$

$$P(x)\land\lnot Q(x)$$ $\implies$ $$\lnot Q(x)$$ $\implies$ $$\lnot P(x)\lor\lnot Q(x)$$ $\iff$ $$(P(x)\implies\lnot Q(x))$$

so the first is just a weaker statement than the second.

---

Similar problems with wording of your statements apply for the other two, and yet again you'll see each time that both are true with one of the statements being implied by the other.

---

Edit: In conclusion, only the b statements are equivalent to the original statement. So although a is true in each case, it isn't what you're after.