About: if and only if     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:WikicatLogicalConnectives, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FIf_and_only_if

("Iff" redirects here. For other uses, see IFF (disambiguation).)("↔" redirects here. It is not to be confused with Bidirectional traffic.) ↔⇔≡Logical symbols representing iff In logic and related fields such as mathematics and philosophy, if and only if (shortened iff) is a biconditional logical connective between statements. In logic formulae, logical symbols are used instead of these phrases; see the discussion of notation.

AttributesValues
rdf:type
rdfs:label
  • If and only if
  • إذا وفقط إذا
  • Bicondicional
  • Se e solo se
  • 同値
  • Dan en slechts dan als
  • Równoważność
  • Se e somente se
  • Тогда и только тогда
  • 当且仅当
rdfs:comment
  • 25بك المحتوى هنا ينقصه الاستشهاد بمصادر. يرجى إيراد مصادر موثوق بها. أي معلومات غير موثقة يمكن التشكيك بها وإزالتها. (فبراير 2016) ↔ ⇔ ≡ الرموز المنطقيةالتي تمثل إذا وفقط إذا. إذا وفقط إذا هي وصلة منطقية ثنائية الشرط تستخدم في الرياضيات والفلسفة بين عبارتين. إن أي عبارتين ترتبطان بهذه الوصلة الثنائية تكونان بحيث أن صحة أي عبارة تتوقف على صحة العبارة الثانية، أي أن تكون العبارتان صحيحتان أو خاطئتان، أي أنها تعني "إذا" ولكن تعمل باتجاهين. يرمز لها عادة بالترميز iff.
  • 同値(どうち)または等価(とうか)とは、2つの命題が共に真または共に偽のときに真となる論理演算である。英語ではequivalence (EQ)。「if and only if」を略して、iffともいう。否定排他的論理和 (XNOR) に等しい。演算子記号は ⇔、↔、≡、=、EQ などが使われる。
  • Równoważność (lub: ekwiwalencja) – twierdzenie, w którym teza jest warunkiem koniecznym jak i dostatecznym przesłanki. To zdanie zapisuje się za pomocą spójnika wtedy i tylko wtedy (wtw), gdy... Przykłady: Trawa jest zielona wtedy i tylko wtedy, gdy 2 + 2 = 5. (zdanie fałszywe) Jutro pójdę do kina wtedy i tylko wtedy, gdy będzie ładna pogoda. tzn. pójdę do kina, jeżeli będzie ładna pogoda oraz jeżeli pójdę do kina, to będzie ładna pogoda.
  • Se e somente se, ou se e só se (abreviadamente, sse), em matemática, lógica e filosofia, é uma forma de expressão para um teorema: Se A então B, e se B então A; ou A se e somente se B. O correspondente símbolo lógico é
  • 当且仅当(if and only if),中国大陆称作当且仅当,臺灣称作若且唯若,在数学、哲学、逻辑学以及其他一些技术性领域中被用来表示“在,并且仅仅在这些条件成立的时候”之意,在英语中的对应标记为iff。虽然“A当且仅当B”是一个标准用法,但是公认的其他同样说法还有“A是B的充分及必要条件(necessary and sufficient condition)(或稱為充要條件)”,或者“A成立,正当B”。 一般而言,當我們看到“A若且唯若B”,我們可以知道“如果A成立時,則B一定成立”而且“如果B成立時,則A也一定成立”(亦即,如果A不成立,則B也一定不成立)。
  • ("Iff" redirects here. For other uses, see IFF (disambiguation).)("↔" redirects here. It is not to be confused with Bidirectional traffic.) ↔⇔≡Logical symbols representing iff In logic and related fields such as mathematics and philosophy, if and only if (shortened iff) is a biconditional logical connective between statements. In logic formulae, logical symbols are used instead of these phrases; see the discussion of notation.
  • En matemáticas y lógica, un bicondicional, (también llamado equivalencia o doble implicación, en ocasiones abreviado en español como ssi), es una proposición de la forma «P si y solo si Q» y se admite el bicondicional es verdadero en el caso de que ambos componentes tengan el mismo valor vertitativo. En otras palabras, que si P ocurre entonces también ocurre Q; y viceversa: si Q ocurre entonces también ocurre P. Otra forma de expresar el bicondicional es decir que Q es una condición necesaria y suficiente para P. También se conoce con el nombre de coimplicación. En Lógica es usual la notación
  • In matematica, filosofia, logica e nei campi tecnici che ne dipendono, si usa spesso l'espressione se e solo se, o l'abbreviazione sse, per esprimere l'equivalenza logica di due enunciati, esplicitando che i due enunciati hanno lo stesso valore di verità: se è vero il secondo allora è vero anche il primo, e viceversa. Nella scrittura, abbreviazioni alla frase "P se e solo se Q" sono "P sse Q", "P è condizione necessaria e sufficiente per Q", "P è equivalente a Q". Nelle formulazioni logiche i simboli logici sono usati al posto di queste frasi; vedi la discussione sulle notazioni. .
  • Dan en slechts dan als (afkorting: desda) is in de wiskunde en in de logica een algemeen gebruikte uitdrukking om equivalentie van twee uitspraken aan te geven. Varianten zijn onder andere bi-implicatie, wederzijdse implicatie, dan en alleen dan als en P is nodig en voldoende voor Q (als alternatief voor P dan en slechts dan als Q). Het symbool voor 'dan en slechts dan als' is . Onder andere in het academisch wiskundemilieu gebruikt men als en slechts dan als.
  • «Тогда́ и то́лько тогда́» — логическая связка эквиваленции между утверждениями, применяемая в логике, математике, философии. Чтобы быть эквиваленцией, связка должна быть идентична стандартному материальному условному высказыванию («только тогда» эквивалентно «если … то»), соединённому со своей противоположностью, откуда и название связки. В результате истинность одного утверждения требует такой же истинности другого, то есть либо оба они истинны, либо оба ложны. Можно спорить о том, передаёт ли выражение русского языка «тогда и только тогда» определённую выше связку с её уже существующим смыслом. Конечно, ничто не может помешать нам читать эту связку именно как «тогда и только тогда», хотя это может иногда привести к путанице.
differentFrom
sameAs
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Link from a Wikipage to an external page
foaf:isPrimaryTopicOf
prov:wasDerivedFrom
has abstract
  • ("Iff" redirects here. For other uses, see IFF (disambiguation).)("↔" redirects here. It is not to be confused with Bidirectional traffic.) ↔⇔≡Logical symbols representing iff In logic and related fields such as mathematics and philosophy, if and only if (shortened iff) is a biconditional logical connective between statements. In that it is biconditional, the connective can be likened to the standard material conditional ("only if", equal to "if ... then") combined with its reverse ("if"); hence the name. The result is that the truth of either one of the connected statements requires the truth of the other (i.e. either both statements are true, or both are false). It is controversial whether the connective thus defined is properly rendered by the English "if and only if", with its pre-existing meaning. There is nothing to stop one from stipulating that we may read this connective as "only if and if", although this may lead to confusion. In writing, phrases commonly used, with debatable propriety, as alternatives to P "if and only if" Q include Q is necessary and sufficient for P, P is equivalent (or materially equivalent) to Q (compare material implication), P precisely if Q, P precisely (or exactly) when Q, P exactly in case Q, and P just in case Q. Many authors regard "iff" as unsuitable in formal writing; others use it freely. In logic formulae, logical symbols are used instead of these phrases; see the discussion of notation.
  • 25بك المحتوى هنا ينقصه الاستشهاد بمصادر. يرجى إيراد مصادر موثوق بها. أي معلومات غير موثقة يمكن التشكيك بها وإزالتها. (فبراير 2016) ↔ ⇔ ≡ الرموز المنطقيةالتي تمثل إذا وفقط إذا. إذا وفقط إذا هي وصلة منطقية ثنائية الشرط تستخدم في الرياضيات والفلسفة بين عبارتين. إن أي عبارتين ترتبطان بهذه الوصلة الثنائية تكونان بحيث أن صحة أي عبارة تتوقف على صحة العبارة الثانية، أي أن تكون العبارتان صحيحتان أو خاطئتان، أي أنها تعني "إذا" ولكن تعمل باتجاهين. يرمز لها عادة بالترميز iff.
  • En matemáticas y lógica, un bicondicional, (también llamado equivalencia o doble implicación, en ocasiones abreviado en español como ssi), es una proposición de la forma «P si y solo si Q» y se admite el bicondicional es verdadero en el caso de que ambos componentes tengan el mismo valor vertitativo. En otras palabras, que si P ocurre entonces también ocurre Q; y viceversa: si Q ocurre entonces también ocurre P. Otra forma de expresar el bicondicional es decir que Q es una condición necesaria y suficiente para P. También se conoce con el nombre de coimplicación. En Lógica es usual la notación , mientras que en matemáticas es más común la notación para denotar la equivalencia entre dos enunciados. Ejemplos: * « » y « » son bicondicionales verdaderos. * , donde denota a los múltiplos enteros de n.
  • In matematica, filosofia, logica e nei campi tecnici che ne dipendono, si usa spesso l'espressione se e solo se, o l'abbreviazione sse, per esprimere l'equivalenza logica di due enunciati, esplicitando che i due enunciati hanno lo stesso valore di verità: se è vero il secondo allora è vero anche il primo, e viceversa. Nella scrittura, abbreviazioni alla frase "P se e solo se Q" sono "P sse Q", "P è condizione necessaria e sufficiente per Q", "P è equivalente a Q". Nelle formulazioni logiche i simboli logici sono usati al posto di queste frasi; vedi la discussione sulle notazioni. Il connettivo logico se e solo se compare nella logica proposizionale con la seguente tavola di verità In logica matematica l'espressione "a ↔ b" è equivalente all'espressione " ". Questa proprietà viene utilizzata in tutti i campi della matematica quando è necessario dimostrare una proprietà del tipo "a ⇔ b"; in questi casi, quindi, si dimostra in un primo momento che e successivamente che . Una definizione informale del connettivo logico sse risulta essere: "ponte tra sinonimi". Esiste infatti un isomorfismo tra una parola e un suo sinonimo.
  • Dan en slechts dan als (afkorting: desda) is in de wiskunde en in de logica een algemeen gebruikte uitdrukking om equivalentie van twee uitspraken aan te geven. Varianten zijn onder andere bi-implicatie, wederzijdse implicatie, dan en alleen dan als en P is nodig en voldoende voor Q (als alternatief voor P dan en slechts dan als Q). Het symbool voor 'dan en slechts dan als' is . Onder andere in het academisch wiskundemilieu gebruikt men als en slechts dan als. Equivalente uitdrukkingen: asa (het in België meer gebruikte als en slechts als), aeaa (als en alleen als). In Engelstalige literatuur gebruikt men de uitdrukking iff (voor if and only if). betekent: P is waar dan en slechts dan als Q waar is. Een andere manier om hetzelfde te zeggen is: óf P en Q zijn allebei waar, óf P en Q zijn allebei onwaar.
  • 同値(どうち)または等価(とうか)とは、2つの命題が共に真または共に偽のときに真となる論理演算である。英語ではequivalence (EQ)。「if and only if」を略して、iffともいう。否定排他的論理和 (XNOR) に等しい。演算子記号は ⇔、↔、≡、=、EQ などが使われる。
  • Równoważność (lub: ekwiwalencja) – twierdzenie, w którym teza jest warunkiem koniecznym jak i dostatecznym przesłanki. To zdanie zapisuje się za pomocą spójnika wtedy i tylko wtedy (wtw), gdy... Przykłady: Trawa jest zielona wtedy i tylko wtedy, gdy 2 + 2 = 5. (zdanie fałszywe) Jutro pójdę do kina wtedy i tylko wtedy, gdy będzie ładna pogoda. tzn. pójdę do kina, jeżeli będzie ładna pogoda oraz jeżeli pójdę do kina, to będzie ładna pogoda.
  • Se e somente se, ou se e só se (abreviadamente, sse), em matemática, lógica e filosofia, é uma forma de expressão para um teorema: Se A então B, e se B então A; ou A se e somente se B. O correspondente símbolo lógico é
  • 当且仅当(if and only if),中国大陆称作当且仅当,臺灣称作若且唯若,在数学、哲学、逻辑学以及其他一些技术性领域中被用来表示“在,并且仅仅在这些条件成立的时候”之意,在英语中的对应标记为iff。虽然“A当且仅当B”是一个标准用法,但是公认的其他同样说法还有“A是B的充分及必要条件(necessary and sufficient condition)(或稱為充要條件)”,或者“A成立,正当B”。 一般而言,當我們看到“A若且唯若B”,我們可以知道“如果A成立時,則B一定成立”而且“如果B成立時,則A也一定成立”(亦即,如果A不成立,則B也一定不成立)。
  • «Тогда́ и то́лько тогда́» — логическая связка эквиваленции между утверждениями, применяемая в логике, математике, философии. Чтобы быть эквиваленцией, связка должна быть идентична стандартному материальному условному высказыванию («только тогда» эквивалентно «если … то»), соединённому со своей противоположностью, откуда и название связки. В результате истинность одного утверждения требует такой же истинности другого, то есть либо оба они истинны, либо оба ложны. Можно спорить о том, передаёт ли выражение русского языка «тогда и только тогда» определённую выше связку с её уже существующим смыслом. Конечно, ничто не может помешать нам читать эту связку именно как «тогда и только тогда», хотя это может иногда привести к путанице. В письменной форме в качестве альтернативы к «тогда и только тогда» часто используется достаточно спорные выражения, включающие: Q необходимо и достаточно для Р; Р эквивалентно (или материально эквивалентно) Q; Р точно, если Q; P точно, когда Q; P точно в случае Q; P именно в случае Q. В логических формулах вместо всех вышеприведённых фраз используются логические символы.
Faceted Search & Find service v1.17_git39 as of Aug 09 2019


Alternative Linked Data Documents: PivotViewer | iSPARQL | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3232 as of Jan 24 2020, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (61 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2020 OpenLink Software