Documente Academic
Documente Profesional
Documente Cultură
The truth values of propositions such as conjunctions and disjunctions can be described by truth tables.
and/ ∧
If p: A decade is 10 years, and q: A millennium is 100 years, then p is true, q is false (a millennium is 1000 years), and the
conjunction.
p ∧ q: A decade is 10 years and a millennium is 100 years,
If it is raining (i.e., p is true) or it is cold (i.e., q is also true) or both, then we would consider the proposition “or”
p ∨ q: It is raining or it is cold.
If p: A millennium is 100 years, and q: A millennium is 1000 years, then p is false, q is true, and the disjunction,
p ∨ q: A millennium is 100 years or a millennium is 1000 years. ( true)
conditional proposition
The dean has announced that “If the Mathematics Department gets an additional $60,000, then it will hire one new faculty
member”.
The above statement states that on the condition that the Mathematics Department gets an additional $60,000, then the
Mathematics Department will hire one new faculty member. A proposition such as (1.3.1) is called a conditional proposition.
If p hypothesis (or antecedent) and q conclusion (or consequent ) are propositions, the proposition “if p then q”
Conditional proposition (continuation) -Example
• If we define
p: The Mathematics Department gets an additional $60,000,
q: The Mathematics Department will hire one new faculty member
• The hypothesis is the statement “The
Mathematics Department gets an additional $60,000,” and the conclusion is the
statement “The Mathematics Department will hire one new faculty member.” What
is the truth value of the dean’s statement.
• First, suppose that the Mathematics Department gets an additional $60,000. If the
Mathematics Department does hire an additional faculty member, surely the dean’s
statement is true (if p and q are both true, then p → q is true. )
• On the other hand, if the Mathematics Department gets an additional $60,000 and
does not hire an additional faculty member, the dean is wrong —statement is false.
(If p is true and q is false, then p → q is false.)
• Now, suppose that the Mathematics Department does not get an additional
$60,000. In this case, the Mathematics Department might or might not hire an
additional faculty member. (Perhaps a member of the department retires and
someone is hired to replace the retiree. On the other hand, the department might
not hire anyone.) Surely we would not consider the dean’s statement to be false.
Thus, if the Mathematics Department does not get an additional $60,000, the
Conditional proposition (continuation) -Example
• Restate each proposition in the form (1.3.2) of a conditional proposition.
(a) Mary will be a good student if she studies hard.
(b) John takes calculus only if he has sophomore, junior, or senior standing.
(c) When you sing, my ears hurt.
(d) A necessary condition for the Cubs to win the World Series is that they sign a right-handed
relief pitcher.
(e) A sufficient condition for Maria to visit France is that she goes to the Eiffel Tower
Solution:
(a)The hypothesis is the clause following if ; thus an equivalent formulation is
If Mary studies hard, then she will be a good student
(b) The statement means that in order for John to take calculus, he must have sophomore, junior,
or senior standing. In particular, if he is a freshman, he may not take calculus. Thus, we can
conclude that if he takes calculus, then he has sophomore, junior, or senior standing. Therefore an
equivalent formulation is
If John takes calculus, then he has sophomore, junior, or senior standing.
Notice that If John has sophomore, junior, or senior standing, then he takes calculus,
is not an equivalent formulation If John has sophomore, junior, or senior standing, he may or may
not take calculus. (Although eligible to take calculus, he may
have decided not to.)