Admittedly, my exposure was brief and I certainly don't know the notation by any name, but the logic courses used drastically different notation from what I was

Admittedly, my exposure was brief and I certainly don't know the notation by any name, but the logic courses used drastically different notation from what I was used to in my math classes. Some of the symbols were the same, sometimes they had the same meanings, sometimes not. Often there were different symbols entirely.