Statements containing “∀ ” and “∃” Nested Quantifiers Relations Universal Instantiation statement Universal Modus Ponens Universal Modus Tollens
Download Files
Course Material
- 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
- Chapters 11
- Department CS & IT
- Teacher
Mr. Nisar Ahmad
