.


:




:

































 

 

 

 


.

, .

,

 

  .
  .
  , . ≡ I
  , .
  , .

 

.

, .

, - , . a → b
, . ~a ˄ ~b
, , , . (~a → b) ˄ (a → c)
, - . (a ˅ b) → (~c ˄ ~d)

5. : c ˄ ~a ≡ (~c ~b)

 

a b c ~a ~b ~c c ˄ ~a ~c ~b c ˄ ~a ≡ (~c ~b)  
, .
 

.

6.1. : .

, .

 

ƎS ( ƎS )
ƎS ( ƎS )
:
 
Ǝ S
: .

 

6.2. : .

 

ⱯS
Ǝ S
: .
 
Ɐ S
: .
     

 

.

,

    .   . :  
: I A I
  , . ? (/) .
         

 

, / ?

____1- . ; _____2- . ; _____3- . (S); _____3- . ()

 

____1- . ; _____2- . ; _____3- . ; ______4- .

 

: ( ): ..

 

    .   . :  
:
  . ? (/) .
         

 

, / ?

____1- . ; _____2- . ; _____3- . (S); _____3- . ()

 

____1- . ; _____2- . ; _____3- . ; ______4- .

 

: ( ): 3- (S).

 

8. : , . .

 

? ___ ; ___ ; ___

 

2- .? ____;___. . ? (/)____

 

, .? _________________________________________

 

: ________

 

: ́ . 1- 3- . ? 1- : - . .  

 



<== | ==>
- ----- | 16
:


: 2016-12-06; !; : 1056 |


:

:

.
==> ...

1789 - | 1647 -


© 2015-2024 lektsii.org - -

: 0.01 .