Zu a) gibt es kein Gegenbeispiel.
Vielleicht hast du übersehen, dass nicht das Symbol "teilt", sondern das Symbol "teilt nicht" verendet wurde.
Ein Satz "p⇒q" ist genau dann wahr, wenn auch seine Kontraposition "¬q ⇒ ¬p" wahr ist.
Die Kontraposition von a) lautet mit gütiger Hilfe von DeMorgan:
"Wenn a ein Teiler von b und von c ist, ist a auch ein Teiler von 5c-3b" (was übrigens wahr ist).