Principles of Computing: Proposition Logic

?
Up
Conjunction
1 of 11
Down
Inclusive
2 of 11
Cross
Exclusive
3 of 11
What is a literal?
A single propositional variable or its negation
4 of 11
What is disjunctive normal form?
Inclusive or of one of more conjunctions of single propositional variables
5 of 11
What is disjunctive normal form used form?
To find the proposition formula of the truth table
6 of 11
What is a contradiction?
Where all results of the truth table are false
7 of 11
What is a contingency
When the proposition formula can be either true or false
8 of 11
What is a logical equivalence
When one formula logically implies another and that implication is a tautology
9 of 11
How are logical equivalence and implications the same?
Both tautologies
10 of 11
How are logical equivalence and implications different?
Equivalence is bi-conditional and implication means implies
11 of 11

Other cards in this set

Card 2

Front

Down

Back

Inclusive

Card 3

Front

Cross

Back

Preview of the front of card 3

Card 4

Front

What is a literal?

Back

Preview of the front of card 4

Card 5

Front

What is disjunctive normal form?

Back

Preview of the front of card 5
View more cards

Comments

No comments have yet been made

Similar Mathematics & Computer Science resources:

See all Mathematics & Computer Science resources »See all Principles of Computing resources »