1-
1.
2. , .
3. . .
4. .
5. :
) ,
) .
6. .
7. .
1. .
2. ?
3. ?
4. , .
1. . , , .
1.1. .
1.2. .
1.3. ?
1.4. .
1.5. , , .
2. .
2.1. .
2.2. .
2.3. .
2.4. .
3. .
3.1. . .
3.2. . .
3.3. . .
3.4. . .
4. , .
.
.
.
.
5. .
.
.
.
2-
1. . .
2. . .
3. () :
a) ;
) ;
) .
1. () ?
2. :
1. ( → ) ↔ (~ A v B)
2. ( → ) ↔ (B → A)
3. ( → ) ↔ (~ B → ~ A)
4. ~ ( v ) ↔ (~ A ^ ~ B)
5. ~ ( ^ ) ↔ ~ (A v B)
6. ~ ( ^ ) ↔ (A v ~ B)
7. ~ ( → ) ↔ (A ^ ~ B)
3. :
|
|
1. A ^ B╞ A v B
2. A v B╞ B
3. B╞ B v C
4. A → B╞ ~ A v B
5. A v B╞ ~ A → B
6. (A ^ B)╞ (A → B)
7. A ↔ B╞ B → A
8. A → B╞ ~ A → ~ B
9. A → B╞ ~ B → ~ A
4.
1. . .
2. . .
3. , .
4. .
1. , . .
2. . .
3. : ) ; ) .
4. ? () ?
1. (1) ; (2) .
a) , , ;
b) , ;
c) , , ;
d) , , , .
2. .
1. ( v ) ↔ ( v )
2. A → (A v B)
3. (A → B) ↔ (B → A)
4. (A → B) ↔ (~ A v B)
5. (A v B) ↔ (~ A → B)
6. ((A → B) ^ (B → C)) → (A → C)
7. ~ (A → B) ↔ (A ^ ~ B)
8. ((A → B) ^ (B → C) ^ ~ C) → ~ A