填空題

如果關(guān)系R是反傳遞性的，則由aRb和bRc為前提，可推出（）。

答案：﹁（aRc）

你可能感興趣的試題

關(guān)系詞項“包庇”在直接關(guān)系推理中表現(xiàn)為（）性，在間接關(guān)系推理中表現(xiàn)為（）性。

答案：非對稱；非傳遞

【簡答題】判明下列公式哪些屬于永真式、哪些屬于協(xié)調(diào)式、哪些屬于矛盾式。（p∧﹁p）∨（p∧q）。

答案：

做它的真值表
所以，（p∧﹁p）∨（p∧q）是協(xié)調(diào)式。