忍者ブログ
記法についての説明が不十分だったので以下に補足します。

まず変数について。
命題変数: $A, B, C, D, \ldots$(大文字のラテン文字)
自由変数: $a, b, c, \ldots, m$ (小文字のラテン文字 $a$ から $m$ まで)
束縛変数: $n, \ldots, x, y, z$ (小文字のラテン文字 $n$ から $z$ まで)

ドイツ文字は変数を表すメタ変数として使われます。
命題変数を表すメタ変数: $\mathfrak{A}, \mathfrak{B}, \mathfrak{C}, \mathfrak{D}, \ldots$(とくに $\mathfrak{M}$ はミックス式を表すメタ変数として用いられる。また、$\mathfrak{F}$ はもっぱら函数を表すメタ変数として用いられる)
自由変数を表すメタ変数: $\mathfrak{a}, \mathfrak{b}, \mathfrak{c}, \ldots, \mathfrak{m}$(じっさいは $\mathfrak{a}$ 以外あまり用いられない)
束縛変数を表すメタ変数: $\mathfrak{n}, \ldots, \mathfrak{x}, \mathfrak{y}, \mathfrak{z}$(じっさいは $\mathfrak{x}$ 以外あまり用いられない)

(現時点では変数/メタ変数の区別に神経質になる必要はないので、かりにメタ変数が使われていても、たんじゅんに変数として捉えてもらってもかまいません)

大文字のギリシア文字(よく用いられるのは $\Gamma, \Delta, \Theta, \Lambda$)はメタ命題変数の(空かもしれない)任意有限列を表します。

以上の変数群はときに添字をともないます。

ひとつ具体例を見てみましょう。以下のシーケントは次のように解釈されえます。

$\ \ \quad \mathfrak{D}, \Gamma \rightarrow \Theta$
$\Rightarrow \mathfrak{D}, \mathfrak{G}_1, \ldots, \mathfrak{G}_m \rightarrow \mathfrak{T}_1, \ldots, \mathfrak{T}_n$
$\Rightarrow \mathfrak{D}\&\mathfrak{G}_1\&\ldots\&\mathfrak{G}_m \rightarrow \mathfrak{T}_1 \vee \ldots \vee \mathfrak{T}_n$(ここで $m, n$ は自由変数ではなく添字の終点を表す任意の自然数とし、それらが $0$ のときは空列を表すとする)

また、あまり用いられることはありませんが、$\curlyvee, \curlywedge$ はそれぞれ真と偽を表す定数とします。

以上、理解の一助になればさいわいです。
PR
この記事にコメントする
お名前
メールアドレス
URL
コメント
カレンダー
06 2017/07 08
S M T W T F S
2 3 4 5 6 7 8
9 10 11 12 13 15
16 17 18 19 20 21 22
23 24 25 26 27 28 29
30 31
最新コメント
[07/28 adidas running shoes women]
[07/28 韓国ブランドコピー時計]
[07/28 gennick[Kifiquqibunoocgi]]
[07/28 adidas x tubular]
[07/28 adidas white cleats]
[07/28 360 frontal]
[07/27 ブランド激安市場時計激安]
[07/27 AlbertRox]
[07/26 adidas neo lite racer mens]
[07/25 AniTNe5]
最新トラックバック
メール
ブログ作成者(はやし)に直接訴えたいことがある、という場合は、下のアドレスにメールをどうぞ。

thayashi#ucalgary.ca
(#を@に置換してください)

ブログ内検索
Google
WWW を検索 このブログ内を検索

はやしのブログ内で紹介された
 書籍の検索はこちら
 音盤の検索はこちら
ランダムおすすめ
(忍者ブログに引越してから、うまくうごかなくなってしまいました。いつか、直します)
Randombook
このブログで紹介したことのある本をランダム表示。
Randomusic
このブログで紹介したことのある音をランダム表示。
自分がらみのリンク
はやしのブログ書籍一覧
このブログで言及された書籍の一覧。
はやしのブログ音盤一覧
このブログで言及された音盤の一覧。
最近のおすすめ本
最近のおすすめ音

Copyright © [ はやしのブログ ]
No right reserved except those which belong to someone else.
Special Template : 忍者ブログ de テンプレート and ブログアクセスアップ
Special Thanks : 忍者ブログ
Commercial message : [PR]