Joined
Last Seen
0 Reputation Points
Unknown Quality Score
No one has voted on any posts yet. Votes from other community members are used to determine a member's reputation amongst their peers.
0 Endorsements
Ranked #107.41K
~140 People Reached
Favorite Forums
Computer Science
x
1
|
Hello. According to [URL="http://www.youtube.com/watch?v=GH8yBBC9n3Y"]this lecture[/URL](somewhere around 5:20) shifting order of quantifiers in first-order logic can create a formula which isn't equivalent to the preceding one. So, Ax Ey P(x,y) would not be the same as Ey Ax P(x,y). I don't understand why is that so and the lecture doesn't mention …
|