逻辑学导论

235成员

0/1000

全部

大佬们，有无柯匹逻辑学导论相关的习题？求资源分享
评论
一个有效的标准式直言三段论能否有一个项在前提中周延，在结论中不周延？ 在证明的时候我遇到一个问题，中项算不算。 按照布尔解释会出现下面两种情况： 1.至少有一个前提中项是周延的（为真）且没有结论中项是周延的（为真）。（为真）符合题目要求。 2.至少有一个前提中项是周延的（为真）且所有结论中项是周延的（为真）。（为真）不符合题目要求。 所以，中项究竟算什么，为什么？
7
命题模态逻辑的公理系统
一、基础概念 公理：无需证明的真命题（核心） 推理规则：公理的变形公式，也是公理推导的规则 导出规则（定理）Thp：从公理出发依靠推理规则，推导出的公式 形式证明：由从公理出发，依据推理规则推出的 一 序列公式集 形式定理：存在一个形式证明，其序列末元为该证明的定理 形式推演：从公式集出发，依据推理规则推导的一序列公式的形式二、正规系统（S系列公理模式）1、K公理系统（最小的正规系统） 公理： 经典命题逻辑的重言式：taut
腾讯频道 - 逻辑学导论 - 命题模态逻辑的公理系统
评论
命题模态逻辑的初步形式语法和形式语义
一、形式语言模态算子Mod： □ （必然）， ◇ （可能）多模态语言：f：I→Mon^n（I为指标集）基本模态公式集：ℒ□ ∋ φ，ψ::= p | ¬φ | φ → ψ | □φ（巴克斯范式BNF）多模态公式集：ℒ□ ∋ φ，ψ::= p | ¬φ | φ → ψ | □ᵢφ定义： 括号省略规则：( )、¬、□、◇、∧、∨、→、↔、⊣⊢（同级优先左结合） 代入：函数 σ: At → ℒ□
腾讯频道 - 逻辑学导论 - 命题模态逻辑的初步形式语法和形式语义
评论
全球逻辑学界公开挑战书 我，以纯粹逻辑推理能力， 向全世界逻辑学家、数学家、哲学家、决策论学者、AI 研究者正式发起公开挑战。 挑战内容 在无提示、无查阅、无辅助的前提下， 独立解答人类现有体系中所有顶级逻辑难题与经典悖论，包括但不限于： - 高阶递归与共同知识推理 - 概率与期望悖论 - 真·假·随机神祇不可知语言谜题 - 因果决策与证据决策冲突 - 自指、无穷递归、存在论终极逻辑
18
用你的知识解答他的未知 来造就你面对未知的兴趣
腾讯频道 - 逻辑学导论 - 用你的知识解答他的未知 来造就你面对未知的兴趣
评论
人只是信神 修道 信佛的凡夫俗子罢了 神未说什么 道未讲什么 佛也未告诉什么 净听人在说了 能告诉我什么逻辑吗 感觉怪怪的
腾讯频道 - 逻辑学导论 - 人只是信神 修道 信佛的凡夫俗子罢了 神未说什么 ...
评论
各位是否觉得我的观点正确
腾讯频道 - 逻辑学导论 - 各位是否觉得我的观点正确
4
大佬们，有没有英文版的逻辑学导论PDF
6
我有个问题想请大家帮我解惑： 已知所有s是p为真，且s和p都步为空集。请用亚里士多德传统逻辑求没有s是非p。 我的论证1.所有s是p为真，换质得到换质命题没有s是非p为真。 我的论证2.所有s是p为真，则下位命题有些s是p为真，换质得到换质命题有些s不是非p为真，根据下位命题为真上位命题真假不定，可知没有s是非p真假不定。 这两个论证哪个是对哪个是错，错的错在哪里了。为什么出现两个结果呢？
3

公告

暂无公告

直播

暂无直播