逻辑常项：不随思维具体内容变化而变化，是判定一种逻辑形式具体类型的唯一依据。传统逻辑：自然语言〔日常用语〕现代逻辑：人工语言〔符号语言：表意符号.公式.公式序列〕
问答题逻辑学的思维包括哪两个方面？
问答题逻辑学的研究目的是什么？
问答题什么是逻辑学？
多项选择题设P、Q是一元谓词，a是个体常项。考虑如下推演关系：现欲在横线上填入一个公式，使得该推演关系成立。以下公式中可填入的有：（）。
A.∃xPxB.∀xPxC.PaD.Qa→Pa
多项选择题设P是一元谓词，a是个体常项。下列属于正确的推演的有（）。
A.从Px推出PaB.从∀xPx推出PaC.从∃xPx推出PaD.从∃xPx∧∀x¬Px推出Pa
