25 reputation
2
bio website
location
age
visits member for 2 years, 2 months
seen Aug 5 at 19:13

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?