06:4506:45, 3 March 2019diffhist−16
m
Injective function
→Definition: the double arrow use modus ponens in logic, but the single arrow doesn't, that means the double arrow is used when we assume the hypotheis is correct,but single arrow doesn't
06:4506:45, 3 March 2019diffhist−16
m
Injective function
→Definition: the double arrow use modus ponens in logic, but the single arrow doesn't, that means the double arrow is used when we assume the hypotheis is correct,but single arrow doesn't