| 查看: 7137 | 回复: 10 | |||
[交流]
请教一下大家，怎么理解离散数学中的这句话：“p蕴含q为假当且仅当p真且q假”？ 已有4人参与
|
|||
|
总觉得不太好理解。这句话怎么证明呢？ [ Last edited by 就是溜溜的她 on 2012-2-26 at 00:12 ] |
回复此楼» 猜你喜欢
材料专业344求调剂
已经有19人回复
-
085404 298分求调剂
已经有11人回复
-
296求调剂
已经有7人回复
-
初试261
已经有6人回复
-
284求调剂
已经有9人回复
-
材料085601调剂
已经有25人回复
-
272分材料子求调剂
已经有23人回复
-
22408调剂求助
已经有7人回复
-
调剂
已经有17人回复
-
材料类284调剂
已经有43人回复
» 本主题相关价值贴推荐，对您同样有帮助:
- 请教中文SCI《有机化学》和《化学学报》的收费情况
已经有12人回复
- 请教fluent数据导出功能 温度场
已经有15人回复
- 请教 DSC 图谱解析
已经有5人回复
- 请教气相色谱达人们？
已经有5人回复
- 请教XPS探测深度
已经有15人回复
- 请教GROMACS安装
已经有8人回复
- 请教酯水解的问题
已经有3人回复
- 请教药物设计中的带负电性基团和带正电性基团的概念
已经有3人回复
- 请教HP4194A怎么校准？
已经有5人回复
- 请教对方教授的回信要求
已经有3人回复
- 请教为什么纯样出峰有鼓包？？？？ 有图
已经有39人回复
- 鼠骨髓细胞（rat bone marrow cell）培养的一个问题，请教大家。谢谢
已经有30人回复
- 向高手请教一个与相对论动量相关的问题
已经有3人回复
- 请教：orca 中用CCSD(T)计算单点能出错--提示内存不足 该怎么办？
已经有10人回复
- 请教大家一个去德国的问题
已经有9人回复
- 请教聚酯多元醇的合成问题
已经有10人回复
- 【求助】组合数学中的两个队列合并问题
已经有4人回复
cinema1980
木虫 (著名写手)
- 应助: 5 (幼儿园)
- 金币: 2670.8
- 散金: 978
- 红花: 3
- 帖子: 2987
- 在线: 447.6小时
- 虫号: 1373979
- 注册: 2011-08-20
- 性别: GG
- 专业: 组合数学
★
小木虫(金币+0.5):给个红包，谢谢回帖
小木虫(金币+0.5):给个红包，谢谢回帖
|
你说的问题是数理逻辑，是逻辑运算的基本性质。 可以这么理解： 首先，逻辑命题的值只有两种：真，假。 其次，命题通常由前件和后件组成，且前件与后件也是命题。 最后，前件与后件的取值决定命题的真假。 你说的“规定”是对的，就是运算法则。 道理在于： 逻辑的最基本运算法则为： 前件为假时，无论后件真假，命题均为真。 前件为真时，后件真，则命题真；后件假，则命题假。 命题：p蕴含q。 p为前件，q为后件。 由运算法则： p为假，则无论q取何值，命题为真。 p为真，q为真时，命题为真； q为假时，命题为假。 显然，p蕴含q为假时，p真q假。 反之亦然。 |
8楼2012-02-26 16:12:47
ssszhangxx
铁杆木虫 (正式写手)
- 应助: 0 (幼儿园)
- 金币: 7016.6
- 红花: 3
- 帖子: 428
- 在线: 184.2小时
- 虫号: 14413
- 注册: 2003-06-04
- 专业: 数理逻辑和与计算机相关的
2楼2012-02-26 00:08:22
3楼2012-02-26 00:12:21
ssszhangxx
铁杆木虫 (正式写手)
- 应助: 0 (幼儿园)
- 金币: 7016.6
- 红花: 3
- 帖子: 428
- 在线: 184.2小时
- 虫号: 14413
- 注册: 2003-06-04
- 专业: 数理逻辑和与计算机相关的
4楼2012-02-26 00:29:21
ssszhangxx
铁杆木虫 (正式写手)
- 应助: 0 (幼儿园)
- 金币: 7016.6
- 红花: 3
- 帖子: 428
- 在线: 184.2小时
- 虫号: 14413
- 注册: 2003-06-04
- 专业: 数理逻辑和与计算机相关的
5楼2012-02-26 00:34:45
6楼2012-02-26 00:59:15
7楼2012-02-26 01:01:49
9楼2012-02-27 00:22:12
hwzxaww
木虫 (正式写手)
- 应助: 6 (幼儿园)
- 金币: 2189.4
- 红花: 1
- 帖子: 397
- 在线: 251.2小时
- 虫号: 1476588
- 注册: 2011-11-04
- 性别: GG
- 专业: 数理社会学
10楼2012-04-08 20:00:49
20