- , // , - .
- - -.
- - , .
:
//, /q/.
". " //.
. /-q/.
:
//, /q/.
//.
. /-q/.
? , . . , "" - , . . .
, : - , . .
:
((p v q) ^ p) q [9]; ((p v q) p) -q [10].
- , , , .
:
.
a .
_____________________________________________________________
.
(( v q) ^ -p) q. [11].
, :
//, /q/.
/-/.
/q/.
((p v q) ^ -p) q. [12].
, , , - . . , - , . .
:
, .
.
.
, , , , . , , , , . , .
, - , , , , .