证实与证伪的逻辑机制