From what I remember, her class involved a lot of logical proofs using propositional logic, but in the form of word problems, not logical statements. I.e., if

From what I remember, her class involved a lot of logical proofs using propositional logic, but in the form of word problems, not logical statements. I.e., if Bob is larger than Alice, then... instead of P -> Q. They also discussed probabilities, but I'm not sure to what degree. Those two topics are discussed in entry level CS courses as well. So I assumed that the fields might be semi-related if they require the same mathematical foundations.