Proof Flashcards

(40 cards)

1
Q

Converse

A

P=>Q is Q=>P

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

P=>Q is Q=>P

A

Converse

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

Contrapositive

A

P=>Q is (~Q)=>(~P)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

P=>Q is (~Q)=>(~P)

A

Contrapositive

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

DeMorgan’s Law [~(P^Q)]

A

[~(P^Q)<=>(~P v ~Q)]

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

(~P v ~Q)] <=>

A

DeMorgan’s Law [~(P^Q)]

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

DeMorgan’s Law [~(PvQ)]

A

[~(PvQ) <=> (~P ^ ~Q)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

(~P ^ ~Q) <=>

A

DeMorgan’s Law [~(PvQ)]

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

P => Q equal to

A

~P v Q

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

~P v Q equal to

A

P => Q

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

P <=> Q equal to

A

(P => Q) ^ (Q => P)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

(P => Q) ^ (Q => P) equal to

A

P <=> Q

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

~( P => Q) equal to

A

(P ^ ~Q)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

(P ^ ~Q) equal to

A

~( P => Q)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

~(P ^ Q) equal to

A

P => ~Q and Q => ~ P

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

P => ~Q and Q => ~ P —equal to

A

~(P ^ Q)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
17
Q

P =>(Q => R) equal to

18
Q

(P^Q) => R —equal to

19
Q

P =>(Q ^ R) equal to

A

(P=>Q) ^ (P=>R)

20
Q

(P=>Q) ^ (P=>R) – equal to

21
Q

(P v Q) => R equal to

A

(P=>R) ^ (Q=>R)

22
Q

(P=>R) ^ (Q=>R) equal to

23
Q

A − B = {x: x ∈ A and x ∉ B}.

A

For x, such that X is within A and not within B

24
Q

For x, such that X is within A and not within B

A

A − B = {x: x ∈ A and x ∉ B}.

25
A ∩ B = {x: x ∈ A and x ∈ B}.
For x, such that x is within A and B
26
For x, such that x is within A and B
A ∩ B = {x: x ∈ A and x ∈ B}.
27
A ∪ B = {x: x ∈ A or x ∈ B}.
For x, such that x is within A or B or Both
28
For x, such that x is within A or B or Both
A ∪ B = {x: x ∈ A or x ∈ B}.
29
A ⊆ A ∪ B
A is a subset of A or B
30
A is a subset of A or B
A ⊆ A ∪ B
31
A ∩ B ⊆ A.
A and B are a subset of A
32
A and B are a subset of A
A ∩ B ⊆ A.
33
A ∩ Ø = Ø
A and Empty set equal Empty Set
34
A and Empty set equal Empty Set
A ∩ Ø = Ø
35
A ∪ Ø = A.
A or Empty Set equal A
36
A or Empty Set equal A
A ∪ Ø = A.
37
A − Ø =A
A minus Empty set equal A
38
A minus Empty set equal A
A − Ø =A
39
Ø − A = Ø
Empty set minus A equal Empty Set
40
Empty set minus A equal Empty Set
Ø − A = Ø