Study Guides (380,000)
US (220,000)
MATH (20)
All (4)
Midterm

MATH 215 Ball State Review2Exam


Department
Mathematical Sciences
Course Code
MATH 215
Professor
All
Study Guide
Midterm

This preview shows half of the first page. to view the full 1 pages of the document.
Maths 215 Exam I Review Sheet
READ THE BOOK. Re-read every section of the cov-
ered material.
Re-do all the homework problems (don’t just look over
your old solutions).
Know the following terms and symbols and how they
are used.
Statement/proposition
Free variable
Five main logical connectives
Truth tables
Logical equivalence
Converse
Contrapositive
Propositional Calculus
Tautology
Contradiction
Contingency
Proof sequence
Reversible proof sequence
Predicates
Universal quantier
Existential quantier
Quantied statement
Scope of a quantier
Universal negation
Existential negation
Denitions
Axioms/Postulates
Counterexample
Axiomatic system
Model
Direct proof and its structure
Proof by contrapositive and its structure
Proof by contradiction and its structure
Know by name and be able to prove the Equivalence
Rules:
Double Negation
Implication
DeMorgan’s Laws
Commutativity
Associativity
Know by name and be able to prove the Inference
Rules:
Conjunction
Modus Ponens
Modus Tollens
Simplification
Addition
Be prepared for a problem like on the handout “In
Class Green Hair Taller Example.”
You're Reading a Preview

Unlock to view full version