## Thursday, June 28, 2018

### On Diagonal Quantifiers; 4 of 9

4.    Diagonal Quantifier Laws

In general these equations hold:
Negation:
Var(x)(P(x))  =  Var(x)(not P(x))  =  not Con(x)(P(x))
Con(x)(P(x))  =  Con(x)(not P(x))  =  not Var(x)(P(x))

Partial Distribution:
A and Var(x)(P(x))   =  Var(x)( A and P(x) )
A or Con(x)(P(x))   =  Con(x)( A or P(x) )
“And” distributes over sumbunol, and “or” distributes over ollerno; but “and” does not distribute over ollerno; nor does “or” distribute over sumbunol:
True  or  Var(P(x)) = True;   but Var( True or P(x) ) = False.
False and Con(P(x)) = False;  but  Con( False and P(x) ) = True.

Sumbunol and ollerno have these Equivalence Rules:

Con(x)( P(x) iff Q(x) )    and     Con(x)(Q(x) iff R(x))
Implies       Con(x)(P(x) iff R(x))
If “P iff Q” and “Q iff R” are constant, then “P iff R” is constant.

Con(x)( P(x) iff Q(x) )    and     Con(x)(Q(x))
Implies       Con(x)(P(x))
If “P iff Q” is constant, and Q is constant, then P is constant.

Var(x)(P(x))  and  Con(x)(Q(x))
implies   Var(x)( P(x) iff Q(x) )
If P varies and Q is constant, then “P iff Q” varies.

Con(x)( P(x) iff Q(x) )
Implies       Con(x)(P(x))   iff    Con(x)(Q(x))
If “P iff Q” is constant, then P and Q are equally constant.

Var(x)(P(x))   xor   Var(x)(Q(x))
implies       Var(x)( P(x) xor Q(x) )

If P varies or else Q varies, then “P or else Q” varies.

Sumbunol and ollerno also have two Functionality Rules:

If F(p1, p2,… pn) is any function on Boolean logic, then
Con(x)(P1(x))  and Con(x)(P2(x)) and …  Con(x)(Pn(x))
Implies       Con(x) ( F(P1(x), P2(x), … Pn(x))
This is “Constancy”: constant inputs imply a constant output.

If F(p1, p2,… pn) is any function on Boolean logic, then
Var (x) ( F(P1(x), P2(x), … Pn(x))
Implies    Var(x)(P1(x))  or Var(x)(P2(x)) or …  Var(x)(Pn(x))
This is “Variability”: varying output implies a varying input.

Here is “Proof By Constancy Plus Example”:
For all a and b,
Con(x)(P(x))    and    P(a)
Implies       P(b)

Here is “Variation By Opposing Examples”:
For all a and b,
P(a)    and    not P(b)
implies       Var(x)(P(x))

Here is “Constancy and Existence implies Universality”:
Con(x)(P(x))   and   Exists(x)(P(x))
implies                 All(x)(P(x))

Here is “Existence implies Variation or Universality”:
Exists(x)(P(x))
implies                 Var(x)(P(x))   or   All(x)(P(x))

The reverse implications require that the universe of discourse of the quantifiers be not empty; i.e. that something exists:  Exist(x)(x=x)
If  Exist(x)(x=x),  then
All(x)(P(x))         iff      Con(x)(P(x))   and   Exists(x)(P(x))
Exists(x)(P(x))    iff      Var(x)(P(x))   or   All(x)(P(x))
No(x)(P(x))         iff      NotAll(x)(P(x))   and   Con(x)(P(x))
NotAll(x)(P(x))  iff      Var(x)(P(x))   or  No(x)(P(x))
Var(x)(P(x))        iff      Some(x)(P(x))   and   NotAll(x)(P(x))
Con(x)(P(x))       iff      All(x)(P(x))   or   No(x)(P(x))

If anything exists, then
universality = constancy and existence
existence = variation or universality
nonexistence = exceptions and constancy
exceptions = variability or nonexistence
variability = existence and exceptions
constancy  =  universality or nonexistence