25 reputation
2
bio website
location
age
visits member for 1 year, 6 months
seen Dec 14 '13 at 16:06

Dec
13
accepted In predicate logic, is it possible to distribute quantifiers
Dec
12
asked In predicate logic, is it possible to distribute quantifiers
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?
Nov
14
awarded  Scholar
Nov
14
accepted In predicate logic, can existential variables be used interchangeably?
Nov
14
asked In predicate logic, can existential variables be used interchangeably?
Oct
16
awarded  Student
Oct
16
asked How do I calculate the margin of rounding error?