Để xác định các mệnh đề a), b), c), d) là đúng hay sai, ta cần phân tích biểu thức và đồ thị của hàm số \( y = ax^3 + bx^2 + cx + d \) mà có hình dạng cong xuống (hình về bên) như trong hình.

1. **Mệnh đề a)**: \( a > 0 \)
- Đồ thị hình về bên nghĩa là \( a < 0 \). Vậy mệnh đề này **sai**.

2. **Mệnh đề b)**: Giá trị cực đại của hàm số là \( y_{CD} = 4 \)
- Để kiểm tra điều này, ta cần biết giá trị cực đại thực tế từ đồ thị. Nếu cực đại trên đồ thị là 4, thì mệnh đề này **đúng**.

3. **Mệnh đề c)**: Tâm đối xứng của đồ thị là \( I(0;1) \)
- Các đồ thị có hình dạng cong xuống thường không có tâm đối xứng. Nếu có, nó thường không nằm ở điểm (0,1). Vậy mệnh đề này **sai**.

4. **Mệnh đề d)**: \( a + c = b + d \)
- Mệnh đề này cần kiểm tra điều kiện này với các hệ số trong biểu thức. Tuy nhiên, việc khẳng định mà không có thông tin cụ thể về các hệ số là không thể, nên mệnh đề này cũng cần kiểm tra thêm.

Tóm lại:
- a) Sai
- b) Đúng (nếu đúng với giá trị cụ thể)
- c) Sai
- d) Không thể xác định với thông tin hiện tại.