| rdfs:comment
| - الشرط الضروري والشرط الكاف مقولة ينظر إليها من منظور علم المنطق والحجاج تبيان للعلاقة بين . والعلاقة هنا ليست مطردة، أي يجوز أن يكون الشرط ضروريا وليس كافيا وقد يكون كافيا وليس ضروريا. على سبيل المثال، وجود الأوكسجين شرط ضروري لوجود الحياة لكنه ليس كافيا حيث لا تقوم حياة بدون ماء. في المقابل، استقلال الطائرة شرط كاف للسفر لكنه ليس ضروريا حيث يمكن السفر بالسيارة أو الباخرة. من ناحية أخرى، حين نقول أن الحدث أ شرط ضروري وكاف لوقوع الحدث ب فهذا يكافئ قولنا أن الحدث ب سيقع إذا وفقط إذا وقع الحدث أ. (ar)
- Notwendige Bedingung und hinreichende Bedingung sind Begriffe aus der mathematischen Beweisführung, welche Bedingungen in zwei verschiedene Typen unterteilt. Die unterschiedlichen Beziehungen zwischen Bedingendem und Bedingtem werden in der Logik, vor allem in der Aussagenlogik, behandelt. (de)
- Logikan eta matematikan, beharrezkotasuna eta nahikotasuna proposizioen arteko inplikaziozko loturak dira. betetzen denean, A-k B inplikatzen duenean alegia, B proposizioa A proposizioaren baldintza beharrezkoa dela esaten da; beste hitzetan A gertatzen delarik, B ere gertatzen denean. Adibidez, "A: gipuzkoarra izatea" eta "B:Euskal Herriko herritarra" izanik, A-k B inplikatzen du, eta beraz Euskal Herriko herritarra izatea baldintza beharrezkoa da gipuzkoarra izateko (baina ez nahikoa, jakina, gainera Gipuzkoakoa izan behar delako). Halaber, betetzen denean, A proposizioa B proposizioaren baldintza nahikoa dela esaten da; arestiko adibidea harturik, gipuzkoarra izatea Euskal Herriko herritarra izateko baldintza nahikoa da, gipuzkoarra izateak euskal herritarra izatea dakarrelako. (eu)
- 필요조건(必要條件), 충분조건(充分條件), 필요충분조건(必要充分條件)은 논리학에서 논증 진술들간의 함축관계를 일컫는 말이다. (ko)
- Noodzakelijke en voldoende voorwaarden zijn implicatieve verbanden tussen beweringen. 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)
- Una condizione necessaria e sufficiente, nella logica di una proposizione, è quell'evento che è vero se e solo se la proposizione è vera. (it)
- Na lógica, os termos necessidade e suficiência são usados para descrever uma condicional material ou uma relação de implicação entre proposições. Por exemplo, na condicional "se P, logo Q", diz-se que Q é necessário para P porque P não pode ser verdade se Q não for. Semelhantemente, dizemos que "P é suficiente para Q", porque P ser verdade sempre implica que Q também é, mas P não ser verdade não significa que Q não é. A asserção de que uma proposição é uma condição tanto necessária como suficiente de outra significa que aquela é verdadeira se e somente se esta também for, isto é, ou ambas são verdadeiras, ou ambas são falsas. (pt)
- Необходи́мое усло́вие и доста́точное усло́вие — виды условий, логически связанных с некоторым суждением. Различие этих условий используется в логике и математике для обозначения видов связи суждений. (ru)
- 充分必要條件簡稱為充要條件。 在逻辑学中：
* 当命题「若P則Q」为真时，P称为Q的充分条件，Q称为P的必要条件。 因此：
* 当命题「若P則Q」與「若Q則P」皆为真时，P是Q的充分必要条件，同时，Q也是P的充分必要条件。
* 当命题「若P則Q」为真，而「若Q則P」为假时，我们称P是Q的充分不必要条件，Q是P的必要不充分条件，反之亦然。 (zh)
- A l'entorn de la lògica, ser Condició necessària i suficient descriu la relació que mantenen dues proposicions o estat de les coses, si una és condicionant de l'altra. Per exemple, algú pot dir:
* Prendre aigua regularment és necessari perquè un humà es mantingui amb vida.
* El fet de saltar és suficient per desenganxar-se de la terra.
* Tenir una credencial d'identificació és una condició necessària i suficient per ser admès. (ca)
- V logice mohou mezi dvěma souvisejícími tvrzeními (větami, výroky) existovat vztahy, pro které se používají zažitá označení nutná, resp. postačující podmínka.
* Tvrzení je nutnou podmínkou pro jiné tvrzení , pokud nemůže platit, aniž by platilo . Jinak řečeno, platí jen tehdy, pokud platí . Věta „X je čtyřúhelník“ je nutná podmínka pro to, aby mohlo platit, že „X je čtverec“. Pokud X není čtyřúhelník, nemůže to být čtverec. (Není to však podmínka postačující, protože například lichoběžník je čtyřúhelník, ale není čtverec.) Říkáme, že implikuje a zapisujeme jako , případně .
* Tvrzení je postačující podmínkou pro jiné tvrzení , pokud platí vždy, když platí . Jinak řečeno, platí tehdy, když platí . Věta „X je čtverec“ je postačující podmínka k tomu, aby platilo, že „X je čtyřúhelní (cs)
- En logiko kaj matematiko, neceso kaj sufiĉo estas terminoj uzataj por priskribi kondiĉan aŭ implican rilaton inter du deklaroj. Ekzemple, en la kondiĉa deklaro: "Se P tiam R", R estas necesa por P, ĉar la vero de R estas garantiita per la vero de P (ekvivalente, estas maleble havi P sen R). Simile, P sufiĉas por R, ĉar P esti vera ĉiam implicas ke R estas vera, sed P ne estanta ne ĉiam implicas ke R ne estas vera. La originala teksto de Saussure tekstas: En unu frazo oni povus resumi la principon jene: (eo)
- In logic and mathematics, necessity and sufficiency are terms used to describe a conditional or implicational relationship between two statements. For example, in the conditional statement: "If P then Q", Q is necessary for P, because the truth of Q is guaranteed by the truth of P (equivalently, it is impossible to have P without Q). Similarly, P is sufficient for Q, because P being true always implies that Q is true, but P not being true does not always imply that Q is not true. (en)
- Nödvändigt villkor och tillräckligt villkor är uttryck, som allmänt används vid omskrivning av så kallade "om, så-satser", inom ett flertal vetenskapliga områden, särskilt inom matematik och logik. Satsen "Om en svan är vit, så är den vacker", kan formaliseras till följande ekvivalenta omskrivningar:
* Det är ett tillräckligt villkor att en svan är vit för att den skall vara vacker.
* Endast om en svan är vacker, så är den vit.
* Det är ett nödvändigt villkor att en svan är vacker för att den skall vara vit. Satsen "Om N = 2n - 1 är ett primtal så är n ett primtal", är ekvivalent med: (sv)
- В логіці, слова необхідно і достатньо відповідають імплікаційним зв'язкам між твердженнями. Вимога необхідності і достатності одного твердження для іншого значить, що перше твердження є істинним тоді і тільки тоді, коли істинне друге твердження. (uk)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)