24 views

Which of the following statement is valid?

$A)\left \{ \forall \left \{ P\left ( x \right )\vee Q\left ( x \right ) \right \}, \forall x Q\left ( x \right ) \right \}\Rightarrow \exists x P\left ( x \right )$

$B) \left \{ \forall x P\left ( x \right ) , \exists x \sim \left \{ P\left ( x \right ) \wedge Q\left ( x \right )\right \} \right \} \Rightarrow \exists x \sim Q\left ( x \right )$

We cannot solve it putting simple logic,  We need to use propositional formula here, right?

| 24 views

+1 vote

$\forall \left \{ P\left ( x \right )\vee Q\left ( x \right ) \right \}$  //Either P or Q should be true.

$\forall x Q\left ( x \right )$   //Q is always true.

______________________________________

$\therefore \exists x P\left ( x \right )$ // This means Q(x) is always True so P(x) can be true or false. So it is possible that $\exists x P\left ( x \right )$ is True but we can't say surely about it.

so $A)\left \{ \forall \left \{ P\left ( x \right )\vee Q\left ( x \right ) \right \}, \forall x Q\left ( x \right ) \right \}\Rightarrow \exists x P\left ( x \right )$ is not valid but it is satisfiable.

$\forall x P\left ( x \right )$ //P is always true

$\exists x \sim \left \{ P\left ( x \right ) \wedge Q\left ( x \right )\right \}$ \\ There exist a value of $x$ such that P and Q are not true at same time.

But we know P is always True. hence Q must be false for atleast one value of $x$.

____________________________________

$\therefore \exists x \sim Q\left ( x \right )$ \\ There exist a value of $x$ for which Q is not true.

so $B) \left \{ \forall x P\left ( x \right ) , \exists x \sim \left \{ P\left ( x \right ) \wedge Q\left ( x \right )\right \} \right \} \Rightarrow \exists x \sim Q\left ( x \right )$ is valid

by (4.1k points)
edited by
0

$\therefore \exists x \sim Q\left ( x \right ) \equiv \sim \forall x Q\left ( x \right )$

I couldnot understand, how this line could be correct?

For some $x$ $Q(x)$ doesnot exists, does it mean ,"For all x Q is false or not exists" ??

0

It means " there  exist some value of x for which Q is not true"

0

RHS u are using for all

Then how

It means " there  exist some value of x for which Q is not true"

this statement could be true?

0
I thought in reverse.

what would be negation of $\forall x Q(x)$ ? i.e. $\sim \forall x Q(x)$ ?
0
Ok i got it.

LHS

= there  exist some value of x for which Q is not true

i.e. for some value of x Q is true and for some value it is false

i.e. for all values of x Q(x) is not true

=RHS
0
Moreover check this point too

In A) the sign is $\Rightarrow$ and not $\Leftrightarrow$

Then say $\exists x P\left ( x \right )$ could be NULL set too, tha means there exists nothing.

So, why A) is not true??

Take ur time and think this point plz.
0

$\exists P(x)$ means there exist atleast one value of $x$ for which P(x) is true.

so $\exists P(x)$ can't  be null set.

As i already mentioned from the given premises we can't derive the conclusion always. So A is false.

it is possible that ∃xP(x) is True but we can't say surely about it.

0

Second statement meaning and derivation both are wrong @Satbir

but the result is correct

0
Ok i understood. I can't pull out negation like that. Now corrected please check.
+1
" Q must be false for atleast one case " but not all