Here we get to the heart of traditional logic: the ability to learn what we don’t know from things we already do know, even things we know to be false. We do this through propositions of equivalence and opposition.