Propositional Proofs Flashcards by D T | Brainscape

Q

AND

A

(P & Q) = P, Q

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

NOR

A

~(P v Q) = ~P, ~Q

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

NIF

A

~(P > Q) = P, ~Q

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

NN

A

~~P = P

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

IFF

A

(P ≡ Q) = (P > Q) , (Q > P)

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

NIFF

A

~(P ≡ Q) = (P v Q), ~(P & Q)

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

NOT-BOTH

A

~(P & Q) + P = ~Q

~(P & Q) + Q = ~P

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

OR

A

(P v Q) + ~P = Q

(P v Q) + ~Q = P

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

IF-THEN

A

(P > Q) + P = Q

(P > Q) + ~Q = ~P

How well did you know this?

1

Not at all

2

3

4

5

Perfectly