Logic Statements, Symbols - Discrete Mathematics