Category:Mistakes/Logic in Computer Science