Propositional Logic

Question 1

A declarative statement that is true or false, but not both

Answer 1

Proposition

Question 2

A variable that represents a proposition

Answer 2

Propositional variable

Question 3

True or false

Answer 3

Truth values

Question 4

Propositions that cannot be expressed in terms of simpler propositions

Answer 4

Atomic propositions

Question 5

A proposition constructed by combining propositions using logical operators

Answer 5

Compound proposition

Question 6

Operators used to combine propositions

Answer 6

Logical operators

Question 7

A table displaying all possible truth values of propositions

Answer 7

Truth table

Question 8

Converse of p -> q

Answer 8

The conditional statement q -> p

Question 9

Either a 0 or 1

Answer 9

Bit

Question 10

A variable that has a value of 0 or 1

Answer 10

Boolean variable

Question 11

An operation on a bit or bits

Answer 11

Bit operation

Question 12

Which of these sentences are proposition? What are the truth values of those that are propositions?

1. Boston is the capital of Massachusetts
2. Miami is the capital of Florida
3. 2 + 3 = 5
4. 5 + 7 = 10
5. X + 2 = 11

Answer 12

1. Yes, T
2. Yes, F
3. Yes, T
4. Yes, F
5. No

Question 13

What is the negation of:

Linda is younger than Sandy.

Answer 13

Linda is not younger than Sandy.

Question 14

What is the negation of:

Mei makes more money than Isabella.

Answer 14

Mei does not make more money than Isabella.

Question 15

A switching circuit made up of logic gates that produces one or more output bits

Answer 15

Logic circuit

Question 16

A compound proposition that is always false

Answer 16

Contradiction

Question 17

Impound propositions that always have the same truth values

Answer 17

Logically equivalent compound propositions

Question 18

A compound proposition for which there is an assignment of truth values to its variables that makes it true

Answer 18

Satisfiable compound proposition

Question 19

Part of a sentence that attributes a property to the subject

Answer 19

Predicate

Question 20

A statement containing one or more variables that becomes a proposition when each of its variables is assigned a value or is bound by a quantifier

Answer 20

Propositional function

Question 21

The values a variable in a propositional function may take

Answer 21

Domain (or universe) of discourse

Question 22

A variable that is quantified

Answer 22

Bound variable

Question 23

A variable not bound in a propositional function

Answer 23

Free variable

Question 24

Portion of a statement where the quantifier binds its variables

Answer 24

Scope of a quantifier

Question 25

Let Q(x, y) denote the statement “x is the capital of y.” What are these truth values?

1. Q(Denver,Colorado)
2. Q(Detroit,Michigan)
3. Q(Massachusetts, Boston)
4. Q(New York,New York)

Answer 25

1. T
2. F
3. F
4. F

Question 26

A sequence of statements

Answer 26

Argument

Question 27

A sequence of compound propositions involving propositional variables

Answer 27

Argument form

Question 28

A valid argument form that can be used in the demonstration that arguments are valid

Answer 28

Rule of inference