2.4 假设与逻辑关系