Hypergendered Logic Source

Hypergendered Logic — Page 61

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

PH rules 
 
𝑃𝐻¬𝑍
(
)≢¬𝑃𝐻𝑍
( ),
 
𝑃𝐻𝐴∧𝐵
(
)≢𝑃𝐻𝐴
( ) ∧𝑃𝐻𝐵
( ),
 
𝑃𝐻𝐴∨𝐵
(
)≢𝑃𝐻𝐴
( ) ∨𝑃𝐻𝐵
( ),
 
𝑃𝐻𝑍
( )≢𝑃𝐴𝑍
( ),   𝑃𝐻𝑍
( )≢𝐼𝐻𝑍
( ).
If 
, then 
𝑇∈Π 𝑍
( )
 
𝑃𝐻𝑍
( ) ⇒𝐻𝑎𝑠𝑇
( ).
Stage 1 
SF1 = PA(x AND NOT y) 
SM1 = PA(NOT x AND y) 
Stage 2 
SF2 = IH(SF1) AND IH(NOT SM1) AND PH(SF1) AND NOT PH(SM1) AND UD(SF1) AND PA(x) AND 
PA(NOT y) AND NOT FD(SF1) 
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) 
Local successor recursion inside a minor hypercategory 
For every finite local successor substage n in the currently discussed minor hypercategory: 
SF^(n+1) = IH(SF^n) AND IH(NOT SM^n) AND PH(SF^n) AND NOT PH(SM^n) AND UD(SF^n) AND NOT 
FD(SF^n), for n >= 2 
SM^(alpha+1) = IH(SM^alpha) AND IH(NOT SF^alpha) AND PH(SM^alpha) AND NOT PH(SF^alpha) AND 
UD(SM^alpha) AND NOT FD(SM^alpha), for every defined ordinal alpha >= 2 
Typing 
FemaleTypeSFn,  MaleTypeSMn n≥1. 
Recursive stage-source depth 
dIHstageSFn=dIHstageSMn=n−1. 
Phenotype-source order 
For 
: 
𝑛≥2
qPHSFn=qPHSMn=n−1. 
Person labels and temporal rule 
An Archfemale is a female-typed person occupying any female Archwomanhood address (Major Stage, 
minor hypercategory, ordinal substage). An Archmale is the male mirror. SF/SM are only the first named 
minor hypercategories of Major Stage 1, not the entirety of Archwomanhood/Archmanhood. 
 
∆𝐴𝑟𝑐ℎ𝑠𝑡𝑎𝑔𝑒= 0 ⇏ ∆𝑊𝑜𝑚𝑎𝑛/𝑀𝑎𝑛𝐷𝑒𝑣𝑒𝑙𝑜𝑝𝑚𝑒𝑛𝑡= 0.
No-new-stage-specific-PH likewise does not entail no-new ordinary female/male phenotype.

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