عرض مصدر شرط ضروري وشرط كاف

[[ملف:Solar eclipse 1999 4 NR.jpg|تصغير|200بك|يسار]]
'''الشرط الضروري والشرط الكاف''' مقولة ينظر إليها من منظور [[المنطق|علم المنطق]] و[[حجة (منطق)|الحجاج]] تبيان للعلاقة بين [[عبارة منطقية|عبارتين منطقتين]].<ref>[https://plato.stanford.edu/entries/logic-intensional/ Stanford University primer, 2006]. {{Webarchive|url=https://web.archive.org/web/20180911104433/https://plato.stanford.edu/entries/logic-intensional/ |date=11 سبتمبر 2018}}</ref><ref>{{استشهاد بكتاب|الأخير=Betz|الأول=Frederick|عنوان=Managing Science: Methodology and Organization of Research|تاريخ=2011|ناشر=Springer|مكان=New York|isbn=978-1-4419-7487-7|صفحة=247}}</ref><ref>{{استشهاد بكتاب|الأخير=Manktelow|الأول=K.I.|عنوان=Reasoning and Thinking|وصلة=https://archive.org/details/reasoningthinkin0000mank|تاريخ=1999|ناشر=Psychology Press|مكان=East Sussex, UK|isbn=0-86377-708-2}}</ref> والعلاقة هنا ليست مطردة، أي يجوز أن يكون الشرط ضروريا وليس كافيا وقد يكون كافيا وليس ضروريا. على سبيل المثال، وجود الأوكسجين شرط ضروري لوجود الحياة لكنه ليس كافيا حيث لا تقوم حياة بدون ماء. في المقابل، استقلال الطائرة شرط كاف للسفر لكنه ليس ضروريا حيث يمكن السفر بالسيارة أو الباخرة. من ناحية أخرى، حين نقول أن الحدث أ شرط ضروري وكاف لوقوع الحدث ب فهذا يكافئ قولنا أن الحدث ب سيقع [[إذا وفقط إذا]] وقع الحدث أ.

== أمثلة ==
=== شرط ضروري وغير كاف ===
** سقوط المدنيين شرط ضروري ولكنه غير كاف لاتهام طرف ما بارتكاب [[جريمة ضد الإنسانية]].
** [[دالة مستمرة|اتصال الدالة]] شرط ضروري لتكون [[اشتقاق (توضيح)|قابلة للاشتقاق]] ولكن اتصال الدالة وحده شرط غير كاف.

=== شرط كاف وغير ضروري ===
* التواجد على متن طائرة عند هبوطها شرط كاف للوصول إلى المطار لكنه غير ضروري حيث يمكن الوصول إلى المطار بوسائل أخرى.
=== شرط كاف وضروري ===
** وجود الماء والأكسجين شرط ضروري وكاف لوجود الحياة.
** إتقان القراءة ب[[اللغة العربية]] شرط ضروري وكاف لقراءة القرآن.
** وجود [[مصفوفة قابلة للعكس|معكوس لمصفوفة ما]] شرط كاف وضروري للحصول على حل وحيد لتلك المصفوفة.
== مراجع ==
{{مراجع}}
{{روابط شقيقة}}
{{منطق}}
{{شريط بوابات|منطق}}
{{بذرة منطق}}

[[تصنيف:شرط ضروري وشرط كاف| ]]
[[تصنيف:خوارزميات البحث الثنائي]]
[[تصنيف:شرطيات]]
[[تصنيف:مصطلحات رياضياتية]]
[[تصنيف:مفاهيم في المنطق]]
[[تصنيف:مفاهيم ميتافيزيقية]]