
In this lecture, we introduce the notions of a statement, statement variables, the negation symbol, and a truth-table.
Students will be introduced to the building blocks of logic.
The logical symbols of conjunction and disjunction are introduced.
Students will learn how to evaluate the truth-value of statements involving conjunction and disjunction.
The conditional symbol and the biconditional symbol are introduced.
Students will learn how to evaluate the truth-values of conditional and biconditional statements.
The notion of a statement form is introduced.
Students will learn how to find the truth-tables for statement forms.
The notion of logical equivalence is introduced.
Students will learn how to show that two statement forms are logically equivalent and how to show that two statement forms are not logically equivalent.
In this lecture, the notion of a tautology and the notion of a contradiction are introduced.
Students will learn how to prove logical equivalences involving tautologies and contradictions.
In this lecture, we will look at a list of logical equivalences that can be used to prove other logical equivalences. We will also learn about the contrapositive of a conditional statement.
Students will learn how to use the laws in the list of logical equivalences to prove other logical equivalences.
In this lecture, the notions of argument, argument form, and validity are introduced.
Students will learn how to prove that an argument form is valid and how to prove that an argument form is invalid.
The notion of a rule of inference is introduced.
Students will learn about some important rules of inference.
In this lecture, we go through a list of rules of inference and apply them in constructing arguments.
Students will learn how to construct arguments using rules of inference.
In this lecture, we introduce the notions of a predicate symbol, a variable, constant symbols, predicates, the domain of a variable, and the truth-set of a predicate.
Students will be introduced to the building blocks of predicate logic.
Students will learn how to find the truth-set of a predicate.
The universal quantifier symbol is introduced.
Students will learn how to prove and disprove statements involving the universal quantifier.
The existential quantifier symbol is introduced.
Students will learn how to prove and disprove statements involving the existential quantifier.
The notion of a universal conditional statement is introduced.
Students will learn how to prove and disprove universal conditional statements.
Students will learn how to find the negation of a quantified statement.
Students are introduced to statements involving multiple quantifiers.
Students will learn how negations of multiply-quantified statements work.
The rules of inference universal instantiation, universal modus ponens, universal modus tollens, and universal generalization are introduced.
Students will learn how rules of inference involving the universal quantifier work.
The rules of inference existential instantiation and existential generalization are introduced.
Students will learn how rules of inference involving the existential quantifier work.
Students will learn how to construct arguments using rules of inference involving quantifiers.
Students will be able to prove existential statements by providing an example. Students will also learn how to disprove universal statements by providing a counter-example.
Students will learn how to prove universal statements by using the method of exhaustion and by using the method of direct proof.
Students will be able to perform proofs by contradiction.
Students will be able to perform proofs by contraposition.
Students will be able to construct proofs using mathematical induction.
Students will be able to construct proofs using strong induction.
An example of a proof by strong induction is provided.
An additional example of a proof by strong induction is provided.
-------------------------------------------------------------------------------------------------------------------
The prerequisite to the course Discrete Mathematics: Open Doors to Great Careers 2.
-------------------------------------------------------------------------------------------------------------------
Would you like to learn a mathematics subject that is crucial for many high-demand lucrative career fields such as:
If you're looking to gain a solid foundation in Discrete Mathematics, allowing you to study on your own schedule at a fraction of the cost it would take at a traditional university, to further your career goals, this online course is for you. If you're a working professional needing a refresher on discrete mathematics or a complete beginner who needs to learn Discrete Mathematics for the first time, this online course is for you.
Why you should take this online course: You need to refresh your knowledge of discrete mathematics for your career to earn a higher salary. You need to learn discrete mathematics because it is a required mathematical subject for your chosen career field such as computer science or electrical engineering. You intend to pursue a masters degree or PhD, and discrete mathematics is a required or recommended subject.
Why you should choose this instructor: I earned my PhD in Mathematics from the University of California, Riverside. I have extensive teaching experience: 6 years as a teaching assistant at University of California, Riverside, four years as a faculty member at Western Governors University, #1 in secondary education by the National Council on Teacher Quality, and as a faculty member at Trident University International.
In this course, I cover core topics such as:
After taking this course, you will feel CARE-FREE AND CONFIDENT. I will break it all down into bite-sized no-brainer chunks. I explain each definition and go through each example STEP BY STEP so that you understand each topic clearly. I will also be AVAILABLE TO ANSWER ANY QUESTIONS you might have on the lecture material or any other questions you are struggling with.
Practice problems are provided for you, and detailed solutions are also provided to check your understanding.
30 day full refund if not satisfied.
Grab a cup of coffee and start listening to the first lecture. I, and your peers, are here to help. We're waiting for your insights and questions! Enroll now!