Академический Документы
Профессиональный Документы
Культура Документы
3. 1. -b 4. 1. (avb))-(a.c)
2. -a)b 2. a.b
3. a)(-c.-d) 3. a)c /-a
4. -c)e /a.e --------------
---------------- 4 a
5. a 5. avb
6. -c.-d 6. -(a.c)
7. -c 7. a)(a.c)
8 e 8. -a
9. a.e
7. 1. a)b 8. 1. (bve))f
2. -a)c 2. a)b
3. -(a.b) 3. avc
4. -cv(d.e) /d 4. c)e
---------------- 5. a /f.a
5. a)(a.b) ------------
6. -a 6. (a)b).((c)e)
7. c 7. bve
8. d.e 8. f
9. d 9. f.a
-2-
1. 1. av-(bvc) 2. 1. a)(b)c)
2. b 2. a
3. a)(c)d) 3. b
4. -d /-c 4. -cva /a
7. 1. (a.b))c 8. 1. a)b
2. e)f 2. (a.b))c
3. -c 3. e)f
4. (a.b)ve /fvg 4. ave /cvf
IV. State the Rule of Replacement used for each of the following
arguments.
3. (--q)r)v(s.t) 4. (r.y)v(r.y)
/(q)r)v(s.t) /r.y
7. (m)n)v(r:s) 8. [d.(e.f)])(gvh)
/(m)n)v[r.s)v(-r.-s)] /[(d.e).f])(gvh)
1. 1. (p.q))r 2. 1. a)-(bvc)
2. p 2. (-av-b))c / c
3. (q)r))s ------------------
4. -sv(t)m) /-tvm 3. --(bvc))-a
------------------- 4. (bvc))-a
5. p)(q)r) 5. -(bvc)v-a
6. q)r 6. (-b.-c)v-a
7. s 7. -av(-b.-c)
8. --s 8. (-av-b).(-av-c)
9. t)m 9. -av-b
10. -tvm 10. c
-5-
7. 1. -avb 8. 1. (avb))c
2. b)(c.d) 2. (cv-b))a /a
3. -cv-d /-a ---------------
--------------- 3. -c)-(avb)
4. a)b 4. -c)(-a.-b)
5. a)(c.d) 5. cv(-a.-b)
6. -(c.d))-a 6. (cv-a).(cv-b)
7. -(c.d) 7. (cv-b).(cv-a)
8. -a 8. cv-b
9. a
5. --bv(c)-e) 5. (-avb)
6. bv(-cv-e) 6. -c)-d
7. (bv-c)v-e 7. --d)--c
8. -(bv-c))-e 8. d)c
9. a)-e
5. 1. (S)T).(T)S) 6. 1.-F)(G.H)
2. (S:T))(-X)-Y) /YvX 2. -(H.G) /FvH
s23 EXERCISES
3. 1. a)b 4. 1. x)-(-y)-z)
2. a)(b)c) /a)c 2. -y)(z)-w) /x)-w
1. p)q
2. r)s
3. pvr
4. (qvs))-t
5. tvw /w
----------------
6. -w IP
7. (p)q).(r)s) 1,2 CJ
8. qvs 7,3 CD
9. -t 4,8 MP
10. w 5,9 DS
11. w.-w 10,6 CJ
12. w 6-11 IP
-8-
1. a.b
2. b)(e.f)
3. -evc
4. c)d /d
------------
5. -d IP
6. -c 4,5 MT
7. -e 3,6 DS
8. b 1 SP
9. e.f 2,8 MP
10. e 9 SP
11. e.-e 7,10 CJ
12. d 5-11 IP
1. r)x
2. (r.x))z /r)z
-------------------
3. r /z CP
4. -z IP
5. x 1,3 MP
6. r.x 3,5 CJ
7. z 2,6 MP
8. r)z 3,7 CP
-9-
s24 EXERCISES
3. 1. -s 4. 1. (svb))-(s.c)
2. -r)s 2. s.b
3. r)(-t.-w) 3. s)c /-s
4. -t)x /x
7. 1. -b)d 8. 1. e)k
2. -d)a 2. -e)f
3. (a.b))c 3. -(e.k)
4. -d.e /c 4. -fv(y.e) /y