来年になったら本気だす


by lagrange4
カレンダー
S M T W T F S
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31

昨日の続き

さっくり解決しちゃいました。

某氏よりMSNで

「├の読みは分からんが、論理記号のひとつで否定をあらわす。
!とかハット( ̄)とかと同じ
述語論理だと、├ を使うみたい

├ φ ならば ├ ∀xφ  

φでない ならば任意のxに対して φ(x)でない、という意味だとオモ。 」

だそうで。

だから簡単な解説くらいつけろWikipediaヽ(`Д´)ノ

お騒がせしました。m(_ _)m


コメント返信…って

>calcさん

(*´・ω・):;*.':;ブッ

すみません、まさかこちらに来られるとは思いませんでわざわざありがとうございます
m(_ _)m

すげぇ驚きました=■●
[PR]
by lagrange4 | 2006-04-07 23:00 | 雑記