在脚本的执行过程中，分号可以在一行中连接多条命令，如在一条命令中显示今天的日期：



#   添加-n表示不换行
echo -n "today is "; date +%y%m%d

但这只是大材小用，还可以用于控制语句如if的组织结构上，如将then提齐到if语句并列，如下：



#   与JAVA语法类似的组织结构
if [ -e startup.sh ]; then
    echo "startup.sh file exists!"
fi

除此之外，还可以用于在命令行直接执行判断语句，如判断某文件是否具有执行权限，如果没有，则添加用户执行权限，如下：



#   一行命令就可以添加判断、执行功能
if [ -x startup.sh]; then; else chmod u+x startup.sh; fi;



结论

在bash编程实践中，使用分号不仅可以更好地组织代码结构，还可以加强每行代码的执行能力。

文章目录
一、 判断谓词逻辑公式真假 ( 语义 )
二、 谓词逻辑 "解释"
三、 谓词逻辑 "解释" 示例
四、 谓词逻辑公式类型









一、 判断谓词逻辑公式真假 ( 语义 )



谓词逻辑 语法 与 语义 :
语法 : 上面两节讲解的是 谓词逻辑 的公式 , 如何 根据陈述句描述写出公式 ,  是 语法 范畴 ;
语义 : 写出的公式如何 判定其真假 , 属于 语义 范畴 ;
判定公式真假 :

命题逻辑 : 命题逻辑中 , 通过给命题变元赋值 , 并且根据联结词规则计算 , 最终得到真值 , 这个过程叫做 赋值 ;
一阶谓词逻辑 : 一阶谓词逻辑中 , 使用 “解释” 方法 , 判定一个公式的真假 ;









二、 谓词逻辑 “解释”



解释 :
给定 谓词逻辑 公式 $A$ , 该公式 $A$ 由 个体词 , 谓词 , 量词 组成 ;
个体域 : 指定 公式 $A$ 的 个体域 为 已知 个体域 $D$ ;
个体词 : 使用特定的 个体常元 取代 $A$ 中的 个体词 ;
函数 : 使用 特定的函数 , 取代 $A$ 中的 函数变元 ;
谓词 : 使用 特定的 谓词 , 取代 $A$ 中的 谓词变元 ;
执行完上述操作后 , 即可得到 $A$ 公式的一个 “解释” ;




赋值 与 解释 :
赋值 : 赋值 是 给命题逻辑的 命题变元 取 $0 , 1$ 真假值 ;
解释 : 解释 是 给 个体词 在个体域中 指定是哪个个体 ,  给 谓词 指定具体的性质或关系 , 给 量词 指定 个体域 判定其范围 , 确定了 个体词 , 谓词 , 量词 , 就可以判定公式的真假 ;


给定一个 谓词逻辑 公式 , 给出一个 解释 , 就可以 判定其真假 ;
同一个 谓词逻辑 公式 , 可以有 不同的解释 ;

个体 指定 不同的 个体
谓词 指定 不同的 性质或关系
量词 使用不同的 个体域 进行解释 ;









三、 谓词逻辑 “解释” 示例



给定 一阶谓词逻辑 公式 $A$ 为 $\forall x ( F(x) \to G(x) )$ , 有以下多种解释 ;


解释一 :
个体域 : 实数集合 ;
$F(x)$ : $x$ 是有理数 ;
$G(x)$ : $x$ 是分数 ;
此时公式 $A$ 可以解释成 : 有理数都能表示成分数 ;
此时该解释对应的命题是 真命题 ;


解释二 :
个体域 : 全总个体域 ;
$F(x)$ : $x$ 是人 ;
$G(x)$ : $x$ 头发是黑色的 ;
此时公式 $A$ 可以解释成 : 人都是黑头发的 ;
此时该解释对应的命题是 假命题 ;










四、 谓词逻辑公式类型



谓词逻辑 公式 , 有了解释之后 , 就可以判断公式的类型 ;
谓词逻辑 公式类型分为 永真式 , 永假式 , 可满足式 , 等值式 等 ;

永真式 : 公式 $A$ 在 任何解释下都为真 ;
永假式 : 公式 $A$ 在 任何解释下都为假 ;
可满足式 : 公式 $A$ 至少存在一个成真的解释 ;
等价式 : 如果 $A \leftrightarrow B$ 是永真式 , 则公式 $A$ 和 $B$ 是等值的 , 记作 $A \Leftrightarrow B$ , 称 $A \Leftrightarrow B$ 是等值式 ;

for(var i = 0; i < 3; i++){
console.log("hello")；
}
console.log(i)
//循环的代码执行顺序是
//1 先申明变量i=0
//2 判断代码是否<3，即条件是否成立
//3 执行语句
//4 条件改变
//之后继续执行 2 3 4。 直到条件假，跳出循环。即变量只声明一次
//循环结束后，console.log(i)在控制台打印的i是3

下面是linux常用逻辑判断
-b file            若文件存在且是一个块特殊文件，则为真

-c file            若文件存在且是一个字符特殊文件，则为真

-d file            若文件存在且是一个目录，则为真

-e file            若文件存在，则为真

-f file            若文件存在且是一个规则文件，则为真

-g file            若文件存在且设置了SGID位的值，则为真

-h file            若文件存在且为一个符合链接，则为真

-k file            若文件存在且设置了"sticky"位的值

-p file            若文件存在且为一已命名管道，则为真

-r file            若文件存在且可读，则为真

-s file            若文件存在且其大小大于零，则为真

-u file            若文件存在且设置了SUID位，则为真

-w file            若文件存在且可写，则为真

-x file            若文件存在且可执行，则为真

-o file            若文件存在且被有效用户ID所拥有，则为真
-z string          若string长度为0，则为真

-n string          若string长度不为0，则为真

string1 = string2  若两个字符串相等，则为真

string1 != string2 若两个字符串不相等，则为真
int1 -eq int2      若int1等于int2，则为真

int1 -ne int2      若int1不等于int2，则为真

int1 -lt int2      若int1小于int2，则为真

int1 -le int2      若int1小于等于int2，则为真

int1 -gt int2      若int1大于int2，则为真

int1 -ge int2      若int1大于等于int2，则为真
!expr              若expr为假则复合表达式为真。expr可以是任何有效的测试表达式

expr1 -a expr2     若expr1和expr2都为真则整式为真

expr1 -o expr2     若expr1和expr2有一个为真则整式为真
特殊变量
$0                 正在被执行命令的名字。对于shell脚本而言，这是被激活命令的路径

$n                 该变量与脚本被激活时所带的参数相对应。n是正整数，与参数位置相对应($1,$2…)

$#                 提供脚本的参数号

$*                 所有这些参数都被双引号引住。若一个脚本接收两个参数，$*等于$1$2

$@                 所有这些参数都分别被双引号引住。若一个脚本接收到两个参数，$@等价于$1$2

$?                 前一个命令执行后的退出状态

$$                 当前shell的进程号。对于shell脚本，这是其正在执行时的进程ID

$!                 前一个后台命令的进程号


其中下面两种判断： 
expr1 -a expr2     若expr1和expr2都为真则整式为真

expr1 -o expr2     若expr1和expr2有一个为真则整式为真
本人亲测过不行，不知道是不是格式出了问题，待解答
例子：
if [ ! -z $err  -o ! -e $apk ]; then    会报出-e无法找到的错误
而if [ ! -z $err ] || [ ! -e $apk ]; then    没问题