giải giúp mình bài tập về logic vị từ này với.
Xem suy luận sau: “ Mọi lập trình viên đều là người sử dụng tốt máy tính điện tử. Một số lập trình viên giỏi toán. Vì vậy, một số người sử dụng tốt máy tính điện tử là người giỏi toán”.
a) Dùng logic vị từ để mô hình hóa suy luận trên.  (1.5đ)
b) Chứng minh kết luận của suy luận trên.  (1.5đ)