Notes on 【Logc for mathematicians】A.G.Hamilton

10162017, 04:29 PM
(This post was last modified: 10162017 04:38 PM by elim.)
Post: #2




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  10152017, 11:59 AM
Statement Variable  elim  10162017 04:29 PM
