I am confused about how to classify the different question types into formal logic vs. those that use informal logic. For example, would you classify MBT as formal logic because it uses conditionals, but WSE as informal because it uses primarily the spectrum of support? Would other types fall in the middle, like SA, which some answers/questions involve conditionals and the spectrum of support?

.