Kenneth h rosen Q29. Chapter 1 section 1.3 Predicate logic
in Mathematical Logic
48 views
0 votes
0 votes

Can anyone explain from for all y??. I am not getting that part how for all is added and implied x=y.

 

in Mathematical Logic
by
5 points
48 views

1 Answer

0 votes
0 votes

Here, ∃xP(x) means there exists at least one x such that P(x).

Now observe the phrase – “one of your tools”. It means that only one tool is not at the correct place but in excellent condition. To ensure that only one tool is not in the correct place, we are removing the possibility of having more than one tool being in the correct place but in excellent condition.

The statement following “ for all y….” ensures that if ever we find another tool such that !C(x) and E(x), it means that the tool must be the tool x. In simple words, no other tool except x is present such that !C(x) and E(x).

 

I hope you got the intuition.

~NJ~

by
5 points
Ask
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
Welcome to GATE CSE Doubts, where you can ask questions and receive answers from other members of the community.