ポスト

φ(t) ⊦ ∃x.φ(x) が φ(t), t↓ ⊦ ∃x.φ(x) になったりとか、いろいろと面倒ですから。#釈迦に説法

メニューを開く

Hiroyasu Kamo@kamo_hiroyasu

みんなのコメント

メニューを開く

部分関数記号f : D⇀C(⇀は部分関数の集合を表す上半分のみの矢印)に対してf(x)とか書いた時点でx∈dom(f)⊂Dを含意する、みたいな体系をイメージしていました!

S (ツイートはスレッド全体をご確認ください)@esumii

人気ポスト

もっと見る
Yahoo!リアルタイム検索アプリ