珞珈山水BBS -- 单文区文章阅读

搜索

单文区文章阅读 [返回]
发信人: papillon (蝶恋花), 信区: M.S.S 标题: 请教数理逻辑问题发信站: 珞珈山水BBS站 (Mon Aug 1 09:10:40 2005), 站内 ◇ prove that { ┐, ←→} is not an adequate set of connectives. ◇ prove that there is no binary connective other than ↓ and │ which itsel f constitutes an adequate set of connectives. 多谢~~~~~ 注： ┐ negation ←→ biconditional ↓ nor │ nand 没有对应的符号，凑合一下:D -- ※ 修改:·papillon 于 Aug 1 09:11:14 修改本文·[FROM: 211.67.66.] ※ 来源:·珞珈山水BBS站 bbs.whu.edu.cn·[FROM: 211.67.66.]
[返回单文区目录]

单文区文章阅读 [返回]

发信人: papillon (蝶恋花), 信区: M.S.S
标  题: 请教数理逻辑问题
发信站: 珞珈山水BBS站 (Mon Aug  1 09:10:40 2005), 站内

◇ prove that { ┐, ←→} is not an adequate set of connectives.

◇ prove that there is no binary connective other than ↓ and │ which itsel
f constitutes an adequate set of connectives.

多谢~~~~~

注：
┐ negation
←→ biconditional
↓ nor
│ nand
没有对应的符号，凑合一下:D

--

※ 修改:·papillon 于 Aug  1 09:11:14 修改本文·[FROM: 211.67.66.*]
※ 来源:·珞珈山水BBS站 bbs.whu.edu.cn·[FROM: 211.67.66.*]

[返回单文区目录]