... 've taken some formal logic classes in the past and am familiar ... , I've encountered some areas in formal logic which seem to ... is P) can be diagrammed in lawgic S ---> ~P. This ... is a valid inference (contraposition). In formal logic, however, this is ...