in Mathematical Logic
821 views
1 vote
1 vote

The notation $\exists ! x P(x)$ denotes the proposition “there exists a unique $x$ such that $P(x)$ is true”. Give the truth values of the following statements : 

I)${\color{Red} {\exists ! x P(x)}} \rightarrow \exists x P(x)$

II)${\color{Red} {\exists ! x\sim P(x)}} \rightarrow \neg \forall x P(x)$


What will be answer here?? Is the assumption only for left hand side and not right hand side??

in Mathematical Logic
by
821 views

4 Comments

sorry, not getting what you are asking.
0
0
check below comment.
0
0

$\exists!$ is a symbol. it is not $\exists$ and then negation.

You can check the interpretation of $\exists!$ here https://math.stackexchange.com/questions/3245560/write-out-exists-xpx-where-the-domain-consists-of-the-integers-1-2-a

In (1) Try to put P(1) or P(2) or P(3) true..either one and remaining false. and then check right side whether you are getting true or false.

In (2) do opposite...

1
1

1 Answer

1 vote
1 vote

Let $P(x):(x-1=0)$ defined over $\mathbb{Z}^{+}$

then $x=1$ is the only unique solution for which $P(x)$ is true.

 

  $\exists !xP(x)$ means " there exists a unique $x$ such that $P(x)$ is true” and here the unique value of $x=1$

$\Rightarrow$ We can say that there exist a value of $x$ for which proposition holds true.

$\Rightarrow$ $\exists xP(x)$

So if  there exists a unique $x$ such that $P(x)$ is true then there will exist atleast $1$ value of $x$ for which proposition holds true.

$\therefore$ $\exists !xP(x)\rightarrow\exists xP(x)$ is true.


Let $P(x):(5/x$ is defined $)$ defined over $\mathbb{R}^{+}$

then $x=0$ is the only unique solution for which $P(x)$ is false since $5/0$ is undefined.

 

$\exists !x\sim P(x)$ means there exists a unique $x$ such that $P(x)$ is not true i.e. $P(x)$ is false and here the unique value is $x=0$

$\sim \forall xP(x)$ can also be written as $\exists x\sim P(x)$ which means there exists at least one $x$ such that $P(x)$ is not true i.e. $P(x)$ is false and here we are having x=0 which is satisfying.

So if there exists a unique $x$ such that $P(x)$ is not true i.e. $P(x)$ is false then there will definitely  exists at least one $x$ such that $P(x)$ is not true i.e. $P(x)$ is false

$\Rightarrow$  $\exists !x\sim P(x)\rightarrow\sim \forall xP(x)$ is true.

4 Comments

means when r u getting !then only we r using unique

right??

0
0
Say in. 2nd statement LHS, we took both not outside

Then what will be LHS??

${\color{Red} {\exists ! x\sim P(x)}}$=${\color{Red} {\exists \sim x\sim P(x)}}$

=${\sim\forall x\sim P(x)}$

=${\forall x P(x)}$

Isnot it??

Then $LHS\neq RHS$
0
0
edited by

It is a quantifier also known as uniqueness quantifier. Please read about it.

0
0

${\color{Red} {\exists ! x\sim P(x)}}$=${\color{Red} {\exists \sim x\sim P(x)}}$

@srestha You can't do this.

! and ~ are not the same.

$\exists !$ is a single symbol which represents uniqueness quantifier and ~ represents not operation

1
1

Related questions

Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true