論理へのアプローチ――真偽と対応