Luận văn Cơ sở logic toán của các phép chứng minh toán học cơ bản và áp dụng chứng minh các bài toán phổ thông

Vị từ n ngôi. Giả sử M , B ={0,1} *Vị từ n ngôi xác định trên M là ánh xạ f: Mn B sao cho a = (a1,a2,.,an)Mn f(a) có giá trị bằng 1 thì f(a) là mệnh đề đúng; f(a) có giá trị bằng 0 thì f(a) là mệnh đề sai. Kí hiệu: f(x1,x2,.,xn) Vị từ n ngôi xác định trên M cho ta một quan hệ n ngôi trên M. * Ví dụ: f(x1,x2,.,xn) = “, xiR” là một vị từ n ngôi trên R.

doc49 trang | Chia sẻ: ngtr9097 | Lượt xem: 2372 | Lượt tải: 4download
Bạn đang xem trước 20 trang tài liệu Luận văn Cơ sở logic toán của các phép chứng minh toán học cơ bản và áp dụng chứng minh các bài toán phổ thông, để xem tài liệu hoàn chỉnh bạn click vào nút DOWNLOAD ở trên