Готовые работы
, 6, . 750.00 .

750.00

, 6


: 2011

1. &V¬→↔ :
. 6. «» , .

2. : XY(X↔Y)

3. , : (P→Q)→((P→Q)→P)

4. : (X↔Y)(Y↔Z)

5. : ((((A→B)→A)→B)→C)→C

6. , , , : (X→Y)(Y→Z)(Z→X)

7. , , : X v Y → (Y→Z)

9. : {x v y; x → y;x ¤ y}

10. : -

12. : ¥x(A(x) → y(B(y)))(A(x) → B(x)) → B(x)

13 , : , . . , .

14. , q1 ( ). , :a0 l l l a0 l l l ( 1)