Logic Discrete Structures