谓词逻辑里，全称量词的记法，http://tieba.baidu.com/p/1289674314?pid=16354230367&cid=0#16354230367
代数逻辑和复量词，http://tieba.baidu.com/p/1656420816?pid=20810846128&cid=20889507037#20889507037
摹状词（主词、空量词）http://tieba.baidu.com/p/646238504?pid=18343712554&cid=0#18343712554
算子、量词与摹状词的介绍，http://tieba.baidu.com/p/1483265396?pid=18341725212&cid=0#18341725212
谓词演算转换成集和演算 http://tieba.baidu.com/p/1077770222?pid=12794135298&cid=12804001862#12804001862
存在是一个二阶谓词？ http://tieba.baidu.com/p/1045187227?pid=12086113518&cid=0#12086113518
量词辖域收缩与扩张等值式，http://tieba.baidu.com/p/907503505?pid=11114558118&cid=0#11114558118

自然语言语句，翻译成谓词表达式 http://tieba.baidu.com/p/1869750954?pid=24377956810&cid=0#24377956810
含量词的命题，包含了无意义的内容。http://tieba.baidu.com/p/1809719579?pid=23433673202&cid=0#23433673202
数学上没有意义的带量词的句子？ http://tieba.baidu.com/p/1977051958?pid=27004505666&cid=0#27004505666
量词句子的翻译 http://tieba.baidu.com/p/726404977?pid=12910164141&cid=12923477681#12923477681
对任意自然数n，1+2..+n=n(n+1)/2”如何用一阶逻辑表达 http://tieba.baidu.com/p/1050795646?pid=11917148959&cid=0#11917148959
二元关系命题、重叠量词，http://tieba.baidu.com/p/637902807?pid=6637250614&cid=24377141887#24377141887
关系命题的量词 http://tieba.baidu.com/p/1698276248?pid=21425867341&cid=21917205778#21917205778
无量词的、三段论的形式化，http://tieba.baidu.com/p/616956421?pid=20235763984&cid=20239926814#20239926814