記号

├
この記号の読み方と意味をおしえてください

No.5 回答者： take008 回答日時： 2006/02/26 14:08

├A⊃Bとかならどうですかね？

やはり，deduce です。
　左辺の命題群の前提の下で，右辺の命題が成り立つ
ということを表すメタ記号です。
ですから ├A⊃B は
　前提無しで，A⊃B　（A ならば B）が成り立つ
という意味になり，誤りです。
A⊃B├～B⊃～A
A⊃B,～B├～A
A⊃B,～B,～A├C
などが正しい例です。

No.4 回答者： take008 回答日時： 2006/02/26 00:30

記号が使われている例が書いてあるとよかったのですが．．．

たぶん
　前提条件├命題
のような形で使われていると思います。そうならば
　ｄｅｄｕｃｅ
と読むのが適当でしょう。

この回答への補足

例を挙げるべきでしたね、すいません
├A⊃Bとかならどうですかね？

補足日時：2006/02/26 13:05

No.3 回答者： pyon1956 回答日時： 2006/02/25 20:26

#2の型の仰る通りですが、この記号、wikipedia日本語のページにはなくて、英語ページにあるようですね。

http://en.wikipedia.org/wiki/Table_of_mathematic …
inferenceの訳は推論ですが、つまりAからBが推論される、ということですね。
日本語の読みは特にないのではないかと思います。
実際こちら
http://ja.wikipedia.org/wiki/%E6%95%B0%E5%AD%A6% …
のなかにも、読みではなくてほとんど意味そのままのものもありますし、ここにない記号も沢山あります。そういう場合は適当に意味がわかるように読んでいるのでしょう。

参考URL：http://en.wikipedia.org/wiki/Table_of_mathematic …

No.2 回答者： eatern27 回答日時： 2006/02/25 18:34

かじった程度しかしりませんが、記号論理の方では、確か

Ａ├Ｂ

は、「ＡからＢが導出(証明)できる」という意味で使っています。

が、他の分野や文脈によっては、別の意味で使う事があるかもしれません。

No.1 回答者： harukarin 回答日時： 2006/02/25 17:45

「├」ゎ≪たてみぎ≫と読みますｏそのまんまですねｗ意味ゎ。

。。特にないんじゃないでしょうか？？
・・・あんま役に立ってませんね↓↓ごめんなさぃｏ