科学网—mayaoji的博文

设为首页收藏本站

开启辅助访问切换到宽版

科学网 › 我的中心 › 博文 › mayaoji的博文

mayaoji

https://m.sciencenet.cn/?1255140

哲学| 社科| 物理学| 人工智能| 逻辑学| 其他| 数学|

重复实验的假阳性概率: 马耀基 2024-1-7 22:20; 做实验一般希望得到阳性结果，因为这才说明这实验有意义，有利于论文发表。当涉及到抽样时，需要用统计方法来判断实验数据是否支持阳性结论。比如要判断某减肥药是否有效，做实验时随机抽取两组人，一组人服用减肥药，一组不服。这时需用统计方法从这两组被试服药前后的体重数据中提取信息。有的人当实验得到阴性结果 ...; 个人分类: 社科|1343 次阅读|没有评论

蕴涵怪论和严格条件句——逻辑学笔记17: 马耀基 2017-2-28 17:37; 严格条件句定义：如果 p 那么 q ，用 p q 表示。 p q= df □ (p → q) 为了使分离规则有效，即 A, A B ⊨B ，语义框架必须是自返的。蕴涵怪论在所有的模态系统中，下述蕴涵怪论都不成立。 B ⊨ A B ﹁ A ⊨ A B (A ∧ ...; 个人分类: 逻辑学|4295 次阅读|没有评论

非正规模态逻辑——逻辑学笔记16: 马耀基 2017-2-28 13:01; 如果一个模态系统包括 K 公理和 R 规则，则它是正规模态逻辑。 K 公理：□ (A → B ) → ( □ A →□ B) R 规则： ⊢ A ⊢ □ A 前面所说的所有系统都是正规系统。容易检验， K 公理在所有可能世界上成立，而 R 规则在所有模型上成立。所以如果一个系统不是正规 ...; 个人分类: 逻辑学|3544 次阅读|没有评论

模态逻辑有效式的树形图判定方法——逻辑学笔记15: 马耀基 2017-2-28 00:41; K 系统和命题逻辑的树形图方法类似。不过在每个命题旁边要标准一个自然数，表示某个可能世界。和命题逻辑相比，多了下面四条规则：在第四个规则中， irj 的 j 必须在前面没有出现过。例 1 ：用树形图验证：例 2 ：用树形图验证 ⊨ ( ◇ p ∧◇﹁ q) → ◇ ...; 个人分类: 逻辑学|9971 次阅读|没有评论

重言式及其判定方法——逻辑学笔记14: 马耀基 2017-2-26 23:03; 重言式如果一个复合命题，不管其原子命题取什么值，它总是为真，则我们称之为重言式。比如 p → p ， (p → q) → ( ﹁ q →﹁ p) 。从定义可知，如果 A 是重言式，则 ⊨A 。和重言式相对的是矛盾式，即永远为假的命题，比如 p ∧﹁ p ， p ↔ ﹁ p 。如果要判断 B 是不是 A 的如果后承，即 A ...; 个人分类: 逻辑学|51322 次阅读|没有评论

会议

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-5-16 03:01

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部