level 5
大概是这个意思，把公式A中的某个变元替换成项t，要保证t包含的变元在A中不被量词∀或∃约束。
例18(2)中，项t即x，而x在∀xR(x,y)被∀约束，所以无法完成替换。
剩下的不清楚。
2022年01月06日 14点01分
level 7
2
我谓词的符号化部分快听完了，感觉自然语句变谓词，变成符号后好复杂呀，表达式比自然语句复杂得多啊，这么复杂好算么？？？？据说我目前整的这本逻辑学课件是根据牛津大学最新逻辑学课件翻译过来的。
2022年01月08日 08点01分
y对a公式里面的x不能代入（替换）意思是∀xR(x,y)这个公式中x和y两变元被强制定义成x和y没有交集且互不包含的意思么？我看这段看的一个头变三个大，晕死了。
2022年01月08日 08点01分