PREV

• Introduction to the Course ,Propositions, Logical Connectives, Compound propositions ,Translating English to logic and logic to English,
• Logical Equivalences. De Morgan’s laws. Tautologies and Contradictions. Laws of Logic. Conditional propositions.
• Conditional Propositions. Negation, Inverse and Converse of the conditional statements. Contra positive . Bi conditional statements.
• Basic Logic gates Circuits using logic gates Circuits corresponding to Logical Expressions Reductions of circuits
• Circuits using logic gates Boolean Algebra Adders (Half and Full)
• Predicates Set Notation Universal and Existential Statement Translating between formal and informal language Universal conditional Statements
• Statements containing “∀ ” and “∃” Nested Quantifiers Relations Universal Instantiation statement Universal Modus Ponens Universal Modus Tollens
• Nested Quantifiers Relations Universal Instantiation statement Universal Modus Ponens Universal Modus Tollens Quantified form of Converse and Inverse error
• Divisors Prime Numbers Fundamental Theorem of Arithmetic Division Algorithm Greatest common divisors Least Common Multiple
• Rational Number Properties of Rational Numbers Irrational numbers Absolute values Triangular inequality Floor and Ceiling functions
• Properties of Floor and Ceiling Functions Methods of Proof Direct Proofs