50 likes | 63 Views
Learn the fundamentals of logic statements, truth tables, logical equivalences, rules of inferences, mathematical proofs, set theory, and set identities. Enhance your skills in verifying validity of arguments, making logical conclusions, and proving theorems.
E N D
Discrete StructuresCS 23022 Johnnie Baker jbaker@cs.kent.edu Comments on Early Term Test
Comments on Early Term Exam • Know truth tables for the basic constructs: and, or, implies, equivalence, exclusive or, biconditional, etc. • Be able to calculate the truth table for compound statements. • Understand standard terminology: contrapositive, converse, tautology, contridiction, • Know the various logical equivalences: See Table 6-8 in section 1.2 • Know meaning and equivalences involving and (universal quanifiers.) and how to negate these quantifiers. • Be able to translate logic statements into English statements without variables and symbols. Conversely, be able to translate English statements into logic statements. • Be able to verify correctness of reasoning involving logic statements. • Also, be able to deduce conclusions from logic statements
Be able to negate nested quantifiers. • Understand terminology like argument, valid, premises, fallacies, etc. • Know and be able to use the various rules of inferences, such as those in Table 1 on pg 66. • Be able to use the rules of inference to make logical arguments, as in Section 1.5. • Look over added, suggested study odd-nr problems for Section 1.5, as no assignment was made for this section: 3,9,13,15,19,23,27,29,31. • Understand how to work with universal and exitential generalizations and instantiations. • Be able to verify validity of arguments and make arguments involving these concepts. • In section 1.6, understand the terminology concerning mathematical proofs such as theorems, axioms/postulates, proof, etc.
In Section 1.6, understand the various methods of proving theorems. • Be able to use the various methods for proving theorems to establish correctness of mathematical statements. • Also, be able to identify errors in the proof of mathematical or logic arguments. • Be able to establish show a mathematical statement is false using a counterexample. • Understand mathematical terminology introduced in material covered, such as integer, rational, irrational, odd, even, • Know the difference between constructive and non-constructive proofs.
Sets • Understand set terminology such as set builder notation, and be able to use it. • Know meaning of standard sets like N, Z, Q, R, • Understand standard set theory terminology, e.g., element, subset, cartesian product, universal set, set difference, etc. • Know standard set operations and be able to use them. • Know the standard set identities such as Table 1 on pg 124. • Be able to prove set identities such as (AB)’ = A’ B’, and give reasons for all steps. • Be able to use a truth table to establish set identities.