基本释义：关于辩证思维形式、规律和方法的科学。 主要研究反映客观事物矛盾的概念、判断、推理等辩证思维形式的运动变化及其规律。与形式逻辑不同，它不是单纯地研究思维的形式结构，而是从形式和内容的有机结合上，考察思维形式的联系和发展规律。注重思维内容的真理性，要求人们用全面的和发展的观点去观察事物；对具体事物作具体分析；用实践来检验人的思想的正确性。其基本规律是唯物辩证法基本规律在思维中的具体表现。
基本释义："谓词，在谓词逻辑中，原子命题分解成个体词和谓词。个体词是可以独立存在的事或物，包括现实物、精神物和精神事三种。谓词则是用来刻划个体词的性质的词，即刻划事和物之间的某种关系表现的词。如“苹果”是一个现实物个体词，""苹果可以吃""是一个原子命题，“可以吃”是谓词，刻划“苹果”的一个性质，即与动物或人的一个关系。"。
基本释义：逻辑学的分支学科。研究思维的形式结构及其规律。撇开具体的思维内容，研究概念、判断和推理（尤其是演绎推理）及其正确联系的规律和规则；反映事物最简单、最普遍、最常见的联系，表达最初步的但很重要的思维规律。基本规律有：同一律、矛盾律和排中律。