Loading Revision Notes. Please Wait, it may take upto a minute
Normal Forms, DNF, CNF, Valid Argument, Rules Of Inference, Example, and related Topics.
Proposition, Primitive Statement, Compund Propositions, Negations, Conjunction, Disjunction, Inplication, Biconditional, Truth Table, and other topics.
Truth Table for any Proposition, Tautology, Contradiction, Logical Equivalence, Implication: Contrapositive / Converse / Inverse, Laws of Equivalence, Example, and other topics.
Normal Forms, DNF, CNF, Valid Argument, Rules Of Inference, Example, and other topics.
Predicates, Universal Quantifier, Existential Quantifier, Example, Negation of Quantified Statement, Inference Rule for Quantifiers, Example, and other topics.
Mathematical Induction, Examples, and other topics.
Inverse of an Element, Group, Abelian Group, Order of a Group, Order of An element, Cyclic Group, Product Group, Properties of a Group, Sub-Group, Cosets, Properties of a Coset, and other topics.
Introduction, n-ary operation, Algeraic System, Binary Operations, Semi-Group, Residue Class Modulo n, Identity, Monoid, and other topics.
Properties of Cosets (contd...), Lagrange's Theorem, Normal Subgroup, Qotient Group, Group Homomorphism, Group Automorphism, Group Isomorphism, and other topics.