‖”此符号涵盖:平行,逻辑或,恰整除等多重意义,在数学、计算机领域应用丰富。
1、传递性:平行于同一直线的两条直线互相平行。
2、三线八角:同位角相等,两直线平行;内错角相等,两直线平行;同旁内角互补;两直线平行。符号:∥读作“平行于”。“‖”此符号在C语言编程应用:逻辑或满足以下性质:结合律: 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))