Reputation
Top tag
Next privilege 50 Rep.
Comment everywhere
Badges
2
Newest
 Scholar
Impact
~236 people reached

  • 0 posts edited
  • 0 helpful flags
  • 0 votes cast
Nov
15
comment In predicate logic, can existential variables be used interchangeably?
So one of my questions is, say I am doing a derivation, can I treat ∃xPx and ∃yPy as equal? As in can I use them interchangeably?