Proposition

Proposition is a declarative sentence that is either false or true, but not both

• True

• False

A truth value can be True, False, or Maybe.

• True

• False

It is a proposition that contains one or more variable

• Proposition

• Truth Value

• Predicate Logic

Contingency is a formula which is always true for every value of its propositional variables

• True

• False

It is a new proposition constructed by combining one or more existing proposition

• Predicate Logic

• Compound Proposition

• Logical Connective

It returns True if P is false, and returns False if P is true

• Conjunction

• Negation

• Disjunction

It is a formula which is always false for every value of its propositional variables

• Contingency

• Tautology

• Contradiction

What logical connective uses this (⊕) symbol?

• XOR

• Implication

• Biconditional

What logical connective return True if both proposition P and Q have the same truth value?

• Disjunction

• Conjunction

• Bi-conditional

Which of the following has the highest precedence?

• →

• ∨

• ↔