此符号涵盖：平行，逻辑或，恰整除等多重意义，在数学、计算机领域应用丰富。

定义

在同一平面内，永不相交的两条直线互相平行。

性质

1。传递性：平行于同一直线的两条直线互相平行

2。三线八角：同位角相等,两直线平行；

内错角相等,两直线平行；

同旁内角互补； 两直线平行。

符号：∥读作“平行于”

在C语言编程

定义

逻辑或，是逻辑运算符，符号是“||”(在PASCAL中为"or")。 “逻辑或”相当于生活中的“或者”，当两个条件中有任一个条件满足，“逻辑或”的运算结果就为“真”。

输入方式

逻辑运算符把各个运算的变量（或常量）连接起来组成一个逻辑表达式。它可以再键盘上通过使用两次组合键“ shift+\” 打出来。

逻辑运算符有4个，它们分别是： ！(not)（取反）、 ||(or)（逻辑或）、&&(and)（逻辑与） ^(xor)（异或）。在位运算里面还有 &（位与）、|（位或）的运算。(PASCAL语言中逻辑与位运算使用同个操作符)

性质

逻辑或满足以下性质：

结合律: A||B||C）≡ (A||B)||C

交换律: A||B ≡ B||A

分配律: A||(B∧C) ≡ ((A||B)∧(A||C))

A∧(B||C) ≡ ((A∧B)||(A∧C))

A||(B≡C) ≡ ((A||B)≡(A||C))

幂等律: A||A ≡ A

单调性: (A→B)→((C||A)→(C||B))

(A→B)→((A||C)→(B||C))

保真性: 所有变量的真值皆为“真”的命题在逻辑或运算后的结果为真。 保假性: 所有变量的真值皆为“假”的命题在逻辑或运算后的结果为假。

恰整除

定义

p的a次方恰好整除n，但p的a+1次方无法整除n。

应用

讨论费马小定理、数论中的伪质数的时候用到。