在任何命题代数中,可利用F和→定义 元运算一和其它二元运算,,,定义为: def p=p→>F pVq=(-p)→>q p入q=-(p)(q)) p<>q=(p>q)∧(q→p)在任何命题代数中，可利用F和→定义一 元运算和其它二元运算,,，定义为： ( ) ( ) (( p) ( )) ( p) p p def p q p q q p p q q p q q F def def def  = →  →  =      =  →  = →