Brainscape's Knowledge GenomeTM

Browse over 1 million classes created by top students, professors, publishers, and experts.


See full index

Discreet Math > Rules of Inference > Flashcards

Rules of Inference Flashcards

memorize

1
Q
A

Modus Ponens

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

Modus Tollens

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

Hypothetical Syllogism (Transitivity)

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

Disjunctive Syllogism

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

addition

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

Simplification

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

Conjunction

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

Resolution

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

A declarative sentence (that is, a sentence that declares a fact) that is either true or false, but not both.

A

Proposition

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

p ^ q

A

conjunction

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

p v q

A

disjunction

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

converse, contrapositive, or inverse? p –> q, q –> p

A

converse

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

converse, contrapositive, or inverse? p –> q, ¬q –> ¬p

A

contrapositive

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

converse, contrapositive, or inverse? p –> q, ¬p –> ¬q

A

inverse

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

A compound proposition that is always true, no matter what the truth values of the propositional variables that occur in it

A

tautology

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

De Morgan’s Laws¬(p ^ q) ⌯ ¬p v ¬q, ¬(p v q) ⌯ ¬p ^ ¬q

A

De Morgan’s Laws

17
Q
A

Identity laws

18
Q
A

Domination laws

19
Q
A

Idempotent laws

20
Q
A

Double negation law

21
Q
A

Commutative law

22
Q
A

Associative laws

23
Q
A

Absorption laws

24
Q
A

Negation laws

25
Q
A

Universal instantiation

26
Q
A

Universal generalization

27
Q
A

Existential instantiation

28
Q
A

Existential generalization

Discreet Math (1 decks)

Brainscape helps you reach your goals faster, through stronger study habits.
© 2024 Bold Learning Solutions. Terms and Conditions