-
masterq_mogumog
- 6530
- 1
- 2
- 3
-
- いいね！3
櫻井洋志
@h_sakurai
練習（ ）内は、命題、前提、推論（移行の法則）のどれですか？ クワガタは昆虫だよ。（ ） だって、クワガタには足が６本あるよね。（ ） 足が６本ある虫は昆虫だよね。（ ） クワガタには足が６本あって、足が６本ある虫は昆虫だから、クワガタは昆虫だよ。（ ） この辺からだなw
2014-12-30 01:34:37
櫻井洋志
@h_sakurai
クワガタは昆虫が命題 クワガタは足六本が前提 足六本ある虫は昆虫だは前提 クワガタに足が６本あって、足が六本ある虫は昆虫だから、クワガタは昆虫だが推論 らしい。
2014-12-30 01:40:27
櫻井洋志
@h_sakurai
クワガタ ——————(ashi) 足六本 足六本 虫 ——————(konchu) 昆虫 推論規則としてはこうなのかなぁ？ うーっていう
2014-12-30 01:48:05
櫻井洋志
@h_sakurai
クワガタ クワガタ ーーーー ーーーー 足六本 虫 ーーーーーーーーーーーー クワガター＞昆虫 ってかんじなのだけど、いいのか？ ん？わからねぇw
2014-12-30 01:57:24
櫻井洋志
@h_sakurai
クワガタ->足六本(ashi) クワガタ->虫(mushi) 足六本 虫 ーーーーーー(konchu) 昆虫 ーーーー(ashi) ーーーーーー(mushi) クワガタ->足六本 クワガタ->虫 ーーーーーーーーーーーーー(konchu) クワガタ->昆虫 って感じか
2014-12-30 02:08:06
櫻井洋志
@h_sakurai
動物の種別環境を ΓとしてΓ0 = {クワガタ|->虫} Γ0(クワガタ) = 虫 みたいな感じなんだよなぁって思うけど難しいw
2014-12-30 02:19:55
櫻井洋志
@h_sakurai
クワガタ->足六本(ashi) クワガタ->虫(mushi) 足六本∧虫->昆虫(konchu) クワガタ->足六本 クワガタ->虫 ーーーーーーーーーーーーーーー(∧) クワガタ->足六本∧虫 ーーーーーーーーーーーーー(konchu) クワガタ->昆虫 とか
2014-12-30 02:55:32
櫻井洋志
@h_sakurai
@masterq_mogumog toggetter使った事ないのでムムムですw 証明図のことを説明したいい本ってないのですかねぇ？ Webで調べてるだけだと限界がある気がしてきました。 色々な論理体系が出て来るし。 Prologとかのほうが話し分かるのかなぁっとか。
2014-12-30 13:49:53
I moved to Mastodon.
@masterq_mogumog
@h_sakurai ぼくもこの証明図読めないので、是非知りたいところです。。。って @osiire さんに良い案を教えていただけたら、いろいろ大変嬉しいです。
2014-12-30 13:52:41
櫻井洋志
@h_sakurai
ゲンツェンの体系LK シーケント計算が証明図の始まりのようなのだけど詳しく分からないです。 BNFと推論ルール作って並べて展開するのは何となく分かるけど、何となくなんですよねぇ。 bach.istc.kobe-u.ac.jp/lect/soft/org/… これ面白いなっと。Scalaの実装とかもあるし
2014-12-30 13:59:24
I moved to Mastodon.
@masterq_mogumog
@h_sakurai なんかこれわかりやすそうです google.co.jp/url?sa=t&sourc…
2014-12-30 14:03:11
櫻井洋志
@h_sakurai
@masterq_mogumog NKって何っていうのを置いておけば簡単で、DMLやATSにも出て来る記号が沢山あっていいですね。⊃はガードらしいのだけど、意味が分からないorz…
2014-12-30 14:29:23