Hypergendered Logic Source

Hypergendered Logic — Page 18

HGL Source Framework · Page 18 of 293 · Source: Hypergendered Logic

¬PHSM1. 
It is a positive phenotype-possession mode whose source happens to be a negated whole state. 
Strict deductions from SF2 
Conjunction elimination yields all eight components. 
SF2⇒SF1 
and 
SF2⇒¬SM1. 
SF2 also strictly entails 
SF2⇒PHSF1 
and 
SF2⇒NOT PH(SM1). 
If the profile map specifies 
T∈ΠSF1, 
then SF2 strictly entails possession of T. If the profile map does not specify what ΠSF1 contains, the logic 
may not hallucinate a concrete T. 
17. Canonical SM2 
Symmetrically, 
SM2 = IH(SM1) AND IH(NOT SF1) AND PH(SM1) AND NOT PH(SF1) AND UD(SM1) AND PA(NOT x) AND 
PA(y) AND NOT FD(SM1) 
Therefore 
SM2⇒SM1, 
SM2⇒¬SF1, 
SM2⇒PHSM1, 
and 
SM2⇒NOT PH(SF1). 
18. Negating SF2: De Morgan with eight outer conjuncts 
Because SF2 is an outer conjunction of eight canonical components, NOT SF2 is equivalent by ordinary De 
Morgan reasoning to an eight-way outer disjunction. The negation of the constitutive NOT PH(SM1) conjunct 
becomes positive PH(SM1); it does not become PH(NOT SM1). 
¬SF2 
is equivalent to the disjunction of eight outer negations: 
NOT IH(SF1) OR NOT IH(NOT SM1) OR NOT PH(SF1) OR PH(SM1) OR NOT UD(SF1) OR NOT PA(x) OR 
NOT PA(NOT y) OR FD(SF1). 
No term may be transformed by moving NOT through its operator. In particular, 
NOT PH(SF1) is not equivalent to PH(NOT SF1).

Source Canon: Verbatim mathematical and modal logic. Interactive navigation and operator lookups available at /#hgl-part:18.