@dysfun@treehouse.systems I have mixed feelings on this. I don't think that *any* forced curriculum should exist in schools (it doesn't really make any sense from a didactic perspective), but *if* we're gonna have such an educational system instead of one that genuinely guides people to what they need, then this would probably be one of the most useful things to put in there, yes.
@dysfun@treehouse.systems (I actually *sort of* got this in school, briefly, as an elective class; it was about "formal logic", which kinda did statement decomposition as a side-effect of reasoning about logic)