2023年9月10日
DM@数理逻辑@命题和联结词@形式化命题
摘要： 文章目录 abstract命题和联结词基本概念命题@陈述句命题真值真假记号 原子命题@命题分解复合命题(联结词命题)例 半形式化命题和形式化语言形式逻辑的抽象性👺联结词形式化否定合取析取相容或的表示排斥或的表示 蕴含👺Notes:补充说明 等价 abstract 数理逻辑@命题和联结词@形式化命 阅读全文
posted @ 2023-09-10 16:15 xuchaoxin1375 阅读(44) 评论(0) 推荐(0)