About the Book

New Exercises

Logic in Action

Software

Additions and Changes

Errata

Above and Beyond

Slide the Symbols

About the Author

Acknowledgments

 

Comments on the Book

Comments on this site

 

 


Chapters 7, 9-11

Chapters: 7 | 8 | 9 | 10 | 11 |

Chapter 7

A.

  1. B L
  2. R J
  3. L F
  4. O W
  5. B F
  6. B J

B.

  1. J R
  2. R A
  3. ~H L
  4. L T
  5. ~P S
  6. ~~C G

C.

  1. (R W) & (W R)
  2. S ~T
  3. D ( C E)
  4. (O C) & (C O)
  5. (O C) & (C O)

D.

P Q (P & Q) (P v Q)
T T 
    T        T        T
F T 
    F        T        T
T F 
    F        T        T
F F 
    F        T        F

 

P Q R (P v Q) v (~P v R)
T T T 
    T       T         T
F T T 
    T       T         T
T F T 
    T       T         T
F F T 
    F       T         T
T T F 
    T       T         F
F T F 
    T       T         T
T F F 
    T       T         F
F F F 
    F       T         T

 

Chapter 9

Top

A.

  1. K1s
  2. T1
  3. G1
  4. F1j
  5. W1l
  6. S1
  7. R1

B.

  1. Something is a sheep
  2. Something is a yellow dog.
  3. Something is either tall, or a sheep.

Chapter 10

Top

A.

#1.

X 1. (S1 & J1) P
  2. (J1 L1) P
X 3. ~(S1 L1) NC
X 4. ~(S1 L1) 3, QE
X 5. ~(S1a L1a) 4, EQ
X 6. S1b & J1b 1, EQ
X 7. J1a L1a 2, UQ
X 8. J1b L1b 2, UQ
  9. S1a 5, ~
  10. ~L1a
  11. S1b 6, &
  12. 
     J1b
  13. 
    /  \ 
 ~J1a     L1a 
   |    X
7,
  14. 
 /  \
~J1b   L1b
  X   O
 8,

Open branches: invalid argument

#2.

X 1. M1a & N1a P
X 2. (M1 & J1) P
X 3. ~(J1 & N1) NC
  4. ~(J1 & N1) 3, QE
X 5. M1b & J1b 2, EQ
X 6. ~(J1a & N1a) 4, UQ
X 7. ~(J1b & N1b) 4, UQ
  8. M1a 1, &
  9. N1a
  10. M1b 5, &
  11. 
   J1b
  12. 
  /    \
~J1a   ~N1a
  |    X
 6, ~&
  13. 
 /   \
~J1b  ~N1b
 X     O
 7, ~&

Open branches: invalid argument

#3.

X 1. K1a & B1b P
X 2. (K1 & D1) P
  3. (D1 B1) P
X 4. ~(B1a v K1b) NC
X 5. K1c & D1c 2, EQ
X 6. D1a B1a 3, UQ
X 7. D1b B1b 3, UQ
X 8. D1c B1c 3, UQ
  9. K1a 1, &
  10. B1b
  11. K1c 5, &
  12. D1c
  13. ~B1a 4, ~v
  14. 
   ~K1b
  15. 
  /   \
~D1a  B1a
   |     X
 6,
  16. 
 /   \
~D1c  B1c
  X    |
 8,
  17. 
     /   \
   ~D1b  B1b
     O    O
7,

Open branches: invalid argument

Chapter 11

Top

  1. ((P1 & S1) L1)
  2. (P1 & M1) M1l
  3. (F1 C1)
  4. ((P1 & T1) D 1)
  5. (P1 & L1) (P1 L1)