"The truths of mathematics would be the same, because they're true by definition" means that "(x => y) AND x" means y is true based on the definition of => and AND. There's no "philosophy" behind this.
I cannot fathom such a civilization not having discovered Boolean logic.
To put it differently, do you think such an advanced civilization would not be able to do something as simple as calculus, which would be far more advanced than manipulating a basic truth table? They almost certainly won't do it in any language that we understand on Earth, but they'll be manipulating and reasoning about the same concepts.