.


:




:

































 

 

 

 


8 .




3.

.

 

1

1. (6 ):

-, .

- , .

- 1940 . 3 , 2000 . 10 . .

- , .

- , .

- , , .

2. (2 ):

( ) /\ (┐ ┐).

3. , (2 )?

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

4. ( ) (4 ):

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

( /\ ) ┐ (┐ \/ ┐)

5. ? (6 ):

, .

 

8 .

8-12 3

13-16 4

17-20 5

 


3.

.

 

2

1. (6 ):

- , , .

- .

- , .

- , .

- , , , . (.. ).

- , . , .

2. (2 ):

\/ ( ).

3. , (2 )?

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

4. ( ) (4 ):

( v c) ┐ (┐ /\ ┐c);

( ) ┐ ( /\ ┐)

5. ? (6 ):

.

 

8 .

8-12 3

13-16 4

17-20 5

 


3

 

3

1. (6 ):

- .

- , , .

- , .

- , , , .

- , .

- , . .

, , .

2. (2 ):

( \/ (┐ → )).

3. , (2 )?

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

4. ( ) (4 ):

( → c) (┐ v c);

( \/ ) (┐ → )

5. ? (6 ):

.

 

8 .

8-12 3

13-16 4

17-20 5

 

 


3.

.

 

4

 

1. (6 ):

- ,

- - , . (- XIY-).

- , , , , ,

- , .

- , .

- , .

2. (2 ):

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

3. , (2 )?

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

4. ( ) (4 ):

( /\ c) ┐ ( → ┐c);

( ↔ ) (→ ) Λ (→)

5. ? (6 ):

,

8 .

8-12 3

13-16 4

17-20 5

 

 


3.

.

 

5

1. (6 ):

- ,

- , , .

- ,

- .

- , .

- , . , . , .

2. (2 ):

┐ (┐ ↔ ( /\ (┐))

3. , (2 )?

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

4. ( ) (4 ):

( ↔ c) (┐ v c) /\ (┐c v )

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

5. ? (6 ):

, .





:


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


:

:

.
==> ...

1950 - | 1819 -


© 2015-2024 lektsii.org - -

: 0.015 .