Chapter 7 - Statement Logic: Truth Tables

Question 1

Sufficient condition

Answer 1

Guarantees that a statement is true.

Question 2

Necessary condition

Answer 2

If lacking, guarantees that a statement is false.

Question 3

Biconditional

Answer 3

Double-arrow: if and only if

Question 4

Conditional

Answer 4

Single-arrow: if-then

Question 5

Disjunction

Answer 5

Vee: or

Question 6

Atomic Statement

Answer 6

Does not have any other statement as a component. I.e. Shakespeare wrote Hamlet.

Question 7

Compound Statement

Answer 7

Has atleast one atomic statement as a component. I.e. It is not the case that Ben Johnson wrote Hamlet.,

Question 8

Logical operators

Answer 8

Symbolized English expressions such as tilde, dot, vee, arrow, double-arrow

Question 9

Negation

Answer 9

~ Tilde = not

Question 10

Conjunction

Answer 10

. Dot = and

Question 11

Well-formed formula (WFF)

Answer 11

Grammatically correct symbolic expression.

Question 12

Example of NOT a WFF

Answer 12

(A v B . C) - Can’t tell the main operator.