Exam 1

Question 1

Atomic Statement

Answer 1

a declarative sentence that cannot be divided into

Question 2

Molecular Statement

Answer 2

a declarative sentence that can be divided

Question 3

And (P^Q)

Answer 3

True when P and Q are true

False when there is any F

Question 4

Or (P v Q)

Answer 4

True when P or Q or both are true

False when both P and Q are false

Question 5

If then (P <-> Q)

Answer 5

True when P is false or Q is true or both

False when Q is false

Question 6

Negation (~P)

Answer 6

True when P is false

False when P is true

Flips the truth value

Question 7

Universal Quantifier

Answer 7

Written ∀
Read “For all”

Question 8

Existential Quantifier

Answer 8

Written ∃
Read “there exists” or “for some”

Question 9

An argument is valid

Answer 9

Provided the conclusion is true whenever the premises are all true.
Everything is true

Question 10

An argument is invalid

Answer 10

Whenever all the premises are true but the conclusion is false.
Q is false.

Question 11

Predicate

Answer 11

Basic statement that contains a free variable.

Question 12

Quantifiers

Answer 12

Used to make a free variable true or false.