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

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

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

你在网上搜一下"元组演算"就行了,然后从需要的文章里挑选适合自己的就可以了,我就不贴文章链接了;

如果回答对您有帮助,请采纳

图片说明

这题谁给解释下。越详细越好。。。。