好這個概念其實咋聽之下會跟imply有點像,就是A implies B,似乎有這樣的概念。 ... if and if 那其實根據entail定義就知道αentails β的意思是說α為真的世界裡面β都要 ...
確定! 回上一頁