Applying laws of logic, Conditional statements, Negation of conditional statement, Invers of conditional statement, Converse of conditional statement, Contrapositive of conditional statement.
Ordered pair, Ordered n-tuple, Cartesian product, Binary relation, Domin and Range of relation, Graph of relation, Arrow diagram of relation, Matrix representation of relation.
Relations and Functions, Function, Arrow diagram of function, Functions and Nonfunctions, Function not well defined, Image of set, Inverse image of set,Binary opration, Not-gate.
Recursively defined set, Recursive definition of Boolean expression, Parenthesis structure, Set of arithmetic expressions, Recursive definition of sum, Recursive definition of union of sets, Recursive definition of intersection of sets.