元组演算中的箭头 => 是什么意思！！！！！！！！！！！

Question

谁能把元组演算的除法帮忙解释下？？？
写出演算公式并解释！！！！！！！！！！！！！
最好能解释下软考数工 2004年11月的试题48.。。。

Answer 1

就是推出符号，由左侧的条件可以推出右侧的结论，但是反之不见得成立。