記号

質問

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

回答No.5

take008

├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

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

補足

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

回答No.3

pyon1956

#2の型の仰る通りですが、この記号、wikipedia日本語のページにはなくて、英語ページにあるようですね。
http://en.wikipedia.org/wiki/Table_of_mathematical_symbols
inferenceの訳は推論ですが、つまりAからBが推論される、ということですね。
日本語の読みは特にないのではないかと思います。
実際こちら
http://ja.wikipedia.org/wiki/%E6%95%B0%E5%AD%A6%E8%A8%98%E5%8F%B7%E3%81%AE%E8%A1%A8
のなかにも、読みではなくてほとんど意味そのままのものもありますし、ここにない記号も沢山あります。そういう場合は適当に意味がわかるように読んでいるのでしょう。

参考URL：

http://en.wikipedia.org/wiki/Table_of_mathematical_symbols

回答No.2

eatern27

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

Ａ├Ｂ

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

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

回答No.1

harukarin

「├」ゎ≪たてみぎ≫と読みますｏそのまんまですねｗ意味ゎ。。。特にないんじゃないでしょうか？？
・・・あんま役に立ってませんね↓↓ごめんなさぃｏ