Exam 2

Question 1

Operators/Connectives

Answer 1

symbols used to connect simple propositions in propositional logic

Question 2

Propositional Logic

Answer 2

a kind of logic in which the fundamental components are whole statements

Question 3

Simple Statement

Answer 3

atomic statements; a statement that does not contain any other statement as a component

Question 4

Compound Statement

Answer 4

a statement that contains at least one simple statement as a component

Question 5

Negation

Answer 5

a statement having a tilde as its main operator

Question 6

Conjunctive Statement/Conjunction

Answer 6

a statement having a dot as its main operator

Question 7

Disjunctive Statement/Disjunction

Answer 7

a statement having a wedge as its main operator

Question 8

Conjunct

Answer 8

the component in a conjunctive statement on either side of the main operator

Question 9

Disjunct

Answer 9

the component in a disjunctive statement on either side of the main operator

Question 10

Conditional Statement/Conditional

Answer 10

a statement having a horseshoe as its main operator

Question 11

Material Implication

Answer 11

the relation expressed by a truth-functional conditional

Question 12

Antecedent

Answer 12

the component of a conditional statement immediately following the word “if”

Question 13

Consequent

Answer 13

the component of a conditional statement immediately following the word “then”

Question 14

Bi-Conditional Statement/Bi-Conditional

Answer 14

a statement having a triple bar as its main operator

Question 15

Material Equivalence

Answer 15

the relation expressed by a truth-functional bi-conditional

Question 16

Main Operator

Answer 16

the operator (connective) in a compound statement that has as its scope everything else in the statement

Question 17

Sufficient Condition

Answer 17

the condition represented by the antecedent in a conditional statement

Question 18

Necessary Condition

Answer 18

the condition represented by the consequent in a conditional statement

Question 19

Well-Formed Formula

Answer 19

a syntactically correct arrangement of symbols

Question 20

Truth Function

Answer 20

a compound proposition whose truth value is completely determined by the truth values of its components

Question 21

Statement Variable

Answer 21

a lowercase letter, such as p or q, that can represent any statement

Question 22

Statement Form

Answer 22

an arrangement of statement variables and operators such that the uniform substitution of statements in place of the variables results in a statement

Question 23

Truth Table

Answer 23

an arrangement of truth values that shows in every possible case how the truth values of a compound proposition is determined by the truth values of its simple components