Hypergendered Logic Source

Hypergendered Logic — Page 162

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

12.​ SF4 subject. Inheritance depth 3. 
13.​ SM4 subject. Inheritance depth 3. 
14.​ SF10 subject. Inheritance depth 9. 
15.​ SF100 subject. Inheritance depth 99. 
16.​ SM100 subject. Inheritance depth 99. 
17.​ SF5 visually resembles SF2. Possible. 
18.​ SF5 and SF4 may overlap heavily in visible phenotype while the additional SF5 novelty is mainly 
microscopic. Possible. Under the Macroscopic Manifestation Axiom SF5 still has at least some 
stage-governed macro/outward expression; the point is that the newly diagnostic difference need not 
be wholly visible. 
19.​ SF5 has a major external difference. Possible but not required. 
20.​ SF5 has more estrogen by definition. False. 
21.​ SM5 has more testosterone by definition. False. 
22.​ SF5 has more stereotypical femininity by definition. False. 
23.​ SM5 has more stereotypical masculinity by definition. False. 
24.​ SF5 is 500% female. False. 
25.​ SM5 is 500% male. False. 
26.​ SF5 is female-typed. True. 
27.​ SM5 is male-typed. True. 
28.​ SF5 implies SF4. True. 
29.​ SM5 implies SM4. True. 
30.​ SF5 implies NOT SM4. True. 
31.​ SM5 implies NOT SF4. True. 
32.​ IH(SF4) implies SF4. True. 
33.​ SF4 implies IH(SF4). Not generally. 
34.​ IH(SF4) and SF4 implies SF3, therefore IH(SF3). Invalid; only SF3 follows. 
35.​ IH(PA(x AND NOT y)) splits into two inherited PA routes. Invalid. 
36.​ PA(NOT(x AND y)) can use De Morgan inside. Yes. 
37.​ NOT PA(x AND y) can become PA(NOT x OR NOT y). Invalid; NOT cannot cross PA. 
38.​ NOT IH(S) can become IH(NOT S). Invalid. 
39.​ IH(NOT S) projects to NOT S. Valid. 
40.​ IH(IH(S)) projects to S. Valid by two projection steps. 
41.​ IH(IH(S)) is the same full state as IH(S). No. 
42.​ PA(PA(x)) is used at SF4. No; ill-typed in core HGL. 
43.​ IH(PA(x)) is legal. Yes. 
44.​ IH(IH(PA(x))) is legal. Yes. 
45.​ SF7 child is sexually mature because stage is high. Not deducible. 
46.​ SF2 adult is less mature because stage is low. Not deducible. 
47.​ SF7 stays SF7 for ten years and matures. Consistent. 
48.​ SM7 stays SM7 for ten years and matures. Consistent. 
49.​ Stage plateau means no phenotype change. False. 
50.​ Phenotype change means stage advanced. False. 
51.​ A visible stage marker could exist. Possible if a causal law specifies it. 
52.​ Every stage must have a visible marker. Not deduced. 
53.​ SF20 has a hidden tissue. Possible, not deduced. 
54.​ SM20 has a hidden tissue. Possible, not deduced. 
55.​ SF20 changes only regulation. Possible. 
56.​ SM20 changes only regulation. Possible. 
57.​ SF20 changes only anatomy. Possible under a suitable map. 
58.​ SF20 changes neither immediately because effects are latent. Possible.

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