• 0 Votes - 0 Average
• 1
• 2
• 3
• 4
• 5
 Notes on 【Logc for mathematicians】A.G.Hamilton
10-16-2017, 04:29 PM (This post was last modified: 10-16-2017 04:38 PM by elim.)
Post: #2
 elim Moderator Posts: 578 Joined: Feb 2010 Reputation: 0
Statement Variable
I always wondering what a veriable mean, or how it be defined in set theory term.

I guess is a veriable is a pair $(v,\mathbb{id}_D)$ where $\mathbb{id}_D: u\mapsto u$ is the identity mapping on a set $D$ while $v$ is a lable or a name of the mapping. Usually, for short we use $v$ instead of $(v,\mathbb{id}_D)$
 « Next Oldest | Next Newest »

 Messages In This Thread Notes on 【Logc for mathematicians】A.G.Hamilton - elim - 10-15-2017, 11:59 AM Statement Variable - elim - 10-16-2017 04:29 PM

Forum Jump: