数理逻辑中离散有关内容~包括基本的真假概念,及与或非操作等