Hypergendered Logic Source

Hypergendered Logic — Page 113

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

3.​
Corrected status: SM1 has no constitutive PH term. PH(SM1) is a strict Stage-2 conjunct and 
therefore a deduction from SM2, not from SM1 alone. 
4.​
Corrected status: SM1 has no constitutive PH term. PH(SM1) is a strict Stage-2 conjunct and 
therefore a deduction from SM2, not from SM1 alone. 
5.​
SF2 possesses PHSF1 — LD. 
6.​
SF2 satisfies NOT PH(SM1) — LD. 
7.​
SM2 possesses PHSM1 — LD. 
8.​
SM2 satisfies NOT PH(SF1) — LD. 
9.​
SF3 possesses PHSF2 — LD. 
10.​ SF3 satisfies NOT PH(SM2) — LD. 
11.​
SM3 possesses PHSM2 — LD. 
12.​ SM3 satisfies NOT PH(SF2) — LD. 
13.​ PH(NOT SM1) = NOT PH(SM1) — NO, explicitly false as a general identity. 
14.​
 — NO. 
𝑃𝐻𝑥∧¬𝑦
(
) = 𝑃𝐻𝑥
( ) ∧𝑃𝐻¬𝑦
(
)
15.​
 — NO. 
𝑃𝐻¬𝑥
(
) = 𝑃𝐴¬𝑥
(
)
16.​ SF2 must have the concrete trait T if T∈ΠSF1 — LD. 
17.​ SF2 must have a larger breast size — NO unless profile law says so. 
18.​ SF2 can have a novel microtissue arising from ΠSF1 — CI. 
19.​ SF2 can have a phenotype causally dependent on inherited NOT-SM1 structure — CI; a phenotype 
uniquely sourced from Profile(NOT SM1) would require a separate PH(NOT SM1) law. 
20.​ SF2 can have an interaction phenotype involving PH(SF1), inherited NOT-SM1 structure, and 
opposite-profile exclusion — CI; current canon does not give SF2 two positive whole-state PH 
sources. 
21.​ SF3 can have a trait whose immediate phenotype source is SF2 as a whole — CI. 
22.​ SF3 can have a trait whose immediate phenotype source is non-SM2 as a whole — CI. 
23.​ SF4 can have a phenotype that depends on a Stage-3 whole-state phenotype — CI. 
24.​ SF10 can share many externally ordinary-looking traits while differing microscopically — CI; it is not 
canonically permitted to be wholly devoid of stage-governed macroscopic/outward expression. 
25.​ SF10 must look more stereotypically feminine — NO. 
26.​ SM10 must look more stereotypically masculine — NO. 
27.​ SF20 must be taller — NO. 
28.​ SM20 must be stronger — NO. 
29.​ SF20 can have a new female-directed vascular architecture — CI. 
30.​ SM20 can have a new male-directed vascular architecture — CI. 
31.​ SF30 can have a new endocrine timing relation — CI. 
32.​ SM30 can have a new endocrine timing relation — CI. 
33.​ SF30 automatically has higher estrogen — NO. 
34.​ SM30 automatically has higher testosterone — NO. 
35.​ SF40 can have an emergent tissue-repair phenotype — CI. 
36.​ SM40 can have an emergent tissue-repair phenotype — CI. 
37.​ SF50 can possess the whole phenotype-profile of SF49 — LD. 
38.​ SM50 can possess the whole phenotype-profile of SM49 — LD. 
39.​ SF50 possesses the phenotype-profile of not-SM49 — LD. 
40.​ SM50 possesses the phenotype-profile of not-SF49 — LD. 
41.​ SF50 must have 49 new organs — NO. 
42.​ SM50 must have 49 new organs — NO. 
43.​ SF60 can develop a stage-conditional organ only during adult maturity — CI/CD if law added. 
44.​ SM60 can develop a stage-conditional organ only during adult maturity — CI/CD if law added. 
45.​ Static SF5 can coexist with ongoing female puberty — LD as compatibility/non-entailment; concrete 
result CI.

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