'

PL 120  Symbolic Logic I

Symbolizations in Predicate Logic

Monadic Predicates Using Single and Multiple Quantification and Proper Names
Solutions

 

1.  (x)(Ax Cx)

2.  (x)(Ax -Bx)

3.  (x)(Ex Rx)

4.  (x)(Bx -Rx)

5.  Cc

6.  (Cc -Cd)

7.  Cc (x)Mx

8.  (x)Cx v (x)Lx

9.  ~(x)Lx or (∃x)~Lx

10.  (∀x)(Cx Lx) (Cc Lc)

11  (x)Lx Dd

12.  (x)Mx

13.  (x)(Mx Ax)

14.  ~(y)Ry  or (x)~Rx

15.  (y)(My Dy) -(y)(Dy My)

16.  -(x)(Dx Sx)

17.  (x)(Ex Px)

18.  (x)[Lx (Px v Mx)]

19.  (x)(Mx Lx)

20.  (x)(Mx Lx)

21.  (x)(Mx Lx) (x)(Lx Mx)

22.  (x)(Mx Px)

23.  -(x)(Lx Dx)

24.  (x)[(Cx Lx) Dx]

25.  (Cq Lq)

26.  (x)(Lx Cx) Cq

27.  (x)(Lx Cx) (x)(Lx -Cx)