Other Logical Equivalalences Flashcards by Rebeca Amaya

Q

Contraposition

A

p -> q = (~q -> ~p)

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Definition of Bidirectional Implication

A

p q = (p -> q) ^ (q -> p)

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Definition of Implication

A

p -> q = (~p v q)

How well did you know this?

1

Not at all

2

3

4

5

Perfectly