1. (x) Ax > ( ∃ x) Bx 2. (x) ~Bx / ( ∃ x) ~Ax CQ of conclusion: ~(x) Ax CQ of line 2: ~ ( ∃ x) Bx 3. ~( ∃ x) Bx 4. ~(x) Ax.

Slides:



Advertisements
Similar presentations
ax2 + bx + c 2x2 + 11x + 5 ac 2(5) = b =11 ( ) 2x2 + 10x + 1x
Advertisements

Warm up Write the equation of the line passing through the given point with the given slope. Then graph the line. 1. (-4, -3), m = 2. (8, 2), m =
Factoring Trinomials When a 1.
Whether it rains, Whether it pours, Wherever I go,
5.7.1 Ax + By = C Form (standard form)
Slide 1 Insert your own content. Slide 2 Insert your own content.
1 Copyright © 2010, Elsevier Inc. All rights Reserved Fig 3.1 Chapter 3.
1 Chapter 58 - Clinical Syndromes of Metabolic Alkalosis Copyright © 2013 Elsevier Inc. All rights reserved.
1 Copyright © 2013 Elsevier Inc. All rights reserved. Chapter 14.
Quest ion 1? A.) answer B.) answer C.) correct answerD.) answer L C.) correct answer F.
Combining Like Terms. Only combine terms that are exactly the same!! Whats the same mean? –If numbers have a variable, then you can combine only ones.
5.1 Modeling Data with Quadratic Functions. Quadratic Function: f(x) = ax 2 + bx + c a cannot = 0.
0 - 0.
DIVIDING INTEGERS 1. IF THE SIGNS ARE THE SAME THE ANSWER IS POSITIVE 2. IF THE SIGNS ARE DIFFERENT THE ANSWER IS NEGATIVE.
ADDING INTEGERS 1. POS. + POS. = POS. 2. NEG. + NEG. = NEG. 3. POS. + NEG. OR NEG. + POS. SUBTRACT TAKE SIGN OF BIGGER ABSOLUTE VALUE.
SUBTRACTING INTEGERS 1. CHANGE THE SUBTRACTION SIGN TO ADDITION
MULT. INTEGERS 1. IF THE SIGNS ARE THE SAME THE ANSWER IS POSITIVE 2. IF THE SIGNS ARE DIFFERENT THE ANSWER IS NEGATIVE.
FACTORING Think Distributive property backwards Work down, Show all steps ax + ay = a(x + y)
FACTORING ax2 + bx + c Think “unfoil” Work down, Show all steps.
Teacher Name Class / Subject Date A:B: Write an answer here #1 Write your question Here C:D: Write an answer here.
Addition Facts
CS4026 Formal Models of Computation Running Haskell Programs – power.
Empty Box Problems Subtraction = 3 If you start on 6 and jump back 3 spaces you land on
Factoring Trinomials When a=1 ALWAYS check for GCF first! Factor trinomials in the standard form ax²+ bx + c Solve equations in the standard form ax²+
An equation for which the graph is a line Any ordered pair of numbers that makes a linear equation true. (9,0) IS ONE SOLUTION FOR Y = X - 9.
O X Click on Number next to person for a question.
© S Haughton more than 3?
5.9 + = 10 a)3.6 b)4.1 c)5.3 Question 1: Good Answer!! Well Done!! = 10 Question 1:
Difference, Product and Quotient Functions
1 Directed Depth First Search Adjacency Lists A: F G B: A H C: A D D: C F E: C D G F: E: G: : H: B: I: H: F A B C G D E H I.
Factor P 16 8(8-5ab) 4(d² + 4) 3rs(2r – s) 15cd(1 + 2cd) 8(4a² + 3b²)
Factoring Trinomials ax 2 + bx + c (a > 1)  Model the following by drawing rectangles with the given areas.  Label the sides.  Factor the area/polynomial.
Past Tense Probe. Past Tense Probe Past Tense Probe – Practice 1.
Solving Absolute Value Equations Solving Absolute Value Equations
Limits (Algebraic) Calculus Fall, What can we do with limits?
10-6 Solving Quadratic Equations by Factoring
Properties of Exponents
Proofs using all 18 rules, from Hurley 9th ed. pp Q > (F > A) 2. R > (A > F) 3. Q ∙ R / F ≡ A (J ∙ R) > H 2. (R > H) > M 3. ~(P v.
Factoring ax2+bx +c ax2+bx +c
Addition 1’s to 20.
25 seconds left…...
Test B, 100 Subtraction Facts
U1B L2 Reviewing Linear Functions
9-6 X-box Factoring ax 2 +bx+c. X-box Factoring This is a guaranteed method for factoring quadratic equations—no guessing necessary! We will learn how.
Click your mouse to move the card ahead! Work with a buddy using two Abacuses. First click and follow along using your abacus. After each click talk about.
11 = This is the fact family. You say: 8+3=11 and 3+8=11
Week 1.
Bottoms Up Factoring. Start with the X-box 3-9 Product Sum
O X Click on Number next to person for a question.
X-box Factoring. X- Box 3-9 Product Sum Factor the x-box way Example: Factor 3x 2 -13x (3)(-10)= x 2x 3x 2 x-5 3x +2.
Use addition to eliminate a variable
8.3 – Factoring Trinomials: x 2 + bx + c. Recall: Simplify (x + 2)(x + 3).
Proofs in Predicate Logic A rule of inference applies only if the main operator of the line is the right main operator. So if the line is a simple statement,
Linear Discriminant x2x2 x1x1 class 1 class 2 g 1 (x|w 1 )= w 10 + w 11 x 1 + w 12 x 2 e.g.: 1 - 5x 1 + 4x 2 (5,7) (8,7)
6.5 – Solving Equations with Quadratic Techniques.
Proofs in Predicate Logic A rule of inference applies only if the main operator of the line is the right main operator. So if the line is a simple statement,
DeMorgan’s Rule DM ~(p v q) :: (~p. ~q)“neither…nor…” is the same as “not the one and not the other” ~( p. q) :: (~p v ~q) “not both…” is the same as “either.
Quadratics Solving equations Using “Completing the Square”
Natural Deduction for Predicate Logic Bound Variable: A variable within the scope of a quantifier. – (x) Px – (  y) (Zy · Uy) – (z) (Mz  ~Nz) Free Variable:
Factoring Factoring in the format ax2+bx+c Problem 1 X 2 + 7x + 10.
Statements Containing Multiple Quantifiers Lecture 11 Section 2.3 Mon, Feb 5, 2007.
Uniqueness Quantifier ROI for Quantified Statement.
Lesson 7.6 EQ: How do you factor a polynomial when leading coefficient is not 1? Topic/Objective: To factor trinomials in the form ax2 +bx + c   Factor.
Mobile App ux/ ui design In High Quality.
8.2 Using the Rule of Inference
1. (H . S) > [ H > (C > W)]
Proofs in Predicate Logic
5.5 – Completing the Square
Recall: Factoring Quadratic Trinomial where a = 1
Presentation transcript:

1. (x) Ax > ( ∃ x) Bx 2. (x) ~Bx / ( ∃ x) ~Ax CQ of conclusion: ~(x) Ax CQ of line 2: ~ ( ∃ x) Bx 3. ~( ∃ x) Bx 4. ~(x) Ax

1. ( ∃ x) ~Ax v ( ∃ x) ~Bx 2. (x) Bx / ~(x) Ax 3. ~( ∃ x) ~BxCQ 2 4. ( ∃ x) ~Axcm, ds 1,3 5. ~ (x) Ax CQ 4

5) If all philosophers are either ethicists or metaphysicians, then there are no logicians. But Russell’s a logician, so some philosophers are not metaphysicians. 1. (x) (Px > (Ex v Mx)) > ~( ∃ x ) Lx 2. L r / ( ∃ x) (Px. ~Mx) 3. ( ∃ x) Lx EG 2 4. ~~( ∃ x) Lx DN 3 5. ~(x)(Px > (Ex v Mx))MT 4,1 6. ( ∃ x)~(Px > (Ex v Mx))CQ 5 7. ~(Pq > (Eq v Mq))EI 6 8. ~(~Pq v (Eq v Mq)IMP 7 9. Pq. ~(Eq v Mq)DM Pq. (~Eq. ~Mq) DM Pq. ~ MqCM, AS,SM ( ∃ x) (Px. ~Mx)EG 11

7) All utilitarians are ethicists and all idealists are metaphysicians. Therefore, since it is not true that some ethicists are metaphysicians, it is not the case that some utilitarians are idealists. 1.(x) (Ux > Ex). (x) (Ix > Mx) 2. ~( ∃ x) (Ex. Mx)/ ~( ∃ x) (Ux. Ix) 3. (x) ~(Ex. Mx)CQ 2 4. ~(Ex. Mx) UI 3 5. Ux > ExSM, UI 1 6. Ix > MxCM, SM, UI 1 7. ~Ex v ~ MxDM 4 8. Ex > ~Mx IMP 7 9. Ux > ~Mx HS 5, (x) ~ (Ux. Ix)CM, DM, UG ~( ∃ x) (Ux. Ix)CQ Mx > ~Ux TRAN Ix > ~Ux HS 10, ~Ix v ~UxIMP 11