Propositional Logic

The right-arrow symbol (image) can be translated to the following connective

• conjunction

• disjunction

• conditional

• biconditional

The following statement is a proposition; "Answer this question."

• True

• False

Which of the following logical connectives should be solved first in a compound proposition?

• Negation

• Bracket

• Biconditional

• Conjunction

Contradiction is a compound statement that will always yield "true"

• True

• False

The "AND" operator is associated with the following connective

• Disjunction

• Negation

• Conditional

• Conjunction

"Burj Khalifa is the tallest building in the world."

• YES, this is a proposition.

• NO, this is not a proposition.

"x + 2 = 2x"

• YES, this is a proposition.

• NO, this is not a proposition.

p: Rose is a female student.

q: Rose is in the Civil Engineering program.

Write the compound proposition in symbol form:

Rose is a female student and she is in the Civil Engineering program.

• p ∨ q

• p ∧ q

• p → q

p: Rose is a female student.

q: Rose is in the Civil Engineering program.

Write the compound proposition in symbol form:

If Rose is not a female student, then she is in the Civil Engineering program.

• ~p ∧ q

• ~(p ∨ q)

• ~p → q

p: Rose is a female student.

q: Rose is in the Civil Engineering program.

Write the compound proposition in symbol form:

Rose is not in the Civil Engineering program or she is a female student.

• ~p ∨ q

• ~q ∨ p