А с математикой у нее как?
Это все-таки логика, то есть требует математической логики.
И выучить кучу значков.

Например, есть утверждение А = "ты мама"
Есть утверждение "не А". Оно же -А. Значок "минус" тут как отрицание. А еще может быть этот минус сверху буквы. Все это - просто разные записи отрицания "не".
Утверждение "не А" означает "ты не мама"
А утверждение не (не А) эквивалентно А. То есть "ты не (не мама)" = "ты мама".

И вот всю эту ерунду надо крутить в голове.
Если у нее с логикой хорошо, то можно объяснить быстро. Если плохо, то надо отрабатывать каждую формулу по часу на массе примеров.
Могу попытаться