<< Предыдущая стр. 33(из 107 стр.)ОГЛАВЛЕНИЕ Следующая >>

6.30 6.31
В¬(В¬Cube(a) в€§ Cube(b)) Dodec(b) в€Ё Cube(b)
Г‚ Г‚
В¬(В¬Cube(b) в€Ё Cube(c)) Small(b) в€Ё Medium(b)
В¬(Small(b) в€§ Cube(b))
Cube(a)
Medium(b) в€§ Dodec(b)

6.32 Dodec(b) в€Ё Cube(b)
Г‚ Small(b) в€Ё Medium(b)
В¬Small(b) в€§ В¬Cube(b))
Medium(b) в€§ Dodec(b)

Section 6.6
Proofs without premises

Not all proofs begin with the assumption of premises. This may seem odd,
but in fact it is how we use our deductive system to show that a sentence is
a logical truth. A sentence that can be proven without any premises at all is
necessarily true. HereвЂ™s a trivial example of such a proof, one that shows that demonstrating
logical truth
a = a в€§ b = b is a logical truth.

1. a = a = Intro
2. b = b = Intro
3. a = a в€§ b = b в€§ Intro: 1, 2

The п¬Ѓrst step of this proof is not a premise, but an application of = Intro.
You might think that any proof without premises would have to start with
this rule, since it is the only one that doesnвЂ™t have to cite any supporting steps
earlier in the proof. But in fact, this is not a very representative example of
such proofs. A more typical and interesting proof without premises is the
following, which shows that В¬(P в€§ В¬P) is a logical truth.

Section 6.6
174 / Formal Proofs and Boolean Logic

1. P в€§ В¬P
2. P в€§ Elim: 1
3. В¬P в€§ Elim: 1
4. вЉҐ вЉҐ Intro: 2, 3
5. В¬(P в€§ В¬P) В¬ Intro: 1вЂ“4

Notice that there are no assumptions above the п¬Ѓrst horizontal Fitch bar,
indicating that the main proof has no premises. The п¬Ѓrst step of the proof is
the subproof вЂ™s assumption. The subproof proceeds to derive a contradiction,
based on this assumption, thus allowing us to conclude that the negation
of the subproofвЂ™s assumption follows without the need of premises. In other
words, it is a logical truth.
When we want you to prove that a sentence is a logical truth, we will use
Fitch notation to indicate that you must prove this without assuming any
premises. For example the above proof shows that the following вЂњargumentвЂќ
is valid:

В¬(P в€§ В¬P)

We close this section with the following reminder:

Remember

A proof without any premises shows that its conclusion is a logical truth.

Exercises

6.33 (Excluded Middle) Open the п¬Ѓle Exercise 6.33. This contains an incomplete proof of the law
Г‚ of excluded middle, P в€Ё В¬P. As it stands, the proof does not check out because itвЂ™s missing
some sentences, some support citations, and some rules. Fill in the missing pieces and submit
the completed proof as Proof 6.33. The proof shows that we can derive excluded middle in F
without any premises.

Chapter 6
Proofs without premises / 175

In the following exercises, assess whether the indicated sentence is a logical truth in the blocks language.
If so, use Fitch to construct a formal proof of the sentence from no premises (using Ana Con if
necessary, but only applied to literals). If not, use TarskiвЂ™s World to construct a counterexample. (A
counterexample here will simply be a world that makes the purported conclusion false.)

6.34 6.35
Г‚ Г‚
В¬(a = b в€§ Dodec(a) в€§ В¬Dodec(b)) В¬(a = b в€§ Dodec(a) в€§ Cube(b))

6.36 6.37
Г‚ Г‚
В¬(a = b в€§ b = c в€§ a = c) В¬(a = b в€§ b = c в€§ a = c)

6.38
Г‚
В¬(SameRow(a, b) в€§ SameRow(b, c) в€§ FrontOf(c, a))

6.39
Г‚
В¬(SameCol(a, b) в€§ SameCol(b, c) в€§ FrontOf(c, a))

The following sentences are all tautologies, and so should be provable in F . Although the informal proofs
are relatively simple, F makes fairly heavy going of them, since it forces us to prove even very obvious
steps. Use Fitch to construct formal proofs. You may want to build on the proof of Excluded Middle
given in Exercise 6.33. Alternatively, with the permission of your instructor, you may use Taut Con,
but only to justify an instance of Excluded Middle. The Grade Grinder will indicate whether you used
Taut Con or not.

6.40 6.41
Г‚ Г‚
A в€Ё В¬(A в€§ B) (A в€§ B) в€Ё В¬A в€Ё В¬B

6.42
Г‚
В¬A в€Ё В¬(В¬B в€§ (В¬A в€Ё B))

Section 6.6
Chapter 7

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 п¬Ѓnd 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 is home if Claire is at the library,
Max is home only if Claire is at the library,
Max is home if and only if Claire is at the library,
Max is not home nor is Claire at the library,
Max is home unless Claire is at the library,
Max is home even though Claire is at the library,
Max is home in spite of the fact that Claire is at the library,
Max is home just in case Claire is at the library,
Max is home whenever Claire is at the library,
Max is home because Claire is at the library.
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 truth-
functional uses, while others do not. Recall that a connective is truth func-
tional if the truth or falsity of compound statements made with it is completely

176
Material conditional symbol: в†’ / 177

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 non-truth-functional
connectives
not to say that such connectives arenвЂ™t important, but their meanings tend to
be vague and subject to conп¬‚icting 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 weвЂ™ll 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.

Proof: To show that the English connective because is not truth
functional, it suп¬ѓces to п¬Ѓnd two possible circumstances in which the
sentence Max is home because Claire is at the library would have
diп¬Ђerent truth values, but in which its constituents, Max is home
and Claire is at the library, have the same truth values.
Why? Well, suppose that the meaning of because were captured by a
truth table. These two circumstances would correspond to the same
row of the truth table, since the atomic sentences have the same
values, but in one circumstance the sentence is true and in the other
it is false. So the purported truth table must be wrong, contrary to
our assumption.
For the п¬Ѓrst circumstance, imagine that Max learned that Claire
would be at the library, hence unable to feed Carl, and so rushed
home to feed him. For the second circumstance, imagine that Max
is at home, expecting Claire to be there too, but she unexpectedly
had to go the library to get a reference book for a report. In both
circumstances the sentences Max is home and Claire is at the library
are true. But the compound sentence Max is home because Claire
is at the library is true in the п¬Ѓrst, false in the second.

The reason because is not truth functional is that it typically asserts some
sort of causal connection between the facts described by the constituent sen-
tences. This is why our compound sentence was false in the second situation:
the causal connection was missing.
In this chapter, we will introduce two new truth-functional connectives,
known as the material conditional and the material biconditional, both stan-
dard features of fol. It turns out that, as weвЂ™ll show at the end of the chapter,
these new symbols do not actually increase the expressive power of fol. They

Section 7.1
178 / Conditionals

do, however, make it much easier to say and prove certain things, and so are
valuable additions to the language.

Section 7.1
Material conditional symbol: в†’
The symbol в†’ is used to combine two sentences P and Q to form a new
sentence P в†’ Q, called a material conditional. The sentence P is called the
antecedent of the conditional, and Q is called the consequent of the conditional.
We will discuss the English counterparts of this symbol after we explain its
meaning.

Semantics and the game rule for the conditional
The sentence P в†’ Q is true if and only if either P is false or Q is true (or
both). This can be summarized by the following truth table.
P Q Pв†’Q
T
t t
truth table for в†’ F
t f
T
f t
T
f f

A secondвЂ™s thought shows that P в†’ Q is really just another way of saying
В¬P в€Ё Q. TarskiвЂ™s World in fact treats the former as an abbreviation of the
latter. In particular, in playing the game, TarskiвЂ™s World simply replaces a
game rule for в†’
statement of the form P в†’ Q by its equivalent В¬P в€Ё Q.

Remember

1. If P and Q are sentences of fol, then so is P в†’ Q.

2. The sentence P в†’ Q is false in only one case: if the antecedent P is
true and the consequent Q is false. Otherwise, it is true.
 << Предыдущая стр. 33(из 107 стр.)ОГЛАВЛЕНИЕ Следующая >>