Vocabulary

Question 1

Propositional Logic

Answer 1

A branch of formal, deductive logic in which the basic

unit of thought is the proposition

Question 2

Proposition

Answer 2

A statement

Question 3

Truth Functional

Answer 3

Truth value depends on the truth values of its component parts.

Question 4

A proposition that has only one component part

Answer 4

Simple proposition

Question 5

Logical operator

Answer 5

words that combine simple propositions to make compound propositions

Question 6

Negation

Answer 6

not/it is false that/ tilde

Question 7

Truth table

Answer 7

Listing of possible truth values

Question 8

Conjunction

Answer 8

dot/and joins two propositions and is true if and only if both propositions are true.

Question 9

Disjunction

Answer 9

vee/or joins two propositions false if and only if both are false

Question 10

Conditional

Answer 10

horseshoe/if/the. asserts that one component implies the the other. False if “True, False”

Question 11

Biconditional

Answer 11

“3qual”/if and only if.

Question 12

Logically Equivalent

Answer 12

If two propositions have identical truth values

Question 13

Tautology

Answer 13

True by logical structure

Question 14

Self Contradiction

Answer 14

False by logical structure

Question 15

Valid

Answer 15

All True

Question 16

Invalid

Answer 16

Premises are true and the conclusion is false

Question 17

Dilemma

Answer 17

A valid argument which presents a choice between two conditionals.

Question 18

formal proof of validity

Answer 18

A step by step deduction of a conclusion from a set of premises, each step being justified by an appropriate basic rule.

Question 19

Rule of Inference

Answer 19

A valid argument form which can be used to justify steps in a proof