Basic Maths 1
Home
>
Flashcards
> Print Preview
The flashcards below were created by user
Tammi
on
FreezingBlue Flashcards
. What would you like to do?
Get the free app for
iOS
Get the free app for
Android
Learn more
What is p
∧ f (identity law)
f
What is p
∨ f (identity law)
p
When is p -> q false?
When has false value.
When is p
∨ q false?
When
BOTH
p and q is false.
When is p
∧ q false?
When
AT LEAST
p or q is false.
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)
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'
What is the OR FORM?
P -> Q ≡ ~ P V Q
What is the contrapositive?
P -> Q ≡ ~Q -> ~ P
What is Modus Ponens?
[P ⋀ (P -> Q)]-> Q
What is Direct Proof?
(P ⋀ R -> Q) ≡ [ R -> ( P -> Q)]
What is proof by contradiction?
P ⋀ ~ Q -> f ) ≡ ( P -> Q )
What is proof by cases?
(P V R ->Q ) ≡ [(P -> Q)⋀(R -> Q )
Card Set Information
Author:
Tammi
ID:
252299
Filename:
Basic Maths 1
Updated:
2013-12-10 15:00:50
Tags:
Propositions logic sets relations
Folders:
Description:
bnbnj
Show Answers:
What would you like to do?
Get the free app for
iOS
Get the free app for
Android
Learn more
Home
>
Flashcards
> Print Preview