Basic Maths 1

Card Set Information

Author:
Tammi
ID:
252299
Filename:
Basic Maths 1
Updated:
2013-12-10 10:00:50
Tags:
Propositions logic sets relations
Folders:

Description:
bnbnj
Show Answers:

Home > Flashcards > Print Preview

The flashcards below were created by user Tammi on FreezingBlue Flashcards. What would you like to do?


  1. What is p ∧ f (identity law)
    f
  2. What is p ∨ f (identity law)
    p
  3. When is p -> q false?
    When has false value.
  4. When is p ∨ q false?
    When BOTH p and q is false.
  5. When is p ∧ q false?
    When AT LEAST p or q is false.
  6. What is the Distributive Law?
    • P⋀(Q V R) = (P ⋀ Q) V (P ⋀ R)
    • PV(Q ⋀ R) = (P V Q) ⋀ (P V R)
    • A U(B n C) = (A n B) U (A n C)
    • A n(B U C) = (A U B) n (A U C)
  7. What is De Morgan Law?
    • ~ (P ⋀ Q) = ~ P V ~ Q
    • ~ (P V Q) = ~ P ⋀ ~ Q
    • (A n B)' = A' U B'
    • (A U B)'= A' n B'
  8. What is the OR FORM?
    P -> Q ≡ ~ P V Q
  9. What is the contrapositive?
    P -> Q ≡ ~Q -> ~ P
  10. What is Modus Ponens?
    [P ⋀ (P -> Q)]-> Q
  11. What is Direct Proof?
    (P ⋀ R -> Q) ≡ [ R -> ( P -> Q)]
  12. What is proof by contradiction?
    P ⋀ ~ Q -> f ) ≡ ( P -> Q )
  13. What is proof by cases?
    (P V R ->Q ) ≡ [(P -> Q)⋀(R -> Q )

What would you like to do?

Home > Flashcards > Print Preview