3 ms·...is taken as true but is a really lousy principle for modelling informal reasoning.by chalst 4y ago...is taken as true but is a really lousy principle for modelling informal reasoning.gpderetta 4y agoCompilers and compiler writers don't rely on informal reasoning when deciding whether an optimization is validchalst 4y agoThis can be modelled formally: just drop the ex falso quodlibet axiom and its equivalents.