C241 PLTL SESSION – 2/10/2015 More Proofs & More Graphs.

Slides:

Advertisements

Similar presentations

Tutorial 2: First Order Logic and Methods of Proofs

Advertisements

Nested Quantifiers Needed to express statements with multiple variables Example 1: “x+y = y+x for all real numbers”  x  y(x+y = y+x) where the domains.

The Logic of Quantified Statements

1 A formula in predicate logic An atom is a formula. If F is a formula then (~F) is a formula. If F and G are Formulae then (F /\ G), (F \/ G), (F → G),

CS 285- Discrete Mathematics

Think, Think, Think. Algebra I Seminar. How Much Do you Remember? The Coordinate Plane X-axis, Y-axis Slope Y-intercept Ordered Pairs Slope Intercept.

Quadratic Equations From Their Solutions From solutions to factors to final equations (10.3)

C241 PLTL SESSION – 2/22/2015 Graph Theory & Binary Search Trees.

CMSC 250 Discrete Structures Exam #1 Review. 21 June 2007Exam #1 Review2 Symbols & Definitions for Compound Statements pq p  qp  qp  qp  qp  q 11.

Methods of Proof Leo Cheung. A Quick Review Direct proof Proof by contrapositive Proof by contradiction Proof by induction.

C241 PLTL SESSION – 3/3/2015 Relations & Graph Theory.

C241 PLTL SESSION – 3/1/2015 Functions & Relations.

C241 PLTL SESSION – 2/24/2015 Set Theory & Functions.

CS 2210 (22C:019) Discrete Structures Logic and Proof Spring 2015 Sukumar Ghosh.

Warm Up Solve each equation for y. 1. 2x + y = 3 2. –x + 3y = –6

Warm ups Graph completely (with all parts from worksheet)

Exponential Growth & Decay Objective: Be able to graph and find equations of exponential equations. TS: Explicitly assess information and draw conclusions.

Warm-Up Multiply the following: 1) 2) 3) Math II UNIT QUESTION: What methods can be used to find the inverse of a function? Standard: MM2A2, MM2A5 Today’s.

Methods of Proofs PREDICATE LOGIC The “Quantifiers” and are known as predicate quantifiers. " means for all and means there exists. Example 1: If we.

P. 58 #10 – 19 (pick 4) # (pick 6).

Objective - To use the discriminant to determine the number of real solutions for a quadratic. Quadratic FormulaDiscriminant Used to find the roots of.

Warm-Up 1/ C Assignments Questions? H.

First Order Logic Lecture 2: Sep 9. This Lecture Last time we talked about propositional logic, a logic on simple statements. This time we will talk about.

7.4 Solving Polynomial Equations Objectives: Solve polynomial equations. Find the real zeros of polynomial functions and state the multiplicity of each.

Algebra I Pre-AP Objectives: Objectives: By the end of today I will be prepared for the test Warm-Up: Draw a line that has the following slopes: -2/30undefined.

X AND Y INTERCEPTS. INTERCEPT  In a function, an intercept is the point at which the graph of the line crosses an axis.  If it crosses the y-axis it.

Solving quadratic equations by graphing. X Y I x² - 2x = 3 You have to rewrite the equation to find the vertex before you can graph this function Use.

2.3 Graphing Polynomial Functions Objective: I will be able to graph polynomial functions and describe the end behavior.

4-1 Quadratic Functions Unit Objectives: Solve a quadratic equation. Graph/Transform quadratic functions with/without a calculator Identify function.

Warm up Graph completely (with all parts from worksheet),

Sec 7: Finding the Max/Min of a Quadratic Equation Learning Target: I will calculate the maximum or minimum of a quadratic equation and apply it to real-world.

Quadratic Formula 4-7 Today’s Objective: I can use the quadratic formula to solve quadratic equations.

Warm-Up Solve the following Inequalities:

Venn Diagrams Truth Sets & Valid Arguments Truth Sets & Valid Arguments Truth Tables Implications Truth Tables Implications Truth Tables Converse, Inverse,

4.1 Proofs and Counterexamples. Even Odd Numbers Find a property that describes each of the following sets E={…, -4, -2, 0, 2, 4, 6, …} O={…, -3, -1,

Section 5-4(e) Solving quadratic equations by factoring and graphing.

Algebra 2 Notes (9-4) Graphs of Quadratic Functions.

Point-Slope Form Thursday, November 4, Formula y – y 1 = m(x – x 1 ) – y 1 is the y-coordinate – m is the slope – x 1 is the x-coordinate.

2.3 Real and Non Real Roots of a Polynomial Polynomial Identities Secondary Math 3.

Chapter 5.2/Day 3 Solving Quadratic Functions by Graphing Target Goal: 1. Solve quadratic equations by graphing.

6-2 Solving Quadratic Equations by Graphing Objectives: Students will be able to 1)Solve quadratic equations by graphing 2)Estimate solutions of quadratic.

Notes Over 5.6 Quadratic Formula

22C:19 Discrete Structures Logic and Proof Fall 2014 Sukumar Ghosh.

Warm-Up. Slope Slope Objectives: Define slope as the ratio of vertical rise to horizontal run. Determine the slope of a line given a graph. Determine.

Graphing Linear Equations In Standard Form Ax + By = C.

5-5 Indirect Proof. Indirect Reasoning: all possibilities are considered and then all but one are proved false. The remaining possibility must be true.

Warm UP Take a few minutes and write 5 things you remember about the quadratic formula?? Take a few minutes and write 5 things you remember about the quadratic.

September 13, 2011 At the end of today, you will be able to: - Make a graph representation of real life situations and predict results - Use Slope Intercept.

Chapter 1, Part III: Proofs With Question/Answer Animations Copyright © McGraw-Hill Education. All rights reserved. No reproduction or distribution without.

Bellwork 1.Solve the inequality and Graph the solution 2.Write a standard form of equation of the line desired Through ( 3, 4), perpendicular to y = -

Slope Intercept Form. Warm-Up: 1.Complete the rounds activity from Wednesday 2.If you have completed the rounds activity then take the warm.

CSE 20: Discrete Mathematics for Computer Science Prof. Shachar Lovett.

CS 2210:0001 Discrete Structures Logic and Proof

How to Write an Equation of a Line Given TWO points

Writing Linear Equations

Advanced Algorithms Analysis and Design

Argument An argument is a sequence of statements.

Do Now Rewrite the equation 6x - 2y = 8 in slope intercept form. (y = mx + b) What is the equation in slope intercept form? What number represents the.

Solve x2 + 2x + 24 = 0 by completing the square.

Points of intersection of linear graphs an quadratic graphs

Xuan Guo Lab 5 Xuan Guo.

Exercise Use mathematical induction to prove the following formula.

Chapter 1 Logic and Proof.

Straight Lines Objectives:

5.6 – point slope formula Textbook pg. 315 Objective:

Drawing other standard graphs

Chapter 5: Graphs & Functions

1.) What is the value of the discriminant?

Name the quadrant or the axis on which the following points lie.

Presentation transcript:

C241 PLTL SESSION – 2/10/2015 More Proofs & More Graphs

Warm-Up Exercise Grab a worksheet Begin completing the worksheet in pairs or small groups

Problem 1 Using a proof by contraposition, prove that for any quadratic equation, if the values given by the quadratic formula are real, then that equation crosses the x-axis.

Problem 2 Draw the following situation as a graph: Becky likes Jason & Alex, Chris likes Alex & Becky, Alex likes everyone, and Jason hates everyone, (including himself). Apart from Jason, you may assume that everyone likes themselves.

Problem 3 Draw the following situation as a graph, (like the one from class today): In the domain of all people, everyone is mortal. Alex is nice and he trusts everyone, but no one trusts Alex. Ben and Chris trust each other, but only Ben is nice. Also, assume that everyone trusts themselves. (Note: In this context, “everyone” means Alex, Ben, and Chris. Also, think of the truth relation as a two-way street). T(x, y) = x trusts y M(x) = x is mortal N(x) = x is nice

Problem 4 Given the situation drawn above, translate the following into statements of predicate logic, and then assess the truth of each statement: A. Everyone is mortal. B. Everyone is mortal or nice. C. Everyone trusts someone. D. Everyone who is trustworthy is also nice. E. Someone trusts everyone. F. Everyone trusts someone nice, excluding themselves.

Problem 5 Prove the following claim (by contradiction): There are infinitely many primes.

Quantifier Group Work On a spare piece of paper, please write down any questions or issues that you have with quantifiers. In different groups than those you did your worksheets in, discuss the difficulties you’ve been having with quantifiers. Find a problem from the notes or the textbook that you feel addresses your issue and begin completing this problem in your group.