User:FormalLogician

From WikiProjectMed
Jump to navigation Jump to search

A => B is equivalent to ~B => ~A