8. , (), (F), (P): .
9. : (((A→B) &A)→B)→((A &A)→B)
10. , , : : , , - . : , , , - . : .
11. , , : , , , , .
12. , :
Po
SoM
SoP
2.
1. : . - : .
)
)
)
)
)
2. :
3. :
, ,
) ) )
4. : , , , ,
5. , , : .
6. 5 :
) ) .
, 5 .
8. , (V), (F), (P): , -, .
9. : ((A &B) VB) ↔ (((A→B) &B)→A)
10. , , : : , , , . : . : .
11. , , : , , .
|
|
|
12. , :
Po
SoM
SoP
3.
1. : : .
)
)
)
)
)
2. :
3. : ,
) ) ) )
4. : , , ,
5. , , : - .
6. 5 :
) ) .
