Stata软件的3种逻辑符号 通过加入一个或者多个逻辑符号，便可以将一个或多个关系运算符联系起来，Stata中的逻辑运算符号有以下几种：“！”（或）、“&”（且）、“|”（非）。 仍然举一个含...
Stata软件的6种关系符号
Stata软件的6种关系符号 共有6种关系符号，“==”（等于）、“！=”（不等于）、“>”（大于）、“<”（小于）、“>=”（大于等于）、“<=”（小于等于）。其中两个连续的...
Stata软件字符变量的显示格式
Stata软件字符变量的显示格式 字符变量的显示格式只有一种。其表达式为%#s。其中，%是一个提示符；#表示显示的字符数，即宽度；s表示字符变量的显示格式。例如，%22s表示22个字符的字符变量显示格...
Stata软件数值变量的显示格式
Stata软件数值变量的显示格式 Stata中数值变量的基本显示格式有3种：e格式（科学计数法格式）、f格式（固定格式）和g格式（一般格式）。这3种格式的表达式中均包含用黑点隔开的两个数字w.d。 其...
Stata软件的数值型数据
Stata软件的数值型数据 当数据是数值型的时候，Stata会以不同于字符型数据的方式储存，以便可以进行数字的算术运算并节约存储空间。字符型数据的两种主要的存储方式是整数（integer）和浮点（fl...
Stata软件的字符型数据
Stata软件的字符型数据 在Stata中字母当然是字符型数据，但是数字则不一定：比如5当作为年龄时是数值型数据，当作为5 street（第五大街）时就是字符。字符变量的存储格式是str#，其中str...
Stata软件变量的命名规则
Stata软件变量的命名规则 在数据处理的过程中，变量是由变量名来代表的。 数据矩阵的每一列抬头即是变量的名称，Stata有着自己特殊的命名原则，具体如下。 ●变量名可达32个字符。 ●字符组成部分为...
Stata软件的学习资源
Stata之所以受到广泛应用和关注，除了软件本身的特点外，还在于Stata公司为用户提供了很好的学习、讨论、研发平台。Stata公司提供完整的使用手册，包含统计样本建立、解释、模型与语法、文献等超过1...
Stata软件的历史和特点
Stata最初由美国计算机资源中心（Computer Resource Center）研制，现在为Stata公司的产品，其最新版本为12.0版。相比于功能强大但略显臃肿的SAS，它操作灵活、简单、易学...
Stata软件help和search命令的区别
Stata中最重要的两个命令莫过于help和search了。即使经常使用Stata的人也很难，也没必要记住常用命令的每一个细节，更不用说那些不常用的了。所以，在遇到困难又没有免费专家咨询时，使用Sta...
自由变元与命题变元的代入规则
自由变元与命题变元的代入规则 1.自由变元的代入规则 自由变元也可以改名，但必须遵守以下代入规则。 （1）欲改变自由变元x的名，必改x在公式中的每一处自由出现。 （2）新变元不应在原公式中以任何约束形...
约束变元的改名规则
约束变元的改名规则 谓词公式中约束变元的名称是无关紧要的，(∀x)P(x)和(∀y)P(y)具有相同的意义。 需要时可以改变约束变元的名称。 但必须遵守以下改名的规则。 （1）欲改名之变元应是某量词作...
谓词逻辑的翻译或符号化：基本步骤
把一个文字叙述的命题，用谓词公式表示出来，称为谓词逻辑的翻译或符号化。 一般来说，符号化的步骤如下。 （1）正确理解给定命题。必要时把命题改叙，使其中每个原子命题及原子命题之间的关系能明显表达出来。 ...
自由变元和约束变元的区别
给定一个谓词公式 A，其中有一部分公式形如(∀x)B(x)或(∃x)B(x)，则称它为 A 的x约束部分，称B(x)为相应量词的作用域或者辖域。 在辖域中，x的所有出现为约束出现，x称为约束变元； B...
谓词逻辑的合式公式
（1）原子谓词公式是合式的公式； （2）若A是合式的公式，则﹁A也是合式的公式； （3）若A和B都是合式的公式，则A∧B，A∨B，A→B，A↔B也都是合式的公式； （4）如果A是合式的公式，x是任意变...
全称量词、存在量词、存在唯一量词的区别
全称量词、存在量词、存在唯一量词的区别 （1）符号∀称为全称量词符，用来表达“对所有的”、“任意的”、“每一个”等词语。“(∀x)P(x)”表示命题：“对于个体域中所有个体x，谓词P(x)均为T”。其...
个体与谓词的区别
个体与谓词的区别 原子命题中，所描述的对象称为个体；用以描述个体的性质或个体间关系的部分，称为谓词。 个体，是指可以独立存在的事物。它可以是抽象的概念，也可以是一个具体的实体。如计算机，自然数，智能，...
重言式的特点特征
重言式的特点特征 （1）重言式的否定是一个矛盾式，一个矛盾式的否定是重言式，所以只研究其中之一就可以了。 （2）重言式的析取，合取，单条件，双条件都是重言式。于是可由简单的重言式推出复杂的重言式。 （...
永真式、永假式与可满足式的区别
永真式、永假式与可满足式的区别 （1）不依赖于命题变元的真值指派，而总是取值为 T（即 1）的命题公式，称为永真式或称作重言式。 （2）不依赖于命题变元的真值指派，而总是取值为F（即0）的命题公式，称...
真值表的构成与约定
设A为一命题公式，对其中出现的命题变元做所有可能的每一组真值指派S，连同公式A相应S(A)的取值汇列成表，称为A的真值表。 一个真值表由两部分构成。 （1）表的左半部分列出公式的每一种解释。 （2）表...