I remember taking three classes: informal logic (philosophy) which ended up talking about formal logic anyway, electrical engineering, and a math class. It make the logic class really easy, already knowing it from EE. They all had different notation for 'implies', 'not', 'and', 'or', etc. You could argue that the computer languages have a 4th notation, but I won't.