Wiki - KEONHACAI COPA

Cần và đủ

Trong logic và toán học, cần và đủ là các thuật ngữ được sử dụng để mô tả mối quan hệ có điều kiện giữa hai mệnh đề. Ví dụ, trong câu điều kiện: "Nếu P thì Q ", Q là điều kiện cần đối với P, vì sự đúng đắn của mệnh đề Q được đảm bảo bởi sự đúng đắn của mệnh đề P (câu mang ý nghĩa tương đương là: không thể có P mà không có Q ).[1] Tương tự, P là điều kiện đủ với Q, bởi vì mệnh đề P đúng thì mệnh đề Q chắc chắn đúng, nhưng mệnh đề P không đúng không phải lúc nào cũng có nghĩa là mệnh đề Q không đúng.[2]

Nói chung, điều kiện cần là điều kiện phải có để điều kiện khác xảy ra, còn điều kiện đủ là điều kiện tạo ra điều kiện đã nói đến.[3] Khẳng định rằng một mệnh đề nào đó (mệnh đề A) là điều kiện "cần và đủ" của một mệnh đề khác (mệnh đề B) có nghĩa là mệnh đề trước (A) là đúng khi và chỉ khi (hay tương đương) mệnh đề sau (B) là đúng. Có nghĩa là, hai mệnh đề phải đồng thời đúng hoặc đồng thời sai.[4][5][6]

Định nghĩa[sửa | sửa mã nguồn]

Trong câu điều kiện, "nếu có S, thì có N ", nội dung của S được gọi là tiền đề, và nội dung của N được gọi là hậu quả. Câu điều kiện này có thể được viết theo một số cách tương đương (không thay đổi ý nghĩa), chẳng hạn như "Có N nếu có S", "Có S chỉ khi có N", "Có S ngụ ý có N", "Có N được ngụ ý bởi có S", S → N, S ⇒ N và "có N bất cứ khi nào có S”.[7]

Bảng chân trị (Truth table)
Đ = Đúng, S = Sai
SN
ĐĐĐĐĐ
ĐSSĐS
SĐĐSS
SSĐĐĐ

Tham khảo[sửa | sửa mã nguồn]

  1. ^ “[M06] Necessity and sufficiency”. philosophy.hku.hk. Truy cập ngày 2 tháng 12 năm 2019.
  2. ^ Bloch, Ethan D. (2011). Proofs and Fundamentals: A First Course in Abstract Mathematics. Springer. tr. 8–9. ISBN 978-1-4419-7126-5.
  3. ^ Confusion-of-Necessary (15 tháng 5 năm 2019). “Confusion of Necessary with a Sufficient Condition”. www.txstate.edu (bằng tiếng Anh). Truy cập ngày 2 tháng 12 năm 2019.
  4. ^ Betz, Frederick (2011). Managing Science: Methodology and Organization of Research. New York: Springer. tr. 247. ISBN 978-1-4419-7487-7.
  5. ^ Manktelow, K. I. (1999). Reasoning and Thinking. East Sussex, UK: Psychology Press. ISBN 0-86377-708-2.
  6. ^ Asnina, Erika; Osis, Janis & Jansone, Asnate (2013). “Formal Specification of Topological Relations”. Databases and Information Systems VII. 249 (Databases and Information Systems VII): 175. doi:10.3233/978-1-61499-161-8-175.
  7. ^ Devlin, Keith (2004), Sets, Functions and Logic / An Introduction to Abstract Mathematics (ấn bản 3), Chapman & Hall, tr. 22–23, ISBN 978-1-58488-449-1
Wiki - Keonhacai copa chuyên cung cấp kiến thức thể thao, keonhacai tỷ lệ kèo, bóng đá, khoa học, kiến thức hằng ngày được chúng tôi cập nhật mỗi ngày mà bạn có thể tìm kiếm tại đây có nguồn bài viết: https://vi.wikipedia.org/wiki/C%E1%BA%A7n_v%C3%A0_%C4%91%E1%BB%A7