“(A->B) is logically equivalent to (~A or B). So the negation of (A->B) is equivalent to (~~A and ~B) which is equivlent to (A and ~B). Replace A and B with p and ~m respectively. Then, the negation of (p->~m) is equivalent to (p and ~(~m)), which is also equivalent to (p and m).”
Dareun Geum via Apple Podcasts ·
United States of America ·
04/25/12