|
|||||
|
|
| 命题逻辑中的蕴涵置换法 | |
| 引用本文： | 李建湘,邓康,汤四平.命题逻辑中的蕴涵置换法[J].数学理论与应用,2003,23(4):31-33. |
| 作者姓名： | 李建湘 邓康 汤四平 |
| 作者单位： | 湖南科技大学数理系，湘潭，411201 |
| 摘 要： | 引进了命题逻辑中的蕴涵置换的概念，建立了蕴涵置换法，指出了蕴涵置换法的使用范围。 |
| 关 键 词： | 命题逻辑 蕴涵置换法 离散数学教学 计算机 高等教育 |
| 本文献已被 CNKI 维普 等数据库收录！ | |
|
||||||||||||||||||||||
|
||||||||||||||||||||||
|
||||||||||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |