321 Section, 2-7 Natalie Linnell.

Slides:



Advertisements
Similar presentations
PROOF BY CONTRADICTION
Advertisements

Review for CS1050. Review Questions Without using truth tables, prove that  (p  q)   q is a tautology. Prove that the sum of an even integer and an.
Chapter 3 Elementary Number Theory and Methods of Proof.
1 In this lecture  Number Theory ● Rational numbers ● Divisibility  Proofs ● Direct proofs (cont.) ● Common mistakes in proofs ● Disproof by counterexample.
Copyright © Cengage Learning. All rights reserved. CHAPTER 5 SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION.
22C:19 Discrete Structures Logic and Proof Spring 2014 Sukumar Ghosh.
1 Discrete Structures CS Johnnie Baker Comments on Early Term Test.
CSE115/ENGR160 Discrete Mathematics 01/31/12 Ming-Hsuan Yang UC Merced 1.
CSE115/ENGR160 Discrete Mathematics 02/01/11
So far we have learned about:
Copyright © Zeph Grunschlag,
Methods of Proof Leo Cheung. A Quick Review Direct proof Proof by contrapositive Proof by contradiction Proof by induction.
Introduction to Proofs ch. 1.6, pg. 87,93 Muhammad Arief download dari
Introduction to Proofs Goals 1.Introduce notion of proof & basic proof methods. 2.Distinguish between correct & incorrect arguments 3.Understand & construct.
Methods of Proof Lecture 4: Sep 16 (chapter 3 of the book)
Rosen 1.6. Approaches to Proofs Membership tables (similar to truth tables) Convert to a problem in propositional logic, prove, then convert back Use.
Adapted from Discrete Math
CS 2210 (22C:019) Discrete Structures Logic and Proof Spring 2015 Sukumar Ghosh.
Methods of Proof & Proof Strategies
Introduction to Proofs
CORE 1 proof. What is Mathematical Proof? The process of starting with an assumption, or a statement which is given, and, by using logical argument, arriving.
Methods of Proof. This Lecture Now we have learnt the basics in logic. We are going to apply the logical rules in proving mathematical theorems. Direct.
CS 173, Lecture B August 27, 2015 Tandy Warnow. Proofs You want to prove that some statement A is true. You can try to prove it directly, or you can prove.
CSE 20: Discrete Mathematics for Computer Science Prof. Shachar Lovett.
1 Sections 1.5 & 3.1 Methods of Proof / Proof Strategy.
1 Math/CSE 1019C: Discrete Mathematics for Computer Science Fall 2011 Suprakash Datta Office: CSEB 3043 Phone: ext
Methods of Proof Lecture 3: Sep 9. This Lecture Now we have learnt the basics in logic. We are going to apply the logical rules in proving mathematical.
1 Discrete Structures – CNS2300 Text Discrete Mathematics and Its Applications Kenneth H. Rosen (5 th Edition) Chapter 3 The Foundations: Logic and Proof,
Method of proofs.  Consider the statements: “Humans have two eyes”  It implies the “universal quantification”  If a is a Human then a has two eyes.
22C:19 Discrete Structures Logic and Proof Fall 2014 Sukumar Ghosh.
321 Section Natalie Linnell. The importance of domains Domain is part of the function definition A predicate is a function from some domain to {T,F} If.
Methods of Proof – Page 1CSCI 1900 – Discrete Structures CSCI 1900 Discrete Structures Methods of Proof Reading: Kolman, Section 2.3.
Introduction to Proofs
Section 1.7. Definitions A theorem is a statement that can be shown to be true using: definitions other theorems axioms (statements which are given as.
Direct Proof and Counterexample I Lecture 11 Section 3.1 Fri, Jan 28, 2005.
Lecture 10 Methods of Proof CSCI – 1900 Mathematics for Computer Science Fall 2014 Bill Pine.
Lecture 1.5: Proof Techniques CS 250, Discrete Structures, Fall 2012 Nitesh Saxena Adopted from previous lectures by Cinda Heeren 1.
Methods of Proof Lecture 4: Sep 20 (chapter 3 of the book, except 3.5 and 3.8)
CS 173, Lecture B August 27, 2015 Tandy Warnow. Proofs You want to prove that some statement A is true. You can try to prove it directly, or you can prove.
Lecture 34 Section 6.7 Wed, Mar 28, 2007
Mathematical Induction. The Principle of Mathematical Induction Let S n be a statement involving the positive integer n. If 1.S 1 is true, and 2.the truth.
Introduction to Proofs Goals 1.Introduce notion of proof & basic proof methods. 2.Distinguish between correct & incorrect arguments 3.Understand & construct.
Lecture 1.5: Proof Techniques
Chapter 1 Logic and Proof.
CS 2210:0001 Discrete Structures Logic and Proof
Introduction to Deductive Proofs
CSE15 Discrete Mathematics 02/01/17
Chapter 4 (Part 1): Induction & Recursion
Direct Proof and Counterexample II
Methods of proof Section 1.6 & 1.7 Wednesday, June 20, 2018
Lecture 1.5: Proof Techniques
How do you compare and use the properties of real numbers?
Predicate Calculus Validity
Methods of Proof A mathematical theorem is usually of the form pq
CSE 20: Discrete Mathematics for Computer Science Prof. Shachar Lovett
Direct Proof and Counterexample I
Direct Proof and Counterexample I
CS201: Data Structures and Discrete Mathematics I
CS 220: Discrete Structures and their Applications
CS 220: Discrete Structures and their Applications
Discrete Mathematics Lecture # 8.
Section 16 Inclusion/Exclusion
Follow me for a walk through...
Introduction to Proofs
Follow me for a walk through...
Clements MAΘ October 30th, 2014
A THREE-BALL GAME.
Agenda Proofs (Konsep Pembuktian) Direct Proofs & Counterexamples
Proof: [We take the negation and suppose it to be true.]
Introduction to Proofs
Presentation transcript:

321 Section, 2-7 Natalie Linnell

Prove or disprove that if a, b, c are positive integers and a|bc then a|b or a|c

How many zeros are there at the end of 100!

Prove that if n is an odd positive integer, then n2  1 (mod 8)

Use Fermat’s Little Theorem to compute 3302 mod 5

Prove that if p is prime, and x2 = 1 (mod p) then x  1 (mod p) or x  (p-1) (mod p)

Prove that if m and n are both perfect squares, then nm is a perfect square What kind of proof did you do?

Prove that if 3n+2 is odd, then n is odd What kind of proof did you do?

Show that the following is a tautology using a truth table ((r→ (p v q)) → (p →(r →q))

Let D(x,y) mean “team x defeated team y” and P(x,y) mean “team x has played team y” Every team has lost at least one game. There is a team that has beaten every team it has played.

True or false: a  b (mod m), and b  c (mod m) implies that a2  bc (mod m)

Is the argument correct? Why? Every computer science major takes discrete mathematics. Natasha is taking discrete mathematics. Therefore, Natasha is a computer science major. Everyone who eats granola every day is healthy. Linda is not healthy. Therefore, Linda does not eat granola every day.

Show that ((p  q)  p)  q is a tautology using logical equivalences