Post Reply 
Thread Rating:
  • 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
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)$
Find all posts by this user
Quote this message in a reply
Post Reply 

Messages In This Thread
Statement Variable - elim - 10-16-2017 04:29 PM

Forum Jump:

Contact Us | Software Frontier | Return to Top | Return to Content | Lite (Archive) Mode | RSS Syndication