Unit 10

(x)(MxAx)
(x)(MxPx)
(x)(MxGx)
(x)(MxGx)
Unit 10
Mx x Lxy x y

(a)
(x)(Mx (y)(My Lxy))

(b)
(x)(Mx (y)(My Lxy))
Unit 10
Mx x Lxy x y

(c)
(x)(Mx (y)(My Lxy))

(d)
(x)(Mx (y)(My Lxy))
Unit 10
Mx x Lxy x y

(e)
(x)(Mx (y)(My Lxy))

(f)
(x)(Mx (y)(My Lxy))
Unit 10
Mx x Lxy x y

(g)
(x)(Mx (y)(My Lxy))

(h)
(x)(Mx (y)(My Lxy))
Unit 10
(at least)

(x) Sx

(x)(y) ((Sx Sy) (x y))

Unit 10
(at most)

(x)(Sx (y)(Sy (x=y)))

(x)(y)(((Sx Sy) (x y)) (z)(Sz

(x=z) (y=z)))
Unit 10
(exactly)

(x)(Sx (y)(Sy (x=y)))

(x)(y)(((Sx Sy) (x y)) (z)(Sz

(x=z) (y=z)))
Unit 10
(only)

a Px x

Pa (x)((Sx (x a)) Px)

Unit 10
(domain)
Lxy x y

(i)
(x)(y)(Lxy (z)(Lxz (z=y)))

(j)
(x)(y)((Lxy (xy)) (z)(Lxz (z=y)))
Unit 10
(domain)
Lxy x y

(k)
(x)(Lxx (y)((yx) Lxy))

(l)
(x)(y)(Lxy (x=y))
Unit 10
(domain)
Lxy x y

(m)
(x)(y) Lxy

(d)
(x)(Mx (y)(My Lxy))
Unit 10
(domain)
Lxy x y

(n)
(x)(y)(Lxy (xy))

(o)

(x)(y)(Lxy (xy))
Unit 10
(domain)
Lxy x y

(p)
(x)(y)(Lxy (xy))

(q)
(x)(y)((xy) Lxy)
Unit 10

(r) (x)(y)Rxy (y)(x)Rxy

(s) (x)Rx(x)Qx (x)(RxQx)
(t) (x)(RxQx) (x)Rx(x)Qx
(u) (x)(RxQx) (x)Rx(x)Qx
Unit 10

(r) (x)(y)Rxy (y)(x)Rxy

(x)(y)Rxy (y)(x)Rxy

(y)(x)Rxy (x)(y)Rxy
Unit 10

(s) (x)Rx(x)Qx (x)(RxQx)

(x)Rx(x)Qx (x)(RxQx)

(x)(RxQx) (x)Rx(x)Qx
Unit 10

(t) (x)(RxQx) (x)Rx(x)Qx

(x)(RxQx) (x)Rx(x)Qx

(x)Rx(x)Qx (x)(RxQx)
Unit 10

(u) (x)(RxQx) (x)Rx(x)Qx

(x)(RxQx) (x)Rx(x)Qx

(x)Rx(x)Qx (x)(RxQx)
Unit 10

(definite description)

(B. Russell)

Unit 10

(1)

(2)
Unit 10

(3)

(4)

(5) x
Unit 10

(3)
x(Fx)
(4)
(x)(Fx (y)(Fy (y=x)))
(5) x
Bx
Unit 10

Fx x Bx x

(x)(Fx (y)((Fy (y=x)) Bx))

Unit 10

(2)
(1)

(x)(Fx (y)((Fy (y=x)) Bx))

(x)(Fx (y)((Fy (y=x)) Bx))