Click here to load reader

Sect01 1

  • Upload
    fl-yu

  • View
    408

  • Download
    2

Embed Size (px)

Citation preview

  • 1.

2.

3. 1 .1

      • , .

4. 1.1

  • (1)4
  • (2)
  • (3)x y (4)
  • (5)2100 (6) 2 (7) (8) (9)

5.

  • p q r
  • 1 0
  • 0 1 p
  • p 1 p
  • p 0 p

6.

  • 1.3:
  • , .
  • , .
  • , 90 .
  • 90 , 90 .
  • 90 90 .

7.

8.

  • 1.1 p , p p p . p p
  • 1.3 , p (1) p .

0 1 1 0 p p 9.

  • 1.2 p q p q p q p q p q p q .
  • 1.3 (2) p q, p , q .

1 1 1 0 0 1 0 1 0 0 0 0 p q q p 10.

  • 1.3 p q p q p q p q pq p q .
  • 1.3 (3) pq, p 90, q 90

1 1 1 1 0 1 1 1 0 0 0 0 pq q p 11.

  • , :
    • (1) 90 .
    • (2) .
  • p q
  • p q

12.

  • 1.4 p q , p, q p q p q, p q pq p q .
  • p q

1 1 1 0 0 1 1 1 0 1 0 0 p q q p 13.

  • p q q p p q
  • p q
  • p q
  • p q q p
  • q p
  • q p q p

14. 1.5

  • a 4 a 2
  • a 4 a 2
  • a 2 a 4
  • a 2 a 4
  • a 2 a 4
  • r s, r a 4 s: a 2
  • a 4 a 2
  • s r

15.

  • 1.5 p q , p q p q , p q, p q p q .

1 1 1 0 0 1 0 1 0 1 0 0 p q q p 16.

  • ,
    • ,
  • , .

17.

  • 1.6 :
  • (1) , .
  • (2) , , .
  • (3) , 312 313 .

18. 1.4

  • 1 p ( q) :
  • p
  • q
  • 2 ( P) (q r) :
  • p ,
  • q ,
  • r
  • (( P) q)) r

19. 1.4

  • 3 p ((q r) ( (q r)))
  • p ,
  • q 312 ,
  • r 313 .
  • p ((q ( r)) (( q) r))

20.

  • :
  • pq p q

21.

  • 1.7 p=1, q=1, r= 0,
  • (( pq)(p q))r
  • (qr)(p r
  • ( pr)(p r)
  • 1 12 13 0

22.

  • p q r
  • .

23.

  • P.19, 1 (1)(5) (8) (11)(13).
  • P.20, 2 (1)(4) (8)(11).
  • .
  • P.21, 6 (1)(3).

24.