Hypergendered Logic Source

Hypergendered Logic — Page 19

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

19. Negating SM2 
Likewise, 
NOT SM2 = NOT IH(SM1) OR NOT IH(NOT SF1) OR NOT PH(SM1) OR PH(SF1) OR NOT UD(SM1) OR 
NOT PA(NOT x) OR NOT PA(y) OR FD(SM1) 
This outer non-SM2 state can itself become an IH source and a PH source at Stage 3 without any need for 
nested PA. 
20. The five-way distinction for any source S 
For a state , HGL now distinguishes at minimum: 
𝑆
 
𝑆,
 
¬𝑆,
 
𝐼𝐻𝑆
( ),
 
𝐼𝐻¬𝑆
(
),
 
𝑃𝐻𝑆
( ),
and 
 
𝑃𝐻¬𝑆
(
).
In addition, 
 
¬𝐼𝐻𝑆
( )
and 
 
¬𝑃𝐻𝑆
( )
are different again. 
A fluent explanation that collapses any of these without an explicit axiom is formally wrong. 
Part VI — Third-order Suprafemale and Supramale under IH + PH 
21. Canonical SF3 
The third Suprafemale stage is 
SF3 = IH(SF2) AND IH(NOT SM2) AND PH(SF2) AND NOT PH(SM2) AND UD(SF2) AND NOT FD(SF2) 
This is the first stage at which the entire previous Stage-2 whole becomes both an inheritance source and a 
whole-state phenotype source. 
Lay translation: 
Stage 3 keeps Stage 2 by inheritance, inherits the structured non-state of the opposite Stage 2, 
possesses both corresponding whole-state phenotype-profiles, treats both sources as Unflaws, 
and explicitly preserves NOT FD of its own-side predecessor. The male side is exact 
mirror-symmetry. 
Strict deductions 
SF3⇒IHSF2⇒SF2⇒SF1. 
Also,

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