Contrapositive, Converse and Inverse

1.If it's snowing, then the weather must be cold outside.

 weather w, if it's snowing, then w is cold. Formal logical format weather w, if ~(w is cold), then ~(it's snowing).   If it isn't cold outside, then it's not snowing. Contrapositive weather w, if w is cold, then it's snowing.   If it's cold outside, then it must be snowing. Converse weather w, if ~(it's snowing), then ~(w is cold).   If it isn't snowing, then it must not be cold outside. Inverse

2.  If an integer x does not equal 1 or 0, then x2 is greater than x.

 x Z, if x 1 or x 0, then x2 > x. Formal logical format x Z, if ~(x2 > x), then ~(x1 or x0)    or... x Z, if x2 < x, then x = 1 or x = 0.   If x2 < x for some integer x, then x = 1 or x = 0 Contrapositive x Z, if x2 > x, then x1 or x0.   If x2 > x for some integer x, then x is not equal to 1 or 0. Converse x Z, if ~(x1 or x0), then ~(x2 > x).   If an integer x equals 1 or 0, then x2 is less than or equal to x. Inverse

3.  If a student gets caught cheating, he/she will receive a grade of "F".