大陆简体 | 登录 | 注册
目前共有40篇帖子。 字体大小：较小 - 100% （默认）▼  内容转换：不转换▼
 
点击 回复
295 39
谓语逻辑
响
初级魔法师 四级
1楼 发表于：2026-4-1 18:57
回复
响
初级魔法师 四级
2楼 发表于：2026-4-1 18:58
回复
对命题的判断条件理解
 
响
初级魔法师 四级
3楼 发表于：2026-4-1 18:58
回复
 
响
初级魔法师 四级
4楼 发表于：2026-4-1 18:59
回复
 
响
初级魔法师 四级
6楼 发表于：2026-4-1 19:03
回复
已知的解释，对公式判断真假，解释可以有多种
 
响
初级魔法师 四级
7楼 发表于：2026-4-1 19:09
回复
存在自由变元，没有规定范围，不是闭式，不是命题
 
响
初级魔法师 四级
8楼 发表于：2026-4-1 19:15
回复
前件为0，后件不影响真值判断
 
响：下面的可理解为合取为0，存在0既是合取为0，所以后件存在01可能性
  2026-4-1 19:17 回复
响
初级魔法师 四级
9楼 发表于：2026-4-1 19:20
回复
谓语公式的等价演算
 
响：依旧蕴含关系
  2026-4-1 19:21 回复
响
初级魔法师 四级
10楼 发表于：2026-4-1 19:22
回复
 
响
初级魔法师 四级
11楼 发表于：2026-4-1 19:33
回复
基本等价定律

 
响：S里没有x，可以不作为辖域
  2026-4-1 19:35 回复
响
初级魔法师 四级
12楼 发表于：2026-4-1 19:37
回复


尽管在逻辑上用同样的x标识可以，但是不符合阅读习惯与标识方便
 
响
初级魔法师 四级
13楼 发表于：2026-4-1 19:48
回复


注意，存在与任意同时存在不能随意交换，因为变元有先后顺序
 
响
初级魔法师 四级
14楼 发表于：2026-4-1 19:53
回复
同真同假，公式成立
 
响：存在x,gx为真的情况不成立，即是，任意x,gx为假，注意01表示成立与否
  2026-4-1 20:01 回复
响
初级魔法师 四级
15楼 发表于：2026-4-1 20:04
回复
 
响
初级魔法师 四级
16楼 发表于：2026-4-1 20:04
回复
 
响
初级魔法师 四级
17楼 发表于：2026-4-1 20:05
回复
 
响
初级魔法师 四级
18楼 发表于：2026-4-1 20:05
回复
 
响
初级魔法师 四级
19楼 发表于：2026-4-1 20:05
回复
 
响
初级魔法师 四级
20楼 发表于：2026-4-1 20:13
回复
 
响：？变元应该不同吧，辖域不同
  2026-4-1 20:14 回复
响：回复 @响：
左边 ∀x(P(x) ∧ Q(x))：论域里的任意一个个体 x，都同时满足 P (x) 和 Q (x)
右边 ∀xP(x) ∧ ∀xQ(x)：论域里所有个体都满足 P (x)，并且论域里所有个体都满足 Q (x)
  2026-4-1 20:18 回复
响
初级魔法师 四级
21楼 发表于：2026-4-2 18:47
回复
注意这里的提取逻辑
 
响：存在合取这里不能提取
  2026-4-2 18:47 回复
响
初级魔法师 四级
22楼 发表于：2026-4-2 18:52
回复
 
响：唯一表示
  2026-4-2 18:53 回复
响：替换为函数，因为后续内容依赖于前面范围
  2026-4-2 19:02 回复
响：可以参考楼下
  2026-4-2 19:03 回复
响
初级魔法师 四级
23楼 发表于：2026-4-2 19:03
回复
 
响
初级魔法师 四级
24楼 发表于：2026-4-2 19:12
回复
注意是推理，不是等价
 
响
初级魔法师 四级
25楼 发表于：2026-4-2 19:22
回复
 
响：按斯科伦范式，自由相当于任意，有函数关系作用
  2026-4-2 19:23 回复
响
初级魔法师 四级
26楼 发表于：2026-4-2 19:26
回复
 
响
初级魔法师 四级
27楼 发表于：2026-4-2 19:40
回复
 
响
初级魔法师 四级
28楼 发表于：2026-4-2 19:41
回复
 
响：注意这里析取是推理不是等于
  2026-4-2 19:42 回复
响
初级魔法师 四级
29楼 发表于：2026-4-2 20:13
回复
注意任意x到具体c
具体c到任意x的过程不可逆
 

回复帖子

内容：
用户名： 您目前是匿名发表
验证码：
（快捷键：Ctrl+Enter）
 

本帖信息

点击数：295 回复数：39
评论数： ?
作者：响
最后回复：响
最后回复时间：2026-4-2 20:13

公告板

 【新功能】现在手机版发帖也可以上传图片了
【公告】布拉斯侃吧（Purasbar）全站已启用HTTP/2访问以及TLS1.3加密
【新功能】楼中楼功能已上线
【公告】Purasbar http访问方式已关闭，从现在起只能通过https方式访问
【新功能】现在可以直接在发帖框中粘贴图片啦！
【新功能】搜索框提示功能上線了
【公告】第十五次補丁包安裝完畢
【公告】從現在開始，管理員將停止審批會員
【公告】阿斯兰侃吧现在开始支持简繁混合搜索
【公告】阿斯蘭侃吧啟用https訪問
【公告】从今天开始，本站实行主题编号制
【新功能】图片缩放功能上线了
 
©2010-2026 Purasbar Ver2.0 ▲
除非另有声明，本站采用知识共享署名-相同方式共享 3.0 Unported许可协议进行许可。