Chapter 7 of LPL Textbook PDF
Chapter 7 of LPL Textbook PDF
Chapter 7 of LPL Textbook PDF
Conditionals
There are many logically important constructions in English besides the Boolean connectives. Even if we restrict ourselves to words and phrases that connect two simple indicative sentences, we still find many that go beyond the
Boolean operators. For example, besides saying:
Max is home and Claire is at the library,
and
Max is home or Claire is at the library,
we can combine these same atomic sentences in the following ways, among
others:
Max
Max
Max
Max
Max
Max
Max
Max
Max
Max
is
is
is
is
is
is
is
is
is
is
And these are just the tip of the iceberg. There are also constructions that
combine three atomic sentences to form new sentences:
If Max is home then Claire is at the library, otherwise Claire is
concerned,
and constructions that combine four:
If Max is home then Claire is at the library, otherwise Claire is
concerned unless Carl is with him,
and so forth.
Some of these constructions are truth functional, or have important truthfunctional uses, while others do not. Recall that a connective is truth functional if the truth or falsity of compound statements made with it is completely
178
Conditionals / 179
determined by the truth values of its constituents. Its meaning, in other words,
can be captured by a truth table.
Fol does not include connectives that are not truth functional. This is
not to say that such connectives arent important, but their meanings tend to
be vague and subject to conflicting interpretations. The decision to exclude
them is analogous to our assumption that all the predicates of fol have precise
interpretations.
Whether or not a connective in English can be, or always is, used truth
functionally is a tricky matter, about which well have more to say later in
the chapter. Of the connectives listed above, though, there is one that is very
clearly not truth functional: the connective because. This is not hard to prove.
non-truth-functional
connectives
Chapter 7
180 / Conditionals
do, however, make it much easier to say and prove certain things, and so are
valuable additions to the language.
Section 7.1
P
t
t
f
f
Q
t
f
t
f
PQ
T
F
T
T
Chapter 7
this English conditional, like the material conditional, is false if P is true and
Q is false. Thus, we will translate, for example, If Max is home then Claire is
at the library as:
Home(max) Library(claire)
In this course we will always translate if. . . then. . . using , but there
are in fact many uses of the English expression that cannot be adequately
expressed with the material conditional. Consider, for example, the sentence,
If Max had been at home, then Carl would have been there too.
This sentence can be false even if Max is not in fact at home. (Suppose the
speaker mistakenly thought Carl was with Max, when in fact Claire had taken
him to the vet.) But the first-order sentence,
Home(max) Home(carl)
is automatically true if Max is not at home. A material conditional with a
false antecedent is always true.
We have already seen that the connective because is not truth functional
since it expresses a causal connection between its antecedent and consequent.
The English construction if. . . then. . . can also be used to express a sort of
causal connection between antecedent and consequent. Thats what seems to
be going on in the above example. As a result, many uses of if. . . then. . .
in English just arent truth functional. The truth of the whole depends on
something more than the truth values of the parts; it depends on there being
some genuine connection between the subject matter of the antecedent and
the consequent.
Notice that we started with the truth table for and decided to read
it as if. . . then. . . . What if we had started the other way around, looking for
a truth-functional approximation of the English conditional? Could we have
found a better truth table to go with if. . . then. . . ? The answer is clearly no.
While the material conditional is sometimes inadequate for capturing subtleties of English conditionals, it is the best we can do with a truth-functional
connective. But these are controversial matters. We will take them up further
in Section 7.3.
Necessary and sufficient conditions
Other English expressions that we will translate using the material conditional
P Q include: P only if Q, Q provided P, and Q if P. Notice in particular
that P only if Q is translated P Q, while P if Q is translated Q P. To
Section 7.1
182 / Conditionals
necessary condition
sufficient condition
understand why, we need to think carefully about the difference between only
if and if.
In English, the expression only if introduces what is called a necessary
condition, a condition that must hold in order for something else to obtain.
For example, suppose your instructor announces at the beginning of the course
that you will pass the course only if you turn in all the homework assignments.
Your instructor is telling you that turning in the homework is a necessary
condition for passing: if you dont do it, you wont pass. But the instructor is
not guaranteeing that you will pass if you do turn in the homework: clearly,
there are other ways to fail, such as skipping the tests and getting all the
homework problems wrong.
The assertion that you will pass only if you turn in all the homework
really excludes just one possibility: that you pass but did not turn in all the
homework. In other words, P only if Q is false only when P is true and Q is
false, and this is just the case in which P Q is false.
Contrast this with the assertion that you will pass the course if you turn
in all the homework. Now this is a very different kettle of fish. An instructor
who makes this promise is establishing a very lax grading policy: just turn in
the homework and youll get a passing grade, regardless of how well you do
on the homework or whether you even bother to take the tests!
In English, the expression if introduces what is called a sufficient condition,
one that guarantees that something else (in this case, passing the course) will
obtain. Because of this an English sentence P if Q must be translated as
Q P. The sentence rules out Q being true (turning in the homework) and
P being false (failing the course).
Other uses of
unless
Chapter 7
reducing logical
consequence to
logical truth
(P1 . . . Pn ) Q
to be false, that is, just in case this conditional sentence is a logical truth. Thus,
one way to verify the tautological validity of an argument in propositional
logic, at least in theory, is to construct a truth table for this sentence and
see whether the final column contains only true. This method is usually not
very practical, however, since the truth tables quickly get too large to be
manageable.
Remember
1. The following English constructions are all translated P Q: If P
then Q; Q if P; P only if Q; and Provided P, Q.
2. Unless P, Q and Q unless P are translated P Q.
3. Q is a logical consequence of P1 , . . . , Pn if and only if the sentence
(P1 . . . Pn ) Q is a logical truth.
Section 7.2
Biconditional symbol:
Our final connective is called the material biconditional symbol. Given any
sentences P and Q there is another sentence formed by connecting these by
Section 7.2
184 / Conditionals
if and only if
iff
just in case
vs.
Chapter 7
P
t
t
f
f
Q
t
f
t
f
PQ
T
F
F
T
Notice that the final column of this truth table is the same as that for
(P Q) (Q P). (See Exercise 7.3 below.) For this reason, logicians often
treat a sentence of the form P Q as an abbreviation of (P Q) (Q P).
Tarskis World also uses this abbreviation in the game. Thus, the game rule
for P Q is simple. Whenever a sentence of this form is encountered, it is
replaced by (P Q) (Q P).
Remember
1. If P and Q are sentences of fol, then so is P Q.
2. The sentence P Q is true if and only if P and Q have the same truth
value.
Exercises
For the following exercises, use Boole to determine whether the indicated pairs of sentences are tautologically equivalent. Feel free to have Boole build your reference columns and fill them out for you. Dont
forget to indicate your assessment.
7.1
7.3
A B and A B.
7.2
A B and (A B) (B A).
7.4
7.5
7.7
7.9
.
7.10
(A B) and A B.
A B and (A B) (A B).
(A B) C and A (B C).
7.6
A (B (C D)) and
((A B) C) D.
7.8
(A B) C and A (B C).
A (B (C D)) and
((A B) C) D.
(Just in case) Prove that the ordinary (nonmathematical) use of just in case does not express
a truth-functional connective. Use as your example the sentence Max went home just in case
Carl was hungry.
(Evaluating sentences in a world) Using Tarskis World, run through Abelards Sentences, evaluating them in Wittgensteins World. If you make a mistake, play the game to see where you
have gone wrong. Once you have gone through all the sentences, go back and make all the false
ones true by changing one or more names used in the sentence. Submit your edited sentences
as Sentences 7.10.
Section 7.2
186 / Conditionals
7.11
(Describing a world) Launch Tarskis World and choose Hide Labels from the World menu.
Then, with the labels hidden, open Montagues World. In this world, each object has a name,
and no object has more than one name. Start a new sentence file where you will describe some
features of this world. Check each of your sentences to see that it is indeed a sentence and that
it is true in this world.
1. Notice that if c is a tetrahedron, then a is not a tetrahedron. (Remember, in this world
each object has exactly one name.) Use your first sentence to express this fact.
2. However, note that the same is true of b and d. That is, if b is a tetrahedron, then d
isnt. Use your second sentence to express this.
3. Finally, observe that if b is a tetrahedron, then c isnt. Express this.
4. Notice that if a is a cube and b is a dodecahedron, then a is to the left of b. Use your
next sentence to express this fact.
5. Use your next sentence to express the fact that if b and c are both cubes, then they
are in the same row but not in the same column.
6. Use your next sentence to express the fact that b is a tetrahedron only if it is small.
[Check this sentence carefully. If your sentence evaluates as false, then youve got the
arrow pointing in the wrong direction.]
7. Next, express the fact that if a and d are both cubes, then one is to the left of the
other. [Note: You will need to use a disjunction to express the fact that one is to the
left of the other.]
8. Notice that d is a cube if and only if it is either medium or large. Express this.
9. Observe that if b is neither to the right nor left of d, then one of them is a tetrahedron.
Express this observation.
10. Finally, express the fact that b and c are the same size if and only if one is a tetrahedron
and the other is a dodecahedron.
Save your sentences as Sentences 7.11. Now choose Show Labels from the World menu.
Verify that all of your sentences are indeed true. When verifying the first three, pay particular
attention to the truth values of the various constituents. Notice that sometimes the conditional
has a false antecedent and sometimes a true consequent. What it never has is a true antecedent
and a false consequent. In each of these three cases, play the game committed to true. Make
sure you understand why the game proceeds as it does.
7.12
(Translation) Translate the following English sentences into fol. Your translations will use all
of the propositional connectives.
1. If a is a tetrahedron then it is in front of d.
2. a is to the left of or right of d only if its a cube.
3. c is between either a and e or a and d.
4. c is to the right of a, provided it (i.e., c) is small.
Chapter 7
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
Save your list of sentences as Sentences 7.12. Before submitting the file, you should complete
Exercise 7.13.
7.13
(Checking your translations) Open Bolzanos World. Notice that all the English sentences from
Exercise 7.12 are true in this world. Thus, if your translations are accurate, they will also be
true in this world. Check to see that they are. If you made any mistakes, go back and fix them.
Remember that even if one of your sentences comes out true in Bolzanos World, it does not
mean that it is a proper translation of the corresponding English sentence. If the translation is
correct, it will have the same truth value as the English sentence in every world. So lets check
your translations in some other worlds.
Open Wittgensteins World. Here we see that the English sentences 3, 5, 9, 11, 12, 13, 14,
and 20 are false, while the rest are true. Check to see that the same holds of your translations.
If not, correct your translations (and make sure they are still true in Bolzanos World).
Next open Leibnizs World. Here half the English sentences are true (1, 2, 4, 6, 7, 10, 11, 14,
18, and 20) and half false (3, 5, 8, 9, 12, 13, 15, 16, 17, and 19). Check to see that the same
holds of your translations. If not, correct your translations.
Finally, open Venns World. In this world, all of the English sentences are false. Check to
see that the same holds of your translations and correct them if necessary.
There is no need to submit any files for this exercise, but dont forget to submit Sentences
7.12.
Section 7.2
188 / Conditionals
7.14
7.15
(Figuring out sizes and shapes) Open Eulers Sentences. The nine sentences in this file uniquely
determine the shapes and sizes of blocks a, b, and c. See if you can figure out the solution just
by thinking about what the sentences mean and using the informal methods of proof youve
already studied. When youve figured it out, submit a world in which all of the sentences are
true.
(More sizes and shapes) Start a new sentence file and use it to translate the following English
sentences.
1. If a is a tetrahedron, then b is also a tetrahedron.
2. c is a tetrahedron if b is.
3. a and c are both tetrahedra only if at least one of them is large.
4. a is a tetrahedron but c isnt large.
5. If c is small and d is a dodecahedron, then d is neither large nor small.
6. c is medium only if none of d, e, and f are cubes.
7. d is a small dodecahedron unless a is small.
8. e is large just in case it is a fact that d is large if and only if f is.
9. d and e are the same size.
10. d and e are the same shape.
11. f is either a cube or a dodecahedron, if it is large.
12. c is larger than e only if b is larger than c.
Save these sentences as Sentences 7.15. Then see if you can figure out the sizes and shapes of
a, b, c, d, e, and f . You will find it helpful to approach this problem systematically, filling in
the following table as you reason about the sentences:
a
Shape:
Size:
When you have filled in the table, use it to guide you in building a world in which the twelve
English sentences are true. Verify that your translations are true in this world as well. Submit
both your sentence file and your world file.
7.16
7.17
(Name that object) Open Sherlocks World and Sherlocks Sentences. You will notice that none
of the objects in this world has a name. Your task is to assign the names a, b, and c in such a
way that all the sentences in the list come out true. Submit the modified world as World 7.16.
(Building a world) Open Boolos Sentences. Submit a world in which all five sentences in this
file are true.
Chapter 7
7.18
7.19
.
7.20
.
7.21
|.
Using the symbols introduced in Table 1.2, page 30, translate the following sentences into fol.
Submit your translations as a sentence file.
1. If Claire gave Folly to Max at 2:03 then Folly belonged to her at 2:00 and to him at
2:05.
2. Max fed Folly at 2:00 pm, but if he gave her to Claire then, Folly was not hungry five
minutes later.
3. If neither Max nor Claire fed Folly at 2:00, then she was hungry.
4. Max was angry at 2:05 only if Claire fed either Folly or Scruffy five minutes before.
5. Max is a student if and only if Claire is not.
Using Table 1.2 on page 30, translate the following into colloquial English.
1. (Fed(max, folly, 2:00) Fed(claire, folly, 2:00)) Pet(folly)
2. Fed(max, folly, 2:30) Fed(claire, scruffy, 2:00)
3. Hungry(folly, 2:00) Hungry(scruffy, 2:00)
4. (Hungry(folly, 2:00) Hungry(scruffy, 2:00))
Translate the following into fol as best you can. Explain any predicates and function symbols
you use, and any shortcomings in your first-order translations.
1. If Abe can fool Stephen, surely he can fool Ulysses.
2. If you scratch my back, Ill scratch yours.
3. France will sign the treaty only if Germany does.
4. If Tweedledee gets a party, so will Tweedledum, and vice versa.
5. If John and Mary went to the concert together, they must like each other.
(The monkey principle) One of the stranger uses of if. . . then. . . in English is as a roundabout
way to express negation. Suppose a friend of yours says If Keanu Reeves is a great actor, then
Im a monkeys uncle. This is simply a way of denying the antecedent of the conditional, in
this case that Keanu Reeves is a great actor. Explain why this works. Your explanation should
appeal to the truth table for , but it will have to go beyond that. Turn in your explanation
and also submit a Boole table showing that A is equivalent to A.
Section 7.3
Conversational implicature
In translating from English to fol, there are many problematic cases. For
example, many students resist translating a sentence like Max is home unless
Claire is at the library as:
Library(claire) Home(max)
Section 7.3
190 / Conditionals
These students usually think that the meaning of this English sentence would
be more accurately captured by the biconditional claim:
Library(claire) Home(max)
conversational
implicatures
cancelling implicatures
Chapter 7
The reason the latter seems natural is that when we assert the English sentence, there is some suggestion that if Claire is at at the library, then Max is
not at home.
To resolve problematic cases like this, it is often useful to distinguish between the truth conditions of a sentence, and other things that in some sense
follow from the assertion of the sentence. To take an obvious case, suppose
someone asserts the sentence It is a lovely day. One thing you may conclude
from this is that the speaker understands English. This is not part of what
the speaker said, however, but part of what can be inferred from his saying it.
The truth or falsity of the claim has nothing to do with the speakers linguistic
abilities.
The philosopher H. P. Grice developed a theory of what he called conversational implicature to help sort out the genuine truth conditions of a
sentence from other conclusions we may draw from its assertion. These other
conclusions are what Grice called implicatures. We wont go into this theory
in detail, but knowing a little bit about it can be a great aid in translation,
so we present an introduction to Grices theory.
Suppose we have an English sentence S that someone asserts, and we
are trying to decide whether a particular conclusion we draw is part of the
meaning of S or, instead, one of its implicatures. Grice pointed out that if
the conclusion is part of the meaning, then it cannot be cancelled by some
further elaboration by the speaker. Thus, for example, the conclusion that
Max is home is part of the meaning of an assertion of Max and Claire are
home, so we cant cancel this conclusion by saying Max and Claire are home,
but Max isnt home. We would simply be contradicting ourselves.
Contrast this with the speaker who said It is a lovely day. Suppose he
had gone on to say, perhaps reading haltingly from a phrase book: Do you
speak any French? In that case, the suggestion that the speaker understands
English is effectively cancelled.
A more illuminating use of Grices cancellability test concerns the expression either. . . or. . . . Recall that we claimed that this should be translated into
fol as an inclusive disjunction, using . We can now see that the suggestion
that this phrase expresses exclusive disjunction is generally just a conversational implicature. For example, if the waiter says You can have either soup or
salad, there is a strong suggestion that you cannot have both. But it is clear
that this is just an implicature, since the waiter could, without contradicting
himself, go on to say And you can have both, if you want. Had the original
either. . . or. . . expressed the exclusive disjunction, this would be like saying
You can have soup or salad but not both, and you can have both, if you want.
Lets go back now to the sentence Max is at home unless Claire is at the
library. Earlier we denied that the correct translation was
Library(claire) Home(max)
which is equivalent to the conjunction of the correct translation
Library(claire) Home(max)
with the additional claim
Library(claire) Home(max)
Is this second claim part of the meaning of the English sentence, or is it
simply a conversational implicature? Grices cancellability test shows that it
is just an implicature. After all, it makes perfectly good sense for the speaker
to go on to say On the other hand, if Claire is at the library, I have no idea
where Max is. This elaboration takes away the suggestion that if Claire is at
the library, then Max isnt at home.
Another common implicature arises with the phrase only if, which people
often construe as the stronger if and only if. For example, suppose a father
tells his son, You can have dessert only if you eat all your lima beans. Weve
seen that this is not a guarantee that if the child does eat his lima beans he
will get dessert, since only if introduces a necessary, not sufficient, condition.
Still it is clear that the fathers assertion suggests that, other things equal, the
child can have dessert if he eats the dreaded beans. But again, the suggestion
can be cancelled. Suppose the father goes on to say: If you eat the beans, Ill
check to see if theres any ice cream left. This cancels the suggestion that
dessert is guaranteed.
Remember
If the assertion of a sentence carries with it a suggestion that could be
cancelled (without contradiction) by further elaboration by the speaker,
then the suggestion is a conversational implicature, not part of the content
of the original claim.
Section 7.3
192 / Conditionals
Exercises
7.22
.
7.23
.
7.24
.
Suppose Claire asserts the sentence Max managed to get Carl home. Does this logically imply,
or just conversationally implicate, that it was hard to get Carl home? Justify your answer.
Suppose Max asserts the sentence We can walk to the movie or we can drive. Does his assertion
logically imply, or merely implicate, that we cannot both walk and drive? How does this differ
from the soup or salad example?
Consider the sentence Max is home in spite of the fact that Claire is at the library. What would
be the best translation of this sentence into fol? Clearly, whether you would be inclined to use
this sentence is not determined simply by the truth values of the atomic sentences Max is home
and Claire is at the library. This may be because in spite of the fact is, like because, a non-truthfunctional connective, or because it carries, like but, additional conversational implicatures. (See
our discussion of because earlier in this chapter and the discussion of but in Chapter 3.) Which
explanation do you think is right? Justify your answer.
Section 7.4
Truth-functional completeness
We now have at our disposal five truth-functional connectives, one unary
(), and four binary (, , , ). Should we introduce any more? Though
weve seen a few English expressions that cant be expressed in fol, like
because, these have not been truth functional. Weve also run into others, like
neither. . . nor. . . , that are truth functional, but which we can easily express
using the existing connectives of fol.
The question we will address in the current section is whether there are any
truth-functional connectives that we need to add to our language. Is it possible
that we might encounter an English construction that is truth functional but
which we cannot express using the symbols we have introduced so far? If so,
this would be an unfortunate limitation of our language.
How can we possibly answer this question? Well, lets begin by thinking
about binary connectives, those that apply to two sentences to make a third.
How many binary truth-functional connectives are possible? If we think about
the possible truth tables for such connectives, we can compute the total number. First, since we are dealing with binary connectives, there are four rows
in each table. Each row can be assigned either true or false, so there are
24 = 16 ways of doing this. For example, here is the table that captures the
truth function expressed by neither. . . nor. . . .
Chapter 7
P
t
t
f
f
Q
t
f
t
f
Neither P nor Q
F
F
F
T
Since there are only 16 different ways of filling in the final column of such
a table, there are only 16 binary truth functions, and so 16 possible binary
truth-functional connectives. We could look at each of these tables in turn
and show how to express the truth function with existing connectives, just as
we captured neither P nor Q with (P Q). But there is a more general and
systematic way to show this.
Suppose we are thinking about introducing a binary truth-functional connective, say . It will have a truth table like the following, with one of the
values true or false in each row.
P
t
t
f
f
Q
t
f
t
f
PQ
1st value
2nd value
3rd value
4th value
If all four values are false, then we can clearly express P Q with the
sentence P P Q Q. So suppose at least one of the values is true.
How can we express P Q? One way would be this. Let C1 , . . . , C4 stand for
the following four conjunctions:
C1
C2
C3
C4
= (P Q)
= (P Q)
= (P Q)
= (P Q)
Notice that sentence C1 will be true if the truth values of P and Q are as
specified in the first row of the truth table, and that if the values of P and Q
are anything else, then C1 will be false. Similarly with C2 and the second row
of the truth table, and so forth. To build a sentence that gets the value true
in exactly the same rows as P Q, all we need do is take the disjunction of the
appropriate Cs. For example, if P Q is true in rows 2 and 4, then C2 C4 is
equivalent to this sentence.
What this shows is that all binary truth functions are already expressible
using just the connectives , , and . In fact, it shows that they can be expressed using sentences in disjunctive normal form, as described in Chapter 4.
Section 7.4
194 / Conditionals
Its easy to see that a similar procedure allows us to express all possible
unary truth functions. A unary connective, say , will have a truth table like
this:
P
t
f
P
1st value
2nd value
If both of the values under P are false, then we can express it using the
sentence P P. Otherwise, we can express P as a disjunction of one or
more of the following:
C1 = P
C2 = P
C1 will be included as one of the disjuncts if the first value is true, and C2
will be included if the second value is true. (Of course, in only one case will
there be more than one disjunct.)
Once we understand how this procedure is working, we see that it will
apply equally well to truth-functional connectives of any arity. Suppose, for
example, that we want to express the ternary truth-functional connective
defined by the following truth table:
P
t
t
t
t
f
f
f
f
Q
t
t
f
f
t
t
f
f
R
t
f
t
f
t
f
t
f
(P, Q, R)
T
T
F
F
T
F
T
F
Chapter 7
truth-functional
completeness
disadvantages of
economy
Section 7.4
196 / Conditionals
one use of Elim, and one use of Intro (see Exercise 7.26). This is why
we havent skimped on connectives.
Remember
1. A set of connectives is truth-functionally complete if the connectives
allow us to express every truth function.
2. Various sets of connectives, including the Boolean connectives, are
truth-functionally complete.
Exercises
7.25
(Replacing , , and ) Use Tarskis World to open the file Sheffers Sentences. In this file,
you will find the following sentences in the odd-numbered positions:
1. Tet(a) Small(a)
3. Tet(a) Small(a)
5. Tet(a) Small(a)
7. (Cube(b) Cube(c)) (Small(b) Small(c))
In each even-numbered slot, enter a sentence that is equivalent to the one above it, but which
uses only the connectives and . Before submitting your solution file, you might want to try
out your sentences in several worlds to make sure the new sentences have the expected truth
values.
7.26
7.27
(Basic versus defined symbols in proofs) Treating a symbol as basic, with its own rules, or as a
defined symbol, without its own rules, makes a big difference to the complexity of proofs. Use
Fitch to open the file Exercise 7.26. In this file, you are asked to construct a proof of (A B)
from the premises A and B. A proof of the equivalent sentence A B would of course take a
single step.
(Simplifying if. . . then. . . else) Assume that P, Q, and R are atomic sentences. See if you can
simplify the sentence we came up with to express (P, Q, R) (if P then Q, else R), so that it
becomes a disjunction of two sentences, each of which is a conjunction of two literals. Submit
your solution as a Tarskis World sentence file.
Chapter 7
7.28
7.29
.
(Expressing another ternary connective) Start a new sentence file using Tarskis World. Use the
method we have developed to express the ternary connective defined in the following truth
table, and enter this as the first sentence in your file. Then see if you can simplify the result
as much as possible. Enter the simplified form as your second sentence. (This sentence should
have no more than two occurrences each of P, Q, and R, and no more than six occurrences of
the Boolean connectives, , and .)
P Q R (P, Q, R)
t t t
T
t t f
T
T
t f t
t f f
F
f t t
F
f t f
T
f f t
T
f f f
T
(Sheffer stroke) Another binary connective that is truth-functionally complete on its own is
called the Sheffer stroke, named after H. M. Sheffer, one of the logicians who discovered and
studied it. It is also known as nand by analogy with nor. Here is its truth table:
P Q P|Q
t t
F
t f
T
f t
T
f f
T
Show how to express P, P Q, and P Q using the Sheffer stroke. (We remind you that
nowadays, the symbol | has been appropriated as an alternative for . Dont let that confuse
you.)
7.30
.
7.31
.
(Putting monkeys to work) Suppose we have the single binary connective , plus the symbol
for absurdity . Using just these expressions, see if you can find a way to express P, P Q,
and P Q. [Hint: Dont forget what you learned in Exercise 7.21.]
(Another non-truth-functional connective) Show that truth value at a particular time of the
sentence Max is home whenever Claire is at the library is not determined by the truth values
of the atomic sentences Max is home and Claire is at the library at that same time. That is,
show that whenever is not truth functional.
Section 7.4
198 / Conditionals
7.32
.
Section 7.5
Alternative notation
As with the other truth-functional connectives, there are alternative notations
for the material conditional and biconditional. The most common alternative
to P Q is P Q. Polish notation for the conditional is Cpq. The most common alternative to P Q is P Q. The Polish notation for the biconditional
is Epq.
Remember
The following table summarizes the alternative notations discussed so far.
Our notation
P
PQ
PQ
PQ
PQ
Chapter 7
Common equivalents
P, P, !P, Np
P&Q, P&&Q, P Q, PQ, Kpq
P | Q, P Q, Apq
P Q, Cpq
P Q, Epq