edited by
670 views

1 Answer

0 0 votes
$\exists!$ is $uniqueness\,quantifier$ which says for $exactly\,one$

a) $\exists !x P(x)\rightarrow \exists x P(x)$

The LHS says "For exaclty one $x ,\,P(x)$ is True", RHS says "For some $x,P(x)$ is True". If LHS is True, RHS is True, so this is always $True$

b) $\forall x P(x) \rightarrow \exists ! x P(x)$

The LHS says "For all $x, P(x)$ is True ", RHS says "for exactly one $x, P(x)$ is True".So, if LHS is True, RHS is not True. This can only be true when $LHS$ is $False$.

c) $\exists!x \neg P(x) \rightarrow \neg \forall x P(x)$

    $\exists!x \neg P(x) \rightarrow \exists x \neg P(x)$

The LHS says "For exactly one $x, P(x)$ is not True", RHS says "For some $x,P(x)$ is not True". If LHS is True then RHS is also True. So, this is always $True$.
Position:
Show:

Related questions

0 0 votes
1 1 answer
1.7k
1.7k views
Sandy Sharma asked Jul 6, 2018
1,723 views
Express each of these system specifications using predicates,quantifiers, and logical connectivesb) Whenever there is an active alert, all queued messagesare transmitted....
0 0 votes
1 1 answer
2.6k
2.6k views
Sandy Sharma asked Jul 6, 2018
2,596 views
Express each of these system specifications using predicates,quantifiers, and logical connectives.c) The file system cannot be backed up if there is a usercurrently logge...
0 0 votes
1 1 answer
12.4k
12.4k views
Lakshman Bhaiya asked Feb 18, 2018
12,400 views
Q)Consider these statements, of which the first three are and fourth is a valid conclusion."All hummingbirds are richly colored.""No large birds live on honey.""Birds tha...
0 0 votes
0 0 answers
1.2k
1.2k views
rahul sharma 5 asked Jun 8, 2017
1,164 views
Express using predicate,quantifies and connectives:-The diagnostic monitor tracks status of all systems except main console