.


:




:

































 

 

 

 


8 . 1. (6 ):




8-12 3

13-16 4

17-20 5

 

 

 


3.

.

6

1. (6 ):

- , .

- 3, , , , 3.

- , .

- , - . , .

- , .

- , ; , , .

2. (2 ):

(( ↔ ) ∧ )→(∧ );

3. , (2 )?

(( ∧ ) → ) ↔ → ( → );

4. ( ) (4 ):

(b→ ┐c ) ┐(b /\ c)

( /\ ) ┐ ( → ┐)

5. ? (6 ):

, .

8 .

8-12 3

13-16 4

17-20 5


3

7

1. (6 ):

- ,

-,

- , .

- , ; .

- . . ( . - ).

- , , .

2. (2 ):

┐ (→ ) → /\ ┐

3. , (2 )?

( → ( → )) → (( → ) → ( → ));

4. ( ) (4 ):

┐ (b /\ c) (┐b v ┐c)

( v ┐) ( v ) →( Λ )

5. ? (6 ):

, .

8 .

8-12 3

13-16 4

17-20 5


3

8

1. (6 ):

- , .

- , .

-, , .

- , .

- , , .

- , . , -

2. (2 ):

( ∨ ) ∧ ┐ →

3., (2 )?

((( → ) ∧ ( → )) ∧ ( ∨ )) → ;

4. ( ) (4 ):

(( ) →┐) → (( ) →┐) →

┐(┐ v ┐) ┐ v (┐ v )

5. ? (6 ):

, .

8 .

8-12 3

13-16 4

17-20 5


3

9

1. (6 ):

- , .

- .

- , .

- , .

- , . , , .

- - , , .

2. (2 ):

( → ) ∧ ┐ → ┐

3. , (2 )?

┐ ( ∨ ) ↔ ( ∧ ) ∨ (┐ ∧ ┐);

4. , (4 )

(( ) → ┐) → (( ) → ┐) →

┐( → ┐) ↔ (┐ v )

5. ? (6 ):

,





:


: 2016-12-05; !; : 1680 |


:

:

- - , .
==> ...

1643 - | 1602 -


© 2015-2024 lektsii.org - -

: 0.01 .