In logic, necessity and sufficiency are implicational relationships between statements. The assertion that one statement is a necessary and sufficient condition of another means that the former statement is true if and only if the latter is true. That is, the two statements must be either simultaneously true or simultaneously false. In ordinary English, 'necessary' and 'sufficient' indicate relations between conditions or states of affairs, not statements. Being a male sibling is a necessary and sufficient condition for being a brother. Fred's being a male sibling is necessary and sufficient for the truth of the statement that Fred is a brother.

Property Value
dbo:abstract
  • In logic, necessity and sufficiency are implicational relationships between statements. The assertion that one statement is a necessary and sufficient condition of another means that the former statement is true if and only if the latter is true. That is, the two statements must be either simultaneously true or simultaneously false. In ordinary English, 'necessary' and 'sufficient' indicate relations between conditions or states of affairs, not statements. Being a male sibling is a necessary and sufficient condition for being a brother. Fred's being a male sibling is necessary and sufficient for the truth of the statement that Fred is a brother. (en)
  • 25بك المحتوى هنا ينقصه الاستشهاد بمصادر. يرجى إيراد مصادر موثوق بها. أي معلومات غير موثقة يمكن التشكيك بها وإزالتها. (مارس 2016) الشرط الضروري والشرط الكاف مقولة ينظر إليها من منظور علم المنطق والحجاج تبيان للعلاقة بين عبارتين منطقتين. والعلاقة هنا ليست مطردة، أي يجوز أن يكون الشرط ضروريا وليس كافيا وقد يكون كافيا وليس ضروريا. على سبيل المثال، وجود الأوكسجين شرط ضروري لوجود الحياة لكنه ليس كافيا حيث لا تقوم حياة بدون ماء. في المقابل، استقلال الطائرة شرط كاف للسفر لكنه ليس ضروريا حيث يمكن السفر بالسيارة أو الباخرة. من ناحية أخرى، حين نقول أن الحدث أ شرط ضروري وكاف لوقوع الحدث ب فهذا يكافئ قولنا أن الحدث ب سيقع إذا وفقط إذا وقع الحدث أ. (ar)
  • Notwendige Bedingung und hinreichende Bedingung sind Begriffe aus der Theorie wissenschaftlicher Erklärungen, die Bedingungen in zwei verschiedene Typen unterteilen. Die unterschiedlichen Beziehungen zwischen Bedingendem und Bedingtem werden auch in der Logik, vor allem in der Aussagenlogik behandelt. Kausal verstanden betreffen beide Begriffe die Frage, ob bestimmte Ereignisse als Ursachen anderer Ereignisse unersetzlich sind, und ob die anderen Ereignisse zwangsläufig einträten, wenn die bestimmten Ereignisse vorliegen würden (siehe auch Kontrafaktizität). (de)
  • Una condizione necessaria e sufficiente, nella logica di una proposizione, è quell'evento che è vero se e solo se la proposizione è vera. (it)
  • Noodzakelijke en voldoende voorwaarde zijn termen uit de wetenschap, logica, argumentatieleer en rechtspraak. Ze worden gebruikt bij 'als A, dan B'-gevolgtrekkingen. A kan de voorwaarde of oorzaak zijn, en B het gevolg of effect, maar meer algemeen zijn het beide proposities waarbij het waar zijn van de een iets zegt over het waar zijn van de andere. (nl)
  • Warunek konieczny – wniosek wypływający z danego faktu. Jeżeli fakt ma zaistnieć, to zaistnieć (koniecznie) musi również fakt będący wnioskiem. Na przykład: jeżeli liczba jest podzielna przez 15, to jej ostatnią cyfrą jest 0 lub 5. Jest to oczywiste, bo liczba podzielna przez 15 jest podzielna przez 5, a ostatnią cyfrą takiej liczby może być jedynie 0 lub 5. Zatem — to, że ostatnią cyfrą liczby jest 0 lub 5 jest warunkiem koniecznym dla podzielności przez 15 — liczba KONIECZNIE musi mieć ostatnią cyfrę 0 lub 5, by była podzielna przez 15. Nie ma zatem sensu badanie podzielności przez 15 liczb, które nie kończą się na 0 lub 5. Nie jest to jednak warunek wystarczający — liczba może kończyć się na 0 lub 5, a jednak nie być podzielna przez 15 (np. 20). (pl)
  • As noções de condições necessárias e suficientes são muito usadas em filosofia. Tradicionalmente, a essência de uma coisa F são as condições necessárias e suficientes para que que algo seja F. Ser A é condição necessária para X ser F quando é impossível que X seja F e não seja A. Por exemplo: ter um assento é uma condição necessária para algo ser uma cadeira. Ser B é uma condição suficiente para X ser F quando é impossível que X seja B e não seja F. Por exemplo: ser um ser humano é uma condição suficiente (mas não necessária) para algo ser um animal. Ser C é uma condição necessária e suficiente para X ser F quando é impossível tanto que X seja F sem ser C quanto X ser C sem ser F. Por exemplo: ser formado por moléculas compostas de dois átomos de hidrogênio e um átomo de oxigênio é uma condição necessária e suficiente para algo ser água.De modo geral, se A é uma condição necessária para que algo x seja F, então se x não for A, então x não é F e, necessariamente, se x for F, então x é A. Por outro lado, se B for uma condição suficiente para que algo x seja F, então se x for B, então x é F. Consequentemente, as seguintes inferências são: 1. * x é F. 2. * Portanto, x é A. 3. * x não é A. 4. * Portanto, x não é F. 5. * x é B. 6. * Portanto, x é F. (pt)
  • Необходимое условие и достаточное условие — виды условий, логически связанных с некоторым суждением. Различие этих условий используется в логике и математике для обозначения видов связи суждений. (ru)
  • 充分及必要條件(sufficient and necessary condition)簡稱「充要條件」。 在逻辑学中: * 当命题「若A則B」为真时,A称为B的充分条件,B称为A的必要条件。 因此: * 当命题「若A則B」與「若B則A」皆为真时,A是B的充分必要条件,同时,B也是A的充分必要条件。 * 当命题「若A則B」为真,而「若B則A」为假时,我们称A是B的充分不必要条件,B是A的必要不充分条件,反之亦然。 (zh)
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 169319 (xsd:integer)
dbo:wikiPageRevisionID
  • 734955386 (xsd:integer)
dct:subject
http://purl.org/linguistics/gold/hypernym
rdf:type
rdfs:comment
  • In logic, necessity and sufficiency are implicational relationships between statements. The assertion that one statement is a necessary and sufficient condition of another means that the former statement is true if and only if the latter is true. That is, the two statements must be either simultaneously true or simultaneously false. In ordinary English, 'necessary' and 'sufficient' indicate relations between conditions or states of affairs, not statements. Being a male sibling is a necessary and sufficient condition for being a brother. Fred's being a male sibling is necessary and sufficient for the truth of the statement that Fred is a brother. (en)
  • 25بك المحتوى هنا ينقصه الاستشهاد بمصادر. يرجى إيراد مصادر موثوق بها. أي معلومات غير موثقة يمكن التشكيك بها وإزالتها. (مارس 2016) الشرط الضروري والشرط الكاف مقولة ينظر إليها من منظور علم المنطق والحجاج تبيان للعلاقة بين عبارتين منطقتين. والعلاقة هنا ليست مطردة، أي يجوز أن يكون الشرط ضروريا وليس كافيا وقد يكون كافيا وليس ضروريا. على سبيل المثال، وجود الأوكسجين شرط ضروري لوجود الحياة لكنه ليس كافيا حيث لا تقوم حياة بدون ماء. في المقابل، استقلال الطائرة شرط كاف للسفر لكنه ليس ضروريا حيث يمكن السفر بالسيارة أو الباخرة. من ناحية أخرى، حين نقول أن الحدث أ شرط ضروري وكاف لوقوع الحدث ب فهذا يكافئ قولنا أن الحدث ب سيقع إذا وفقط إذا وقع الحدث أ. (ar)
  • Notwendige Bedingung und hinreichende Bedingung sind Begriffe aus der Theorie wissenschaftlicher Erklärungen, die Bedingungen in zwei verschiedene Typen unterteilen. Die unterschiedlichen Beziehungen zwischen Bedingendem und Bedingtem werden auch in der Logik, vor allem in der Aussagenlogik behandelt. Kausal verstanden betreffen beide Begriffe die Frage, ob bestimmte Ereignisse als Ursachen anderer Ereignisse unersetzlich sind, und ob die anderen Ereignisse zwangsläufig einträten, wenn die bestimmten Ereignisse vorliegen würden (siehe auch Kontrafaktizität). (de)
  • Una condizione necessaria e sufficiente, nella logica di una proposizione, è quell'evento che è vero se e solo se la proposizione è vera. (it)
  • Noodzakelijke en voldoende voorwaarde zijn termen uit de wetenschap, logica, argumentatieleer en rechtspraak. Ze worden gebruikt bij 'als A, dan B'-gevolgtrekkingen. A kan de voorwaarde of oorzaak zijn, en B het gevolg of effect, maar meer algemeen zijn het beide proposities waarbij het waar zijn van de een iets zegt over het waar zijn van de andere. (nl)
  • Необходимое условие и достаточное условие — виды условий, логически связанных с некоторым суждением. Различие этих условий используется в логике и математике для обозначения видов связи суждений. (ru)
  • 充分及必要條件(sufficient and necessary condition)簡稱「充要條件」。 在逻辑学中: * 当命题「若A則B」为真时,A称为B的充分条件,B称为A的必要条件。 因此: * 当命题「若A則B」與「若B則A」皆为真时,A是B的充分必要条件,同时,B也是A的充分必要条件。 * 当命题「若A則B」为真,而「若B則A」为假时,我们称A是B的充分不必要条件,B是A的必要不充分条件,反之亦然。 (zh)
  • Warunek konieczny – wniosek wypływający z danego faktu. Jeżeli fakt ma zaistnieć, to zaistnieć (koniecznie) musi również fakt będący wnioskiem. Na przykład: jeżeli liczba jest podzielna przez 15, to jej ostatnią cyfrą jest 0 lub 5. Nie jest to jednak warunek wystarczający — liczba może kończyć się na 0 lub 5, a jednak nie być podzielna przez 15 (np. 20). (pl)
  • As noções de condições necessárias e suficientes são muito usadas em filosofia. Tradicionalmente, a essência de uma coisa F são as condições necessárias e suficientes para que que algo seja F. Ser A é condição necessária para X ser F quando é impossível que X seja F e não seja A. Por exemplo: ter um assento é uma condição necessária para algo ser uma cadeira. Ser B é uma condição suficiente para X ser F quando é impossível que X seja B e não seja F. Por exemplo: ser um ser humano é uma condição suficiente (mas não necessária) para algo ser um animal. (pt)
rdfs:label
  • Necessity and sufficiency (en)
  • شرط ضروري وشرط كاف (ar)
  • Notwendige und hinreichende Bedingung (de)
  • Condición necesaria y suficiente (es)
  • Condizione necessaria e sufficiente (it)
  • Noodzakelijke en voldoende voorwaarde (nl)
  • Warunek konieczny (pl)
  • Condições necessárias e suficientes (pt)
  • Необходимое и достаточное условие (ru)
  • 充分必要条件 (zh)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is foaf:primaryTopic of