Ch. 1-5

Question 0

Propositional logic

Answer 0

A branch of formal logic, deductive logic in which the basic unit of thought is the proposition

Question 1

Proposition

Answer 1

A statement

Question 2

Truth-functional propositions

Answer 2

The truth value of the proposition depends upon the truth value of its component parts

Question 3

Simple proposition

Answer 3

Has only one component part

Question 4

Compound proposition

Answer 4

Has more than one component part (or is modified in some other way)

Question 5

Logical operators

Answer 5

Words which combine or modify simple propositions in order to form compound propositions (words such as and and or)

Question 6

Propositional constant

Answer 6

An uppercase letter that represents a single, given proposition.

Question 7

Propositional variable

Answer 7

A lowercase letter that represents any proposition

Question 8

Negation

Answer 8

(~, not) is the logical operator that denies or contradicts a proposition

Question 9

Truth table

Answer 9

A listing of the possible truth values for a set of one or more propositions

Question 10

Defining truth table

Answer 10

Displays the truth values produced bya logical operator modifying a minimum number of variables.

Question 11

Conjunction

Answer 11

(., and) is a logical operator that joins two propositions and is true if and only if both the propositions (conjuncts) are true

Question 12

Disjunction

Answer 12

(v, or) is a logical operator that joins two propositions and is true if and only if one or both of the propositions (disjuncts) is true

Question 13

Conjunct

Answer 13

Components of a conjunction

Question 14

Disjuncts

Answer 14

Components of a disjunction

Question 15

Conditional

Answer 15

Operator (if then) asserts that one component (the antecedent) implies the other (the consequent). It is false if and only if the antecedent is true and the consequent is false.

Question 16

Antecedent

Answer 16

The proposition following the if

Question 17

Consequent

Answer 17

The proposition following the then

Question 18

Biconditional

Answer 18

(“If and only if”) is true when both component propositions have the same truth value, and is false when their truth values differ.