1. . .
2. . .
1. , .
2. :
.
.
X.
.
3. :
" (S(x) P(x)),
" (S(x) ùP(x)),
$ (S(x) ÙP(x)),
$ (S(x) ÙùP(x)).
2.
1. .
2. .
1. , :
13 ; 7 3 ; , ; ; ; ; , , , ; 81.
2. .
3. , ù(Ùù) . , ?
3.
1. . .
2. : , , , , . .
1. , : , , , , , , , , , , , , , .
2. : , , , .
3. : , , .
4.
1. . .
2. .
1. :
, , , , , , , , , , . . , , , , . . .
2. , .
3. .
4. : ((q)∧)q .
5.
|
|
1. .
2. .
3. .
1. , :
2. : ((q)∧ù)ùq .