... 've taken some formal logic classes in the past and ... ve encountered some areas in formal logic which seem to contradict ... a valid inference (contraposition). In formal logic, however, this is not ... else that has studied formal logic deeply and successfully ...