Timeline for What are free variables and what does it mean for a statement to contain one?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 12, 2022 at 0:06 | comment | added | Hunan Rostomyan | @stupid In (1) "x" is a free variable, in (2-3) it's not -- the quantifiers bind it | |
| Dec 10, 2022 at 23:01 | comment | added | user63756 | Sorry to jump in, but I can't completely understand the answer, and I think it's because no-one has said whether 1 2 and 3 contain free variables | |
| Aug 11, 2013 at 16:41 | review | First posts | |||
| Aug 12, 2013 at 8:50 | |||||
| Aug 11, 2013 at 16:23 | history | answered | Hunan Rostomyan | CC BY-SA 3.0 |