Logicmedium
0:00.0

A student claims that 'If a number is divisible by 6, it is divisible by 3.' They then claim that 'If a number is not divisible by 3, it is not divisible by 6.' What logical principle allows this inference?