1.2E (Page 11)
B) There is an argument being mentioned here. I believe this way the argument is a lot clearer.
Mike is the press officer, and if he has his way, all press releases are crisp and upbeat.
Mike always has his way.
Our press releases are alway

Using the symbolization key provided, state the truth-functional paraphrase for English
sentences below and translate them into SL. You can use '>' for conditional and '=' for
bi-conditional.
Key:
B: Bob jogs regularly.
C: Carol jogs regularly.
L: Bob is

1. If a set contains a logically false sentence, will that set be logically consistent or
inconsistent? Explain and come up with your own example.
2. If a unit set contains a logically indeterminate sentence, will that set be logically
consistent or incon

Page 14, Exercises 1.3E
2.
A)
Whatever will be, will be is a logically valid statement. Its an absolute truth. It is also
pretty open ended. Whatever the premises, it is a valid argument. If an argument ended with it
then the argument must be valid. Meani

Construct truth-functional paraphrases for the following, then provide a symbolization key and use it to symbolize
your paraphrases in SL.
a. Either George or Emily will graduate with honors.
*b. Both George and Emily will graduate with honors or neither

Devise a translation key for the following argument, state it in standard argument form using
truth-functional paraphrase, and translate it into SL.
At least one of three brothers, Joe, Steve, and Ray, can be blamed for leaving the shower
running this mor

pg. 142 4.2E
8 a, b
Use the truth-tree method to determine which of the following arguments are
truth-functionally valid and which are truth-functionally invalid. For those that
are truth-functionally invalid, recover a set of a truth-value assignments th

6a. A completed truth tree for cfw_P = Q will be open
This claim is true because if P and Q are truth functionally equivalent then the set will be truth
functionally true and truth functionally consistent no matter what. Since the set is consistent then
t

Prove the following AND bring your proof with you to class as well.
If cfw_P Q and cfw_~P R, then Q v R is truth-functionally true.
For Q or R to be truth functionally true, all the values need to be true. In order for all the values
to be true in every s

3.1 E pg. 76
2 a, b
Construct Truth Tables for the following sentences
A. ~(E & ~E)
B. (A & B) = ~ B
~
~
E
&
~
E
F
T
F
F
F
T
T
T
T
T
T
T
F
F
F
F
F
F
T
F
T
F
T
F
A
&
B
=
~
B
T
T
T
F
T
T
F
F
T
F
F
F
T
F
T
F
F
F
T
F

Exercises 5.2E pg. 140
2 a, b
2a. (B > L) v (L > B)= T.F. True
1. (B > L) v (L > B) Sm
2.(B > L)
(L > B) 1vD
3.~B L
0
0
~L B 2>D
0 0
1. ~ [(B > L) v (L > B)] Sm
2. ~(B > L)
1~vD
3. ~(L > B)
1~vD
4. B
2~>D
5 ~L
2~>D
6 L
3~>D
7 ~B
3~>D
X
b. (B > L) & (L > B