# Basic Maths 1

The flashcards below were created by user Tammi on FreezingBlue Flashcards.

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 )
 Author: Tammi ID: 252299 Card Set: Basic Maths 1 Updated: 2013-12-10 15:00:50 Tags: Propositions logic sets relations Folders: Description: bnbnj Show Answers: