4 ms·A then B, ~A then ~B?by Horffupolde 3y agoA then B, ~A then ~B?bee_rider 3y agoAll computer science is performed in valid proofs, and as this is Hackernews you know it is not computer science, and therefore done in fallacies. qed