Post Reply 
Thread Rating:
  • 0 Votes - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Notes on 【Logc for mathematicians】A.G.Hamilton
10-15-2017, 11:59 AM (This post was last modified: 10-15-2017 12:50 PM by elim.)
Post: #1
Notes on 【Logc for mathematicians】A.G.Hamilton
Don't see a clair text in basic concepts of Mathematical Logic. This one is not pretend to be at the begining. This saved some complecities that otherwise didn't doing better....

Simiple statement .....

Compound statement Finite composition of finite number
of simple statements and connectives $\lnot,\;\wedge,\,\vee,\,\to,\,\leftrightarrow.$
In other words, we call statements of the form
$\qquad A,\,\lnot A,\, A\wedge B,\,A\vee B,\,A\to B,\, A\leftrightarrow B\qquad(\dagger)$
compound statements where $A,\,B$ are simple statements.
Now inductively statements of the form $\,(\dagger)\,$are called
compound statements if$\,A,\,B\,$are compound statements.
Find all posts by this user
Quote this message in a reply
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 

Forum Jump:

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