. , , .
. .
- , .
- , . , : " " " ".
, .
, :
1 - () Ȼ (٨)
2 - () Ȼ (٧)
3 - ()
4 - (‒>)
P ‒>Q, P , Q .
5 - (≡).
, , , : A B ..
.
. ,
.
:
.
:
.
:
f (X, Y)
father (david)
price (bananas)
1, 3: bill, george , . ( 2).
. .
.
- :
1- , ;
|
|
2- , ;
3- , , . .;
4- , , ;
5- , .
:
1- .
, . , .
2- : ;
3- .