Hypergendered Logic Source

Hypergendered Logic — Page 92

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

10.​ SMn⇒HMk for every k<n. 
11.​
. 
𝐼𝐻𝑆
( ) ⇒𝑆
12.​
. 
𝐼𝐻¬𝑆
(
) ⇒¬𝑆
13.​ SF2⇒PAx because PAx is explicitly a Stage-2 conjunct. 
14.​ SF2⇒PA¬y for the same reason. 
15.​ SM2⇒PAy. 
16.​ SM2⇒PA¬x. 
17.​ dIHstageSFn=n−1. 
18.​ dIHstageSMn=n−1. 
19.​ Every SFn is female-typed by category axiom. 
20.​ Every SMn is male-typed by category axiom. 
158. Twenty non-deductions that remain forbidden 
1.​
SF1⇒PAx by PA monotonicity. 
2.​
SF1⇒PA¬y by PA monotonicity. 
3.​
. 
𝑃𝐴𝑥∧¬𝑦
(
) = 𝑃𝐴𝑥
( ) ∧𝑃𝐴¬𝑦
(
)
4.​
. 
𝐼𝐻¬𝑆
(
) = ¬𝐼𝐻𝑆
( )
5.​
. 
𝑆⇒𝐼𝐻𝑆
( )
6.​
 plus 
 therefore 
. 
𝐼𝐻𝑆
( )
𝑆⇒𝑇
𝐼𝐻𝑇
( )
7.​
 generally. 
𝐼𝐻𝐴∧𝐵
(
) = 𝐼𝐻𝐴
( ) ∧𝐼𝐻𝐵
( )
8.​
 generally. 
𝐼𝐻𝐴∨𝐵
(
) = 𝐼𝐻𝐴
( ) ∨𝐼𝐻𝐵
( )
9.​
 under full state identity. 
𝐼𝐻𝐼𝐻𝑆
( )
(
) = 𝐼𝐻𝑆
( )
10.​ SFn means n× female. 
11.​
SMn means n× male. 
12.​ higher stage means higher sexual maturity. 
13.​ high Archwomanhood means a fixed body shape. 
14.​ high Archmanhood means a fixed body shape. 
15.​ stage stagnation means puberty stops. 
16.​ puberty means stage advances. 
17.​ a visible change proves stage advancement. 
18.​ lack of visible change proves no stage advancement. 
19.​ a surprising Archfemale trait is automatically psychological or conceptual. 
20.​ unlimited finite stages automatically imply a transfinite stage. 
159. Ten causal deductions under example laws 
These are examples of how a completed fictional biology would work. The laws are illustrative, not current 
canon. 
1.​
If IH¬SM2⇒T3, then SF3⇒T3. 
2.​
If IH¬SF2⇒U3, then SM3⇒U3. 
3.​
If IHSF4∧Dadult⇒A, then an adult SF5 subject has A. 
4.​
If PAx∧PA¬y⇒B in Stage 2, then SF2⇒B. 
5.​
If inherited SF1 plus IH¬SM1 causes C, then SF2⇒C. 
6.​
If dIH≥9⇒R under a causal threshold law, then SF10 and SM10 satisfy R unless the law is 
sex-specific. 
7.​
If SF7∧Dmature⇒Q, then Stage 7 alone does not imply Q, but mature Stage 7 does. 
8.​
If SM4 causes a structure that later matures under age law L, the structure’s adult form can be 
deduced from SM4+L+ age antecedent. 
9.​
If a phenotype mechanism is explicitly source-sensitive to IH¬SM12, then SF13 has that causal 
input.

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