|
谓语逻辑 |
 初級魔法師 四級 |
|
|
初級魔法師 四級 |
对命题的判断条件理解
|
|
|
初級魔法師 四級 |
|
|
|
初級魔法師 四級 |
|
|
|
初級魔法師 四級 |
已知的解释，对公式判断真假，解释可以有多种  |
|
|
初級魔法師 四級 |
存在自由变元，没有规定范围，不是闭式，不是命题
|
|
|
初級魔法師 四級 |
前件为0，后件不影响真值判断  |
|
|
初級魔法師 四級 |
谓语公式的等价演算  |
|
|
初級魔法師 四級 |
|
|
|
初級魔法師 四級 |
基本等价定律 
|
|
|
初級魔法師 四級 |
尽管在逻辑上用同样的x标识可以，但是不符合阅读习惯与标识方便 
|
|
|
初級魔法師 四級 |
注意，存在与任意同时存在不能随意交换，因为变元有先后顺序 
|
|
|
初級魔法師 四級 |
同真同假，公式成立  |
|
|
初級魔法師 四級 |
|
|
|
初級魔法師 四級 |
|
|
|
初級魔法師 四級 |
|
|
|
初級魔法師 四級 |
|
|
|
初級魔法師 四級 |
|
|
|
初級魔法師 四級 |
|
|
|
初級魔法師 四級 |
21樓
發表于： 2026-4-2 18:47
注意这里的提取逻辑  |
|
|
初級魔法師 四級 |
22樓
發表于： 2026-4-2 18:52
|
|
|
初級魔法師 四級 |
23樓
發表于： 2026-4-2 19:03
|
|
|
初級魔法師 四級 |
24樓
發表于： 2026-4-2 19:12
注意是推理，不是等价  |
|
|
初級魔法師 四級 |
25樓
發表于： 2026-4-2 19:22
|
|
|
初級魔法師 四級 |
26樓
發表于： 2026-4-2 19:26
|
|
|
初級魔法師 四級 |
27樓
發表于： 2026-4-2 19:40
|
|
|
初級魔法師 四級 |
28樓
發表于： 2026-4-2 19:41
|
|
|
初級魔法師 四級 |
29樓
發表于： 2026-4-2 20:13
注意任意x到具体c
具体c到任意x的过程不可逆
|
|
