1

(1)

(2)

(3)

(4)

(5)

(6)

(7)

(8)

(9)

(10)

(1)

(2)

(3)

(4)~

(5)

(6)v

(7)

(8)

(9)

(10)

(2)(5)(6)(7)(8)(10)

(1)(3)(4)(9)

(1)ABA:B:

(2)CDC:D:

(3)EFE:F:

(4)GHG:H:

(5)I

(6)[(P Q)(S R)]TP:Q:S:R:

T:

(7)M v NM:N:

(8)OUO:U:

(9)WKW:K:

(10)[(LP) v A][(LP)~A]L:P:

A:

(11)A v B A: Pythagoras invented the theorem named after him; B: Descartes

invented analytic geometry

(12)(C v D) v (~E v ~F)C: John studies Plato; D: John studies Kant; E: Mary studies

Aristotle; F: Mary studies Descartes

(13)~GG: Harvard University is in London

(14)HIH: Freud is smart; I: Freud is famous

(15)M ~NM: Life is good; N: you waste your life

(16)O P P: thinking robots will be built; O: the nature of thought has been

revealed

(17)RSR: Eric happens to nearby; S: Eric has a car

(18)(T v J) ~(C v B)T: Jordan was a socialist; J: Jackson was a socialist; C: Clinton

was a communist; B: Bush was a communist

(19)E v FE: philosophy is interesting; F: psychology is attractive

(20)A BA: Allen is in town; B: Joe is out of town

(1)A B, /~BA:B:

(2)C v D, E(F G), /F~C

C:D:E:

F:G:

(3)IJ, I(K ~L), L, /~K

I:J:K:L:

(4)M(N v ~O), ~O M

M:N:O:

(5)~(R v S), TS, AB, /~C

R:S:T:U:

A:B:

C:

(6)~D (EF), (EF) [(GH)I], J D, /J ~I

D:E:F:G:

H:I:J:

(7)

(8)

(1) (p v q)r

(2) p (qr)

(3) ~p~q

(4) ~(p q) v q

(5) p~(q v r)

(6) (p v ~q)p

(7) [~(p~q) (q v ~p)]p

(8) p(q v ~r)

(9) (pq)(q v r)

(10) {p v [q (r~p)]} v (~rq)

(1) A (A v A), ~A (~A v ~A), (A v B) [(A v B) v (A v B)]

(2) (A v B)(BC), (A v ~B)(~BC), [A v (D v B)][(D v B)C]

(3) A (~B C), ~A (~B C), A (~B ~C)

(4) [A(~BC)] B, [A~ (BC)D] (BC), [(A v D)(~BC)] B

(5) A (B ~A), (A v C) [B ~(A v C)], (A C) [B ~(A C)]

(6) (AB) v (C~B), [A(B v D)] v [C~(B v D)], (~AB) v (C~B)

(7) ~[A (A v B)], ~{(A v C) [(A v C) v B]}, ~[A (A v ~B)]

(8) ~(AB)~(CB), ~[A(B v D)]~[C(B v D)], ~(~AB)~(CB)

(9) (A v B) ~(B C), (A v ~B) ~(~B C), (~A v B) ~(B C)

(10) [~(AB) v ~A] (B ~A), {~[A(B v C) v ~A] [(B v C) ~A],

[~(AB)C v ~(AB)] [C ~(AB)]

(1)(a)

(2)(f)
 6

(3)(c)(m)

(4)(n)

(5)(a)

(6)(b)(c)(i)(m)

(7)(j)

(8)(e)(g)

(9)(i)

(10)(l)(p)

(11)(h)

(12)(h)(k)(n)

(13)(f)

(14)(d)

(15)(b)(c)(m)

(16)(j)

(a)(1)(5)

(b)(6)(15)

(c)(3)(6)(15)

(d)(14)

(e)(8)

(f)(2)(13)

(g)(8)

(h)(11)(12)

(i)(6)(9)

(j)(16)

(k)(12)

(l)(10)
 7

(m)(3)(6)(15)

(n)(4)(12)

(o)

(p)(10)

(2) ~ H v ( ~ J v ~ K)
(1) M ~ N
F T F F T F F T
T F F T
T F T F T F F T
F F F T
F T T T F T F T
T TU FT[~FUT ( B
T T T F
T F (9) v D)]
F F T F
F T T FT TT TFTT FT T T T
T F T FF TT TTTF FT T T T
F T T TT FT TFTT FT F T T
(5) S [( S T) T] T F T TF FT TTTF FT F T T
(8)(3)P R( ~
T T T (E
O v ~ P)
T T ~TR)T ( G~(TD
(4)(6) E)TFK)~T ETKT T F
FT FF F T
F T F TT FT FTT T
F F T T FT TT FT FTFTFT TT T
F T T F
T H
FF FT F T TTFT F
T T (T~F HF T F T TTFTFT FFTTTFT TF F
F F F
(7) TT TF T F FTTFH)T
F TT F FFTTTF TTFFFFF FF F F
F TT T F F T F F F
FF FT TF FT TTFT F F F
T FF TT TF FF F
F T T F F F
 8

(10) ~ W ( E F ) (11) D v ( D D )
F T F T T T T T T T T
T F T T T T F T F T F
F T F F F T
T F F F F T
F T F T F F
T F F T F F
F T F F F F (12) ~ S v ( ~ S ~ S )
T F F F F F F T T FT T FT
T F T TF T TF

(13) { G [ M ( ~ M N )]} G
T T T T F T T T T T
F T T T F T T T F F
T T F T T F T T T T
F T F T T F T T F F
T T T T F T T F T T
F T T T F T T F F F
T T F T T F F F T T
F T F T T F F F F F

(14) (~ H ~ G) v (H G)
F TF F T T T T T
T FF F T F F F T (16) ~ (Y Y)
F TF T F F T F F F T T T
T FT T F T F F F F F T F

(15) ( B F ) ( ~ B ~ F)
T T T T F T T F T (18) N ~ N
F F T T T F F F T T F F T
T F F T F T F T F F F T F
F T F T T F F T F

(17) [( T F ) v (~ T ~ F )] ( T F )
T T T T F T F F T T T T T
F F T T T F T F T F F F T
T F F T F T T T F F T F F
F T F T T F T T F T F T F
 9

(19) [ E v ( ~ D ~ D )] ~ E
T T F T F FT F F T
F F F T F FT F T F
T T T F T TF F F T
F T T F T TF T T F

(20) G [G v ( J v ~ J )]
T T T T T F F T
F T F F T F F T
T T T T F F T F
F T F F F F T F

5-1
 10

(2)(3)(4)(7)(11)(13)(15)(16)(18)

(6)(19)

(1)(5)(8)(9)(10)(12)(14)(17)(20)

5-2-I

(2)(3)(5)(8)

5-2-II

(1)(3)(6)(9)

5-2-III

(1)(2)(3)(4)(5)(6)

6-1

6-2

(2) (P~Q)R (1) (K v L) T

(P~Q) ~(K v L) T
R ~K
P ~L
~Q

(4) S(~W v ~D) (3) ~[F~(A v ~H)]

~(~W v ~D) (~W v ~D) ~F ~~(A v ~H)
~S S (A v ~H)
~~W ~W ~D A ~H
~~D
W
D
 11

(5) N v (C v ~S)
(6) M (B K)
N (C v ~S)
~M (B K)
C ~S
~B K

(8) (L~I) ~(U~E) (7) (~J ~V)[(J H) ~D]

~(L~I) (U~E) ~J ~V
~L ~~I U ~U (J H) ~D
I ~E ~~E ~(J H) ~D
E J ~~J ~V
~H J
~~J ~V
J

(9) [Y(TE)] v ~(S v E)

Y(TE) ~(S v E)
Y ~Y ~S
TE ~( TE)
T ~T T ~T
E ~E ~E E

(10) [(O v W) ~(DH)] ~[~(EO) v D]

~[(O v W) ~(DH)] ~[~(EO) v D]
O v W ~~(EO)
~~(DH) ~D
DH EO
D E
H O
O W
 12

6-3

7-1-I

(1) p (q r), q (r s) /p (~q s)

(2) (p v q) q, (r v ~p) ~q /(r v s) ~p

(3) (p v q) (rs), (~p v ~q) t /(~r v ~s) t

(4) p (qr), (qr) ~s /p ~s

7-1-II

7-2-I

7-2-II

(1)(2)(3)(6)(7)(8)(10)

7-3-I 7-2 II

7-3-II
 13

(2)(4)(5)(6)(8)(11)(12)(13)(15)

7-4 7-3

7-5-I 7-3

7-5-II 7-2