debugging , . debugging .
Nodebug
ֳ nodebug , .
Nospy
spy, nospy . nospy , nodebug, , . , , spy.
53.
, , .
' . :
. , ' . .
. , '. X, .
. , . , ', ', .
. , '. '', '', '', '' ' '. ' , . α β (). , , , .
, ,
() # ()
, .
() -> ()
: , , , ( , ). . , α β, , α , β . , α β, α , β. , '', '', ''.
:
α -> β , (~α)#β
α<->β , (α&β) #(~α&~β)
α<->β , (α->β)&(β->α)
, , . , , . ' , . . ν , ρ , :
|
|
, ', ( ν,...). , ' ( ᒺ) ( ν ).
ll(, () -> ())
, X , X , X . : - X, X , X . : .
exists(Z, (, Z) & (Z))
, ' Z, Z Z . : Z, Z Z .
54.
, ', -> () <-> () ' & ('), # (') ~ (). . .
1
-> <-> . , ,
ll(, () -> ())
ll(,~() # ())