Does the statement " If you get an A, then you can eat ice cream" logically concludes that "if you dontdon't get an A then you can not eat Iceice cream"?? Why doesntdoesn't it work mathematically? Because P-->Q and not P --> not Q dontdon't have the same truth table.