CINXE.COM

<!DOCTYPE html> <html class="client-nojs vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-sticky-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-1 vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-enabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-1 vector-feature-night-mode-disabled skin-theme-clientpref-day vector-toc-available" lang="hu" dir="ltr"> <head> <meta charset="UTF-8"> <title>Bikondicionális – Wikipédia</title> <script>(function(){var className="client-js vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-sticky-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-1 vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-enabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-1 vector-feature-night-mode-disabled skin-theme-clientpref-day vector-toc-available";var cookie=document.cookie.match(/(?:^|; )huwikimwclientpreferences=([^;]+)/);if(cookie){cookie[1].split('%2C').forEach(function(pref){className=className.replace(new RegExp('(^| )'+pref.replace(/-clientpref-\w+$|[^\w-]+/g,'')+'-clientpref-\\w+( |$)'),'$1'+pref+'$2');});}document.documentElement.className=className;}());RLCONF={"wgBreakFrames":false,"wgSeparatorTransformTable":[",\t."," \t,"],"wgDigitTransformTable":["",""], "wgDefaultDateFormat":"ymd","wgMonthNames":["","január","február","március","április","május","június","július","augusztus","szeptember","október","november","december"],"wgRequestId":"5def376f-53e2-4b1a-8f39-c984aa9e13dc","wgCanonicalNamespace":"","wgCanonicalSpecialPageName":false,"wgNamespaceNumber":0,"wgPageName":"Bikondicionális","wgTitle":"Bikondicionális","wgCurRevisionId":26578843,"wgRevisionId":26578843,"wgArticleId":69450,"wgIsArticle":true,"wgIsRedirect":false,"wgAction":"view","wgUserName":null,"wgUserGroups":["*"],"wgCategories":["Csonkok (logika)","Csonkok 2006 áprilisából","Matematikai logika"],"wgPageViewLanguage":"hu","wgPageContentLanguage":"hu","wgPageContentModel":"wikitext","wgRelevantPageName":"Bikondicionális","wgRelevantArticleId":69450,"wgIsProbablyEditable":true,"wgRelevantPageIsProbablyEditable":true,"wgRestrictionEdit":[],"wgRestrictionMove":[],"wgNoticeProject":"wikipedia","wgCiteReferencePreviewsActive":true,"wgFlaggedRevsParams":{"tags":{ "accuracy":{"levels":2}}},"wgStableRevisionId":26578843,"wgMediaViewerOnClick":true,"wgMediaViewerEnabledByDefault":true,"wgPopupsFlags":0,"wgVisualEditor":{"pageLanguageCode":"hu","pageLanguageDir":"ltr","pageVariantFallbacks":"hu"},"wgMFDisplayWikibaseDescriptions":{"search":true,"watchlist":true,"tagline":true,"nearby":true},"wgWMESchemaEditAttemptStepOversample":false,"wgWMEPageLength":10000,"wgRelatedArticlesCompat":[],"wgEditSubmitButtonLabelPublish":true,"wgULSPosition":"interlanguage","wgULSisCompactLinksEnabled":false,"wgVector2022LanguageInHeader":true,"wgULSisLanguageSelectorEmpty":false,"wgWikibaseItemId":"Q949972","wgCheckUserClientHintsHeadersJsApi":["brands","architecture","bitness","fullVersionList","mobile","model","platform","platformVersion"],"GEHomepageSuggestedEditsEnableTopics":true,"wgGETopicsMatchModeEnabled":false,"wgGEStructuredTaskRejectionReasonTextInputEnabled":false,"wgGELevelingUpEnabledForUser":false};RLSTATE={"ext.gadget.infobox":"ready", "ext.gadget.wikiMenuStyles":"ready","ext.globalCssJs.user.styles":"ready","site.styles":"ready","user.styles":"ready","ext.globalCssJs.user":"ready","user":"ready","user.options":"loading","ext.math.styles":"ready","ext.cite.styles":"ready","mediawiki.page.gallery.styles":"ready","skins.vector.search.codex.styles":"ready","skins.vector.styles":"ready","skins.vector.icons":"ready","ext.flaggedRevs.basic":"ready","mediawiki.codex.messagebox.styles":"ready","ext.wikimediamessages.styles":"ready","ext.visualEditor.desktopArticleTarget.noscript":"ready","ext.uls.interlanguage":"ready","wikibase.client.init":"ready","ext.wikimediaBadges":"ready"};RLPAGEMODULES=["ext.cite.ux-enhancements","site","mediawiki.page.ready","mediawiki.toc","skins.vector.js","ext.centralNotice.geoIP","ext.centralNotice.startUp","ext.flaggedRevs.advanced","ext.gadget.wdsearch","ext.gadget.irclogin","ext.gadget.ImageAnnotator.loader","ext.gadget.collapsible","ext.gadget.kepdia","ext.gadget.kinai", "ext.gadget.poziciosTerkep","ext.gadget.wikiMenu","ext.gadget.wiwosm","ext.urlShortener.toolbar","ext.centralauth.centralautologin","mmv.bootstrap","ext.popups","ext.visualEditor.desktopArticleTarget.init","ext.visualEditor.targetLoader","ext.echo.centralauth","ext.eventLogging","ext.wikimediaEvents","ext.navigationTiming","ext.uls.interface","ext.cx.eventlogging.campaigns","ext.cx.uls.quick.actions","wikibase.client.vector-2022","ext.checkUser.clientHints","ext.growthExperiments.SuggestedEditSession","oojs-ui.styles.icons-media","oojs-ui-core.icons","wikibase.sidebar.tracking"];</script> <script>(RLQ=window.RLQ||[]).push(function(){mw.loader.impl(function(){return["user.options@12s5i",function($,jQuery,require,module){mw.user.tokens.set({"patrolToken":"+\\","watchToken":"+\\","csrfToken":"+\\"}); }];});});</script> <link rel="stylesheet" href="/w/load.php?lang=hu&modules=ext.cite.styles%7Cext.flaggedRevs.basic%7Cext.math.styles%7Cext.uls.interlanguage%7Cext.visualEditor.desktopArticleTarget.noscript%7Cext.wikimediaBadges%7Cext.wikimediamessages.styles%7Cmediawiki.codex.messagebox.styles%7Cmediawiki.page.gallery.styles%7Cskins.vector.icons%2Cstyles%7Cskins.vector.search.codex.styles%7Cwikibase.client.init&only=styles&skin=vector-2022"> <script async="" src="/w/load.php?lang=hu&modules=startup&only=scripts&raw=1&skin=vector-2022"></script> <meta name="ResourceLoaderDynamicStyles" content=""> <link rel="stylesheet" href="/w/load.php?lang=hu&modules=ext.gadget.infobox%2CwikiMenuStyles&only=styles&skin=vector-2022"> <link rel="stylesheet" href="/w/load.php?lang=hu&modules=site.styles&only=styles&skin=vector-2022"> <meta name="generator" content="MediaWiki 1.44.0-wmf.5"> <meta name="referrer" content="origin"> <meta name="referrer" content="origin-when-cross-origin"> <meta name="robots" content="max-image-preview:standard"> <meta name="format-detection" content="telephone=no"> <meta name="viewport" content="width=1120"> <meta property="og:title" content="Bikondicionális – Wikipédia"> <meta property="og:type" content="website"> <link rel="preconnect" href="//upload.wikimedia.org"> <link rel="alternate" media="only screen and (max-width: 640px)" href="//hu.m.wikipedia.org/wiki/Bikondicion%C3%A1lis"> <link rel="alternate" type="application/x-wiki" title="Szerkesztés" href="/w/index.php?title=Bikondicion%C3%A1lis&action=edit"> <link rel="apple-touch-icon" href="/static/apple-touch/wikipedia.png"> <link rel="icon" href="/static/favicon/wikipedia.ico"> <link rel="search" type="application/opensearchdescription+xml" href="/w/rest.php/v1/search" title="Wikipédia (hu)"> <link rel="EditURI" type="application/rsd+xml" href="//hu.wikipedia.org/w/api.php?action=rsd"> <link rel="canonical" href="https://hu.wikipedia.org/wiki/Bikondicion%C3%A1lis"> <link rel="license" href="https://creativecommons.org/licenses/by-sa/4.0/deed.hu"> <link rel="alternate" type="application/atom+xml" title="Wikipédia Atom-hírcsatorna" href="/w/index.php?title=Speci%C3%A1lis:Friss_v%C3%A1ltoztat%C3%A1sok&feed=atom"> <link rel="dns-prefetch" href="//meta.wikimedia.org" /> <link rel="dns-prefetch" href="//login.wikimedia.org"> </head> <body class="skin--responsive skin-vector skin-vector-search-vue mediawiki ltr sitedir-ltr mw-hide-empty-elt ns-0 ns-subject mw-editable page-Bikondicionális rootpage-Bikondicionális skin-vector-2022 action-view"><a class="mw-jump-link" href="#bodyContent">Ugrás a tartalomhoz</a> <div class="vector-header-container"> <header class="vector-header mw-header"> <div class="vector-header-start"> <nav class="vector-main-menu-landmark" aria-label="Wiki"> <div id="vector-main-menu-dropdown" class="vector-dropdown vector-main-menu-dropdown vector-button-flush-left vector-button-flush-right" > <input type="checkbox" id="vector-main-menu-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-main-menu-dropdown" class="vector-dropdown-checkbox " aria-label="Főmenü" > <label id="vector-main-menu-dropdown-label" for="vector-main-menu-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-menu mw-ui-icon-wikimedia-menu"></span> <span class="vector-dropdown-label-text">Főmenü</span> </label> <div class="vector-dropdown-content"> <div id="vector-main-menu-unpinned-container" class="vector-unpinned-container"> <div id="vector-main-menu" class="vector-main-menu vector-pinnable-element"> <div class="vector-pinnable-header vector-main-menu-pinnable-header vector-pinnable-header-unpinned" data-feature-name="main-menu-pinned" data-pinnable-element-id="vector-main-menu" data-pinned-container-id="vector-main-menu-pinned-container" data-unpinned-container-id="vector-main-menu-unpinned-container" > <div class="vector-pinnable-header-label">Főmenü</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-main-menu.pin">áthelyezés az oldalsávba</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-main-menu.unpin">elrejtés</button> </div> <div id="p-navigation" class="vector-menu mw-portlet mw-portlet-navigation" > <div class="vector-menu-heading"> Navigáció </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-mainpage-description" class="mw-list-item"><a href="/wiki/Kezd%C5%91lap" title="A kezdőlap megtekintése [z]" accesskey="z"><span>Kezdőlap</span></a></li><li id="n-sidebar-contents" class="mw-list-item"><a href="/wiki/Wikip%C3%A9dia:Tartalom"><span>Tartalom</span></a></li><li id="n-sidebar-featured" class="mw-list-item"><a href="/wiki/Wikip%C3%A9dia:Kiemelt_sz%C3%B3cikkek_list%C3%A1ja"><span>Kiemelt szócikkek</span></a></li><li id="n-recentchanges" class="mw-list-item"><a href="/wiki/Speci%C3%A1lis:Friss_v%C3%A1ltoztat%C3%A1sok" title="A wikiben történt legutóbbi változtatások listája [r]" accesskey="r"><span>Friss változtatások</span></a></li><li id="n-randompage" class="mw-list-item"><a href="/wiki/Speci%C3%A1lis:Lap_tal%C3%A1lomra" title="Egy véletlenszerűen kiválasztott lap betöltése [x]" accesskey="x"><span>Lap találomra</span></a></li><li id="n-sidebar-enquiries" class="mw-list-item"><a href="/wiki/Wikip%C3%A9dia:Tudakoz%C3%B3"><span>Tudakozó</span></a></li> </ul> </div> </div> <div id="p-sidebar-participate" class="vector-menu mw-portlet mw-portlet-sidebar-participate" > <div class="vector-menu-heading"> Részvétel </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-sidebar-basics" class="mw-list-item"><a href="/wiki/Wikip%C3%A9dia:%C3%9Aj_szerkeszt%C5%91knek"><span>Kezdőknek</span></a></li><li id="n-sidebar-help" class="mw-list-item"><a href="/wiki/Wikip%C3%A9dia:Seg%C3%ADts%C3%A9g"><span>Segítség</span></a></li><li id="n-portal" class="mw-list-item"><a href="/wiki/Port%C3%A1l:K%C3%B6z%C3%B6ss%C3%A9g" title="A projektről, miben segíthetsz, mit hol találsz meg"><span>Közösségi portál</span></a></li><li id="n-sidebar-contact" class="mw-list-item"><a href="/wiki/Wikip%C3%A9dia:Kapcsolatfelv%C3%A9tel"><span>Kapcsolatfelvétel</span></a></li> </ul> </div> </div> </div> </div> </div> </div> </nav> <a href="/wiki/Kezd%C5%91lap" class="mw-logo"> <img class="mw-logo-icon" src="/static/images/icons/wikipedia.png" alt="" aria-hidden="true" height="50" width="50"> <span class="mw-logo-container skin-invert"> <img class="mw-logo-wordmark" alt="Wikipédia" src="/static/images/mobile/copyright/wikipedia-wordmark-fr.svg" style="width: 7.4375em; height: 1.125em;"> <img class="mw-logo-tagline" alt="" src="/static/images/mobile/copyright/wikipedia-tagline-hu.svg" width="120" height="13" style="width: 7.5em; height: 0.8125em;"> </span> </a> </div> <div class="vector-header-end"> <div id="p-search" role="search" class="vector-search-box-vue vector-search-box-collapses vector-search-box-show-thumbnail vector-search-box-auto-expand-width vector-search-box"> <a href="/wiki/Speci%C3%A1lis:Keres%C3%A9s" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only search-toggle" title="Keresés a Wikipédián [f]" accesskey="f"><span class="vector-icon mw-ui-icon-search mw-ui-icon-wikimedia-search"></span> <span>Keresés</span> </a> <div class="vector-typeahead-search-container"> <div class="cdx-typeahead-search cdx-typeahead-search--show-thumbnail cdx-typeahead-search--auto-expand-width"> <form action="/w/index.php" id="searchform" class="cdx-search-input cdx-search-input--has-end-button"> <div id="simpleSearch" class="cdx-search-input__input-wrapper" data-search-loc="header-moved"> <div class="cdx-text-input cdx-text-input--has-start-icon"> <input class="cdx-text-input__input" type="search" name="search" placeholder="Keresés a Wikipédián" aria-label="Keresés a Wikipédián" autocapitalize="sentences" title="Keresés a Wikipédián [f]" accesskey="f" id="searchInput" > <span class="cdx-text-input__icon cdx-text-input__start-icon"></span> </div> <input type="hidden" name="title" value="Speciális:Keresés"> </div> <button class="cdx-button cdx-search-input__end-button">Keresés</button> </form> </div> </div> </div> <nav class="vector-user-links vector-user-links-wide" aria-label="Személyes eszközök"> <div class="vector-user-links-main"> <div id="p-vector-user-menu-preferences" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <div id="p-vector-user-menu-userpage" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <nav class="vector-appearance-landmark" aria-label="Megjelenés"> <div id="vector-appearance-dropdown" class="vector-dropdown " title="Change the appearance of the page's font size, width, and color" > <input type="checkbox" id="vector-appearance-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-appearance-dropdown" class="vector-dropdown-checkbox " aria-label="Megjelenés" > <label id="vector-appearance-dropdown-label" for="vector-appearance-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-appearance mw-ui-icon-wikimedia-appearance"></span> <span class="vector-dropdown-label-text">Megjelenés</span> </label> <div class="vector-dropdown-content"> <div id="vector-appearance-unpinned-container" class="vector-unpinned-container"> </div> </div> </div> </nav> <div id="p-vector-user-menu-notifications" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <div id="p-vector-user-menu-overflow" class="vector-menu mw-portlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-sitesupport-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="//donate.wikimedia.org/wiki/Special:FundraiserRedirector?utm_source=donate&utm_medium=sidebar&utm_campaign=C13_hu.wikipedia.org&uselang=hu" class=""><span>Adományok</span></a> </li> <li id="pt-createaccount-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="/w/index.php?title=Speci%C3%A1lis:Szerkeszt%C5%91i_fi%C3%B3k_l%C3%A9trehoz%C3%A1sa&returnto=Bikondicion%C3%A1lis" title="Arra bíztatunk, hogy hozz létre egy fiókot, és jelentkezz be, azonban ez nem kötelező" class=""><span>Fiók létrehozása</span></a> </li> <li id="pt-login-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="/w/index.php?title=Speci%C3%A1lis:Bel%C3%A9p%C3%A9s&returnto=Bikondicion%C3%A1lis" title="Bejelentkezni javasolt, de nem kötelező [o]" accesskey="o" class=""><span>Bejelentkezés</span></a> </li> </ul> </div> </div> </div> <div id="vector-user-links-dropdown" class="vector-dropdown vector-user-menu vector-button-flush-right vector-user-menu-logged-out" title="További lehetőségek" > <input type="checkbox" id="vector-user-links-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-user-links-dropdown" class="vector-dropdown-checkbox " aria-label="Személyes eszközök" > <label id="vector-user-links-dropdown-label" for="vector-user-links-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-ellipsis mw-ui-icon-wikimedia-ellipsis"></span> <span class="vector-dropdown-label-text">Személyes eszközök</span> </label> <div class="vector-dropdown-content"> <div id="p-personal" class="vector-menu mw-portlet mw-portlet-personal user-links-collapsible-item" title="Felhasználói menü" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-sitesupport" class="user-links-collapsible-item mw-list-item"><a href="//donate.wikimedia.org/wiki/Special:FundraiserRedirector?utm_source=donate&utm_medium=sidebar&utm_campaign=C13_hu.wikipedia.org&uselang=hu"><span>Adományok</span></a></li><li id="pt-createaccount" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=Speci%C3%A1lis:Szerkeszt%C5%91i_fi%C3%B3k_l%C3%A9trehoz%C3%A1sa&returnto=Bikondicion%C3%A1lis" title="Arra bíztatunk, hogy hozz létre egy fiókot, és jelentkezz be, azonban ez nem kötelező"><span class="vector-icon mw-ui-icon-userAdd mw-ui-icon-wikimedia-userAdd"></span> <span>Fiók létrehozása</span></a></li><li id="pt-login" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=Speci%C3%A1lis:Bel%C3%A9p%C3%A9s&returnto=Bikondicion%C3%A1lis" title="Bejelentkezni javasolt, de nem kötelező [o]" accesskey="o"><span class="vector-icon mw-ui-icon-logIn mw-ui-icon-wikimedia-logIn"></span> <span>Bejelentkezés</span></a></li> </ul> </div> </div> <div id="p-user-menu-anon-editor" class="vector-menu mw-portlet mw-portlet-user-menu-anon-editor" > <div class="vector-menu-heading"> Lapok kijelentkezett szerkesztőknek <a href="/wiki/Seg%C3%ADts%C3%A9g:Bevezet%C3%A9s" aria-label="Tudj meg többet a szerkesztésről"><span>további információk</span></a> </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-anoncontribs" class="mw-list-item"><a href="/wiki/Speci%C3%A1lis:K%C3%B6zrem%C5%B1k%C3%B6d%C3%A9seim" title="Erről az IP-címről végrehajtott szerkesztések listája [y]" accesskey="y"><span>Közreműködések</span></a></li><li id="pt-anontalk" class="mw-list-item"><a href="/wiki/Speci%C3%A1lis:Vit%C3%A1m" title="Az általad használt IP-címről végrehajtott szerkesztések megvitatása [n]" accesskey="n"><span>Vitalap</span></a></li> </ul> </div> </div> </div> </div> </nav> </div> </header> </div> <div class="mw-page-container"> <div class="mw-page-container-inner"> <div class="vector-sitenotice-container"> <div id="siteNotice"></div> </div> <div class="vector-column-start"> <div class="vector-main-menu-container"> <div id="mw-navigation"> <nav id="mw-panel" class="vector-main-menu-landmark" aria-label="Wiki"> <div id="vector-main-menu-pinned-container" class="vector-pinned-container"> </div> </nav> </div> </div> <div class="vector-sticky-pinned-container"> <nav id="mw-panel-toc" aria-label="Tartalomjegyzék" data-event-name="ui.sidebar-toc" class="mw-table-of-contents-container vector-toc-landmark"> <div id="vector-toc-pinned-container" class="vector-pinned-container"> <div id="vector-toc" class="vector-toc vector-pinnable-element"> <div class="vector-pinnable-header vector-toc-pinnable-header vector-pinnable-header-pinned" data-feature-name="toc-pinned" data-pinnable-element-id="vector-toc" > <h2 class="vector-pinnable-header-label">Tartalomjegyzék</h2> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-toc.pin">áthelyezés az oldalsávba</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-toc.unpin">elrejtés</button> </div> <ul class="vector-toc-contents" id="mw-panel-toc-list"> <li id="toc-mw-content-text" class="vector-toc-list-item vector-toc-level-1"> <a href="#" class="vector-toc-link"> <div class="vector-toc-text">Bevezető</div> </a> </li> <li id="toc-Szinonimái" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Szinonimái"> <div class="vector-toc-text"> <span class="vector-toc-numb">1</span> <span>Szinonimái</span> </div> </a> <ul id="toc-Szinonimái-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Klasszikus_igazságfeltételei" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Klasszikus_igazságfeltételei"> <div class="vector-toc-text"> <span class="vector-toc-numb">2</span> <span>Klasszikus igazságfeltételei</span> </div> </a> <ul id="toc-Klasszikus_igazságfeltételei-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Használata" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Használata"> <div class="vector-toc-text"> <span class="vector-toc-numb">3</span> <span>Használata</span> </div> </a> <button aria-controls="toc-Használata-sublist" class="cdx-button cdx-button--weight-quiet cdx-button--icon-only vector-toc-toggle"> <span class="vector-icon mw-ui-icon-wikimedia-expand"></span> <span>A(z) Használata alszakasz kinyitása/becsukása</span> </button> <ul id="toc-Használata-sublist" class="vector-toc-list"> <li id="toc-Jelölése" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Jelölése"> <div class="vector-toc-text"> <span class="vector-toc-numb">3.1</span> <span>Jelölése</span> </div> </a> <ul id="toc-Jelölése-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Definíciók" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Definíciók"> <div class="vector-toc-text"> <span class="vector-toc-numb">3.2</span> <span>Definíciók</span> </div> </a> <ul id="toc-Definíciók-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Bizonyítások" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Bizonyítások"> <div class="vector-toc-text"> <span class="vector-toc-numb">3.3</span> <span>Bizonyítások</span> </div> </a> <ul id="toc-Bizonyítások-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Az_iff_rövidítés" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Az_iff_rövidítés"> <div class="vector-toc-text"> <span class="vector-toc-numb">3.4</span> <span>Az iff rövidítés</span> </div> </a> <ul id="toc-Az_iff_rövidítés-sublist" class="vector-toc-list"> </ul> </li> </ul> </li> <li id="toc-Megkülönböztetése_az_"akkor"-tól,_a_"csak_akkor"-tól" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Megkülönböztetése_az_"akkor"-tól,_a_"csak_akkor"-tól"> <div class="vector-toc-text"> <span class="vector-toc-numb">4</span> <span>Megkülönböztetése az "akkor"-tól, a "csak akkor"-tól</span> </div> </a> <ul id="toc-Megkülönböztetése_az_"akkor"-tól,_a_"csak_akkor"-tól-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Halmazelméleti_kapcsolatok" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Halmazelméleti_kapcsolatok"> <div class="vector-toc-text"> <span class="vector-toc-numb">5</span> <span>Halmazelméleti kapcsolatok</span> </div> </a> <ul id="toc-Halmazelméleti_kapcsolatok-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Jegyzetek" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Jegyzetek"> <div class="vector-toc-text"> <span class="vector-toc-numb">6</span> <span>Jegyzetek</span> </div> </a> <ul id="toc-Jegyzetek-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Források" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Források"> <div class="vector-toc-text"> <span class="vector-toc-numb">7</span> <span>Források</span> </div> </a> <ul id="toc-Források-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Fordítás" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Fordítás"> <div class="vector-toc-text"> <span class="vector-toc-numb">8</span> <span>Fordítás</span> </div> </a> <ul id="toc-Fordítás-sublist" class="vector-toc-list"> </ul> </li> </ul> </div> </div> </nav> </div> </div> <div class="mw-content-container"> <main id="content" class="mw-body"> <header class="mw-body-header vector-page-titlebar"> <nav aria-label="Tartalomjegyzék" class="vector-toc-landmark"> <div id="vector-page-titlebar-toc" class="vector-dropdown vector-page-titlebar-toc vector-button-flush-left" > <input type="checkbox" id="vector-page-titlebar-toc-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-page-titlebar-toc" class="vector-dropdown-checkbox " aria-label="Tartalomjegyzék kinyitása/becsukása" > <label id="vector-page-titlebar-toc-label" for="vector-page-titlebar-toc-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-listBullet mw-ui-icon-wikimedia-listBullet"></span> <span class="vector-dropdown-label-text">Tartalomjegyzék kinyitása/becsukása</span> </label> <div class="vector-dropdown-content"> <div id="vector-page-titlebar-toc-unpinned-container" class="vector-unpinned-container"> </div> </div> </div> </nav> <h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-main">Bikondicionális</span></h1> <div id="p-lang-btn" class="vector-dropdown mw-portlet mw-portlet-lang" > <input type="checkbox" id="p-lang-btn-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-p-lang-btn" class="vector-dropdown-checkbox mw-interlanguage-selector" aria-label="Ugrás egy más nyelvű szócikkre. Elérhető 49 nyelven" > <label id="p-lang-btn-label" for="p-lang-btn-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--action-progressive mw-portlet-lang-heading-49" aria-hidden="true" ><span class="vector-icon mw-ui-icon-language-progressive mw-ui-icon-wikimedia-language-progressive"></span> <span class="vector-dropdown-label-text">49 nyelv</span> </label> <div class="vector-dropdown-content"> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li class="interlanguage-link interwiki-en mw-list-item"><a href="https://en.wikipedia.org/wiki/If_and_only_if" title="If and only if – angol" lang="en" hreflang="en" data-title="If and only if" data-language-autonym="English" data-language-local-name="angol" class="interlanguage-link-target"><span>English</span></a></li><li class="interlanguage-link interwiki-ar mw-list-item"><a href="https://ar.wikipedia.org/wiki/%D8%A5%D8%B0%D8%A7_%D9%88%D9%81%D9%82%D8%B7_%D8%A5%D8%B0%D8%A7" title="إذا وفقط إذا – arab" lang="ar" hreflang="ar" data-title="إذا وفقط إذا" data-language-autonym="العربية" data-language-local-name="arab" class="interlanguage-link-target"><span>العربية</span></a></li><li class="interlanguage-link interwiki-bg mw-list-item"><a href="https://bg.wikipedia.org/wiki/%D0%A2%D0%BE%D0%B3%D0%B0%D0%B2%D0%B0_%D0%B8_%D1%81%D0%B0%D0%BC%D0%BE_%D1%82%D0%BE%D0%B3%D0%B0%D0%B2%D0%B0,_%D0%BA%D0%BE%D0%B3%D0%B0%D1%82%D0%BE" title="Тогава и само тогава, когато – bolgár" lang="bg" hreflang="bg" data-title="Тогава и само тогава, когато" data-language-autonym="Български" data-language-local-name="bolgár" class="interlanguage-link-target"><span>Български</span></a></li><li class="interlanguage-link interwiki-ca mw-list-item"><a href="https://ca.wikipedia.org/wiki/Si_i_nom%C3%A9s_si" title="Si i només si – katalán" lang="ca" hreflang="ca" data-title="Si i només si" data-language-autonym="Català" data-language-local-name="katalán" class="interlanguage-link-target"><span>Català</span></a></li><li class="interlanguage-link interwiki-cv mw-list-item"><a href="https://cv.wikipedia.org/wiki/%C3%87%D0%B0%D0%B2%C4%83%D0%BD_%D1%87%D1%83%D1%85%D0%BD%D0%B5_%D1%82%D0%B0%D1%82%D0%B0_%C3%A7%D0%B0%D0%B2%C4%83%D0%BD_%D1%87%D1%83%D1%85%D0%BD%D0%B5_%C3%A7%D0%B5%C3%A7" title="Çавăн чухне тата çавăн чухне çеç – csuvas" lang="cv" hreflang="cv" data-title="Çавăн чухне тата çавăн чухне çеç" data-language-autonym="Чӑвашла" data-language-local-name="csuvas" class="interlanguage-link-target"><span>Чӑвашла</span></a></li><li class="interlanguage-link interwiki-cy mw-list-item"><a href="https://cy.wikipedia.org/wiki/Os_ac_yn_unig_os" title="Os ac yn unig os – walesi" lang="cy" hreflang="cy" data-title="Os ac yn unig os" data-language-autonym="Cymraeg" data-language-local-name="walesi" class="interlanguage-link-target"><span>Cymraeg</span></a></li><li class="interlanguage-link interwiki-da mw-list-item"><a href="https://da.wikipedia.org/wiki/Biimplikation" title="Biimplikation – dán" lang="da" hreflang="da" data-title="Biimplikation" data-language-autonym="Dansk" data-language-local-name="dán" class="interlanguage-link-target"><span>Dansk</span></a></li><li class="interlanguage-link interwiki-de badge-Q70894304 mw-list-item" title=""><a href="https://de.wikipedia.org/wiki/Genau_dann,_wenn" title="Genau dann, wenn – német" lang="de" hreflang="de" data-title="Genau dann, wenn" data-language-autonym="Deutsch" data-language-local-name="német" class="interlanguage-link-target"><span>Deutsch</span></a></li><li class="interlanguage-link interwiki-el mw-list-item"><a href="https://el.wikipedia.org/wiki/%CE%91%CE%BD_%CE%BA%CE%B1%CE%B9_%CE%BC%CF%8C%CE%BD%CE%BF_%CE%B1%CE%BD" title="Αν και μόνο αν – görög" lang="el" hreflang="el" data-title="Αν και μόνο αν" data-language-autonym="Ελληνικά" data-language-local-name="görög" class="interlanguage-link-target"><span>Ελληνικά</span></a></li><li class="interlanguage-link interwiki-eo mw-list-item"><a href="https://eo.wikipedia.org/wiki/Se_kaj_nur_se" title="Se kaj nur se – eszperantó" lang="eo" hreflang="eo" data-title="Se kaj nur se" data-language-autonym="Esperanto" data-language-local-name="eszperantó" class="interlanguage-link-target"><span>Esperanto</span></a></li><li class="interlanguage-link interwiki-es mw-list-item"><a href="https://es.wikipedia.org/wiki/Bicondicional" title="Bicondicional – spanyol" lang="es" hreflang="es" data-title="Bicondicional" data-language-autonym="Español" data-language-local-name="spanyol" class="interlanguage-link-target"><span>Español</span></a></li><li class="interlanguage-link interwiki-et mw-list-item"><a href="https://et.wikipedia.org/wiki/Parajasti_siis,_kui" title="Parajasti siis, kui – észt" lang="et" hreflang="et" data-title="Parajasti siis, kui" data-language-autonym="Eesti" data-language-local-name="észt" class="interlanguage-link-target"><span>Eesti</span></a></li><li class="interlanguage-link interwiki-eu mw-list-item"><a href="https://eu.wikipedia.org/wiki/Inplikazio_bikoitz" title="Inplikazio bikoitz – baszk" lang="eu" hreflang="eu" data-title="Inplikazio bikoitz" data-language-autonym="Euskara" data-language-local-name="baszk" class="interlanguage-link-target"><span>Euskara</span></a></li><li class="interlanguage-link interwiki-fa mw-list-item"><a href="https://fa.wikipedia.org/wiki/%D8%A7%DA%AF%D8%B1_%D9%88_%D8%AA%D9%86%D9%87%D8%A7_%D8%A7%DA%AF%D8%B1" title="اگر و تنها اگر – perzsa" lang="fa" hreflang="fa" data-title="اگر و تنها اگر" data-language-autonym="فارسی" data-language-local-name="perzsa" class="interlanguage-link-target"><span>فارسی</span></a></li><li class="interlanguage-link interwiki-fi mw-list-item"><a href="https://fi.wikipedia.org/wiki/Jos_ja_vain_jos" title="Jos ja vain jos – finn" lang="fi" hreflang="fi" data-title="Jos ja vain jos" data-language-autonym="Suomi" data-language-local-name="finn" class="interlanguage-link-target"><span>Suomi</span></a></li><li class="interlanguage-link interwiki-gl mw-list-item"><a href="https://gl.wikipedia.org/wiki/Se_e_s%C3%B3_se" title="Se e só se – gallego" lang="gl" hreflang="gl" data-title="Se e só se" data-language-autonym="Galego" data-language-local-name="gallego" class="interlanguage-link-target"><span>Galego</span></a></li><li class="interlanguage-link interwiki-he mw-list-item"><a href="https://he.wikipedia.org/wiki/%D7%90%D7%9D_%D7%95%D7%A8%D7%A7_%D7%90%D7%9D" title="אם ורק אם – héber" lang="he" hreflang="he" data-title="אם ורק אם" data-language-autonym="עברית" data-language-local-name="héber" class="interlanguage-link-target"><span>עברית</span></a></li><li class="interlanguage-link interwiki-hi mw-list-item"><a href="https://hi.wikipedia.org/wiki/%E0%A4%AF%E0%A4%A6%E0%A4%BF_%E0%A4%94%E0%A4%B0_%E0%A4%95%E0%A5%87%E0%A4%B5%E0%A4%B2_%E0%A4%AF%E0%A4%A6%E0%A4%BF" title="यदि और केवल यदि – hindi" lang="hi" hreflang="hi" data-title="यदि और केवल यदि" data-language-autonym="हिन्दी" data-language-local-name="hindi" class="interlanguage-link-target"><span>हिन्दी</span></a></li><li class="interlanguage-link interwiki-hr mw-list-item"><a href="https://hr.wikipedia.org/wiki/Akko" title="Akko – horvát" lang="hr" hreflang="hr" data-title="Akko" data-language-autonym="Hrvatski" data-language-local-name="horvát" class="interlanguage-link-target"><span>Hrvatski</span></a></li><li class="interlanguage-link interwiki-ia mw-list-item"><a href="https://ia.wikipedia.org/wiki/Si_e_solmente_si" title="Si e solmente si – interlingva" lang="ia" hreflang="ia" data-title="Si e solmente si" data-language-autonym="Interlingua" data-language-local-name="interlingva" class="interlanguage-link-target"><span>Interlingua</span></a></li><li class="interlanguage-link interwiki-id mw-list-item"><a href="https://id.wikipedia.org/wiki/Jika_dan_hanya_jika" title="Jika dan hanya jika – indonéz" lang="id" hreflang="id" data-title="Jika dan hanya jika" data-language-autonym="Bahasa Indonesia" data-language-local-name="indonéz" class="interlanguage-link-target"><span>Bahasa Indonesia</span></a></li><li class="interlanguage-link interwiki-io mw-list-item"><a href="https://io.wikipedia.org/wiki/Se_e_nur_se" title="Se e nur se – idó" lang="io" hreflang="io" data-title="Se e nur se" data-language-autonym="Ido" data-language-local-name="idó" class="interlanguage-link-target"><span>Ido</span></a></li><li class="interlanguage-link interwiki-is mw-list-item"><a href="https://is.wikipedia.org/wiki/Eff" title="Eff – izlandi" lang="is" hreflang="is" data-title="Eff" data-language-autonym="Íslenska" data-language-local-name="izlandi" class="interlanguage-link-target"><span>Íslenska</span></a></li><li class="interlanguage-link interwiki-it mw-list-item"><a href="https://it.wikipedia.org/wiki/Se_e_solo_se" title="Se e solo se – olasz" lang="it" hreflang="it" data-title="Se e solo se" data-language-autonym="Italiano" data-language-local-name="olasz" class="interlanguage-link-target"><span>Italiano</span></a></li><li class="interlanguage-link interwiki-ja mw-list-item"><a href="https://ja.wikipedia.org/wiki/%E5%90%8C%E5%80%A4" title="同値 – japán" lang="ja" hreflang="ja" data-title="同値" data-language-autonym="日本語" data-language-local-name="japán" class="interlanguage-link-target"><span>日本語</span></a></li><li class="interlanguage-link interwiki-kk mw-list-item"><a href="https://kk.wikipedia.org/wiki/%D0%95%D0%B3%D0%B5%D1%80_%D1%82%D0%B5%D0%BA_%D0%B5%D0%B3%D0%B5%D1%80" title="Егер тек егер – kazah" lang="kk" hreflang="kk" data-title="Егер тек егер" data-language-autonym="Қазақша" data-language-local-name="kazah" class="interlanguage-link-target"><span>Қазақша</span></a></li><li class="interlanguage-link interwiki-lmo mw-list-item"><a href="https://lmo.wikipedia.org/wiki/Se_e_dom%C3%A0_se" title="Se e domà se – lombard" lang="lmo" hreflang="lmo" data-title="Se e domà se" data-language-autonym="Lombard" data-language-local-name="lombard" class="interlanguage-link-target"><span>Lombard</span></a></li><li class="interlanguage-link interwiki-lt mw-list-item"><a href="https://lt.wikipedia.org/wiki/Tada_ir_tik_tada_(teiginys)" title="Tada ir tik tada (teiginys) – litván" lang="lt" hreflang="lt" data-title="Tada ir tik tada (teiginys)" data-language-autonym="Lietuvių" data-language-local-name="litván" class="interlanguage-link-target"><span>Lietuvių</span></a></li><li class="interlanguage-link interwiki-mk mw-list-item"><a href="https://mk.wikipedia.org/wiki/%D0%90%D0%BA%D0%BE_%D0%B8_%D1%81%D0%B0%D0%BC%D0%BE_%D0%B0%D0%BA%D0%BE" title="Ако и само ако – macedón" lang="mk" hreflang="mk" data-title="Ако и само ако" data-language-autonym="Македонски" data-language-local-name="macedón" class="interlanguage-link-target"><span>Македонски</span></a></li><li class="interlanguage-link interwiki-my mw-list-item"><a href="https://my.wikipedia.org/wiki/%E2%87%94" title="⇔ – burmai" lang="my" hreflang="my" data-title="⇔" data-language-autonym="မြန်မာဘာသာ" data-language-local-name="burmai" class="interlanguage-link-target"><span>မြန်မာဘာသာ</span></a></li><li class="interlanguage-link interwiki-nl mw-list-item"><a href="https://nl.wikipedia.org/wiki/Dan_en_slechts_dan_als" title="Dan en slechts dan als – holland" lang="nl" hreflang="nl" data-title="Dan en slechts dan als" data-language-autonym="Nederlands" data-language-local-name="holland" class="interlanguage-link-target"><span>Nederlands</span></a></li><li class="interlanguage-link interwiki-nn mw-list-item"><a href="https://nn.wikipedia.org/wiki/Viss_og_berre_viss" title="Viss og berre viss – norvég (nynorsk)" lang="nn" hreflang="nn" data-title="Viss og berre viss" data-language-autonym="Norsk nynorsk" data-language-local-name="norvég (nynorsk)" class="interlanguage-link-target"><span>Norsk nynorsk</span></a></li><li class="interlanguage-link interwiki-pa mw-list-item"><a href="https://pa.wikipedia.org/wiki/%E0%A8%9C%E0%A9%87_%E0%A8%85%E0%A8%A4%E0%A9%87_%E0%A8%B8%E0%A8%BF%E0%A8%B0%E0%A8%AB_%E0%A8%9C%E0%A9%87" title="ਜੇ ਅਤੇ ਸਿਰਫ ਜੇ – pandzsábi" lang="pa" hreflang="pa" data-title="ਜੇ ਅਤੇ ਸਿਰਫ ਜੇ" data-language-autonym="ਪੰਜਾਬੀ" data-language-local-name="pandzsábi" class="interlanguage-link-target"><span>ਪੰਜਾਬੀ</span></a></li><li class="interlanguage-link interwiki-pl mw-list-item"><a href="https://pl.wikipedia.org/wiki/R%C3%B3wnowa%C5%BCno%C5%9B%C4%87" title="Równoważność – lengyel" lang="pl" hreflang="pl" data-title="Równoważność" data-language-autonym="Polski" data-language-local-name="lengyel" class="interlanguage-link-target"><span>Polski</span></a></li><li class="interlanguage-link interwiki-pt mw-list-item"><a href="https://pt.wikipedia.org/wiki/Se_e_somente_se" title="Se e somente se – portugál" lang="pt" hreflang="pt" data-title="Se e somente se" data-language-autonym="Português" data-language-local-name="portugál" class="interlanguage-link-target"><span>Português</span></a></li><li class="interlanguage-link interwiki-ro mw-list-item"><a href="https://ro.wikipedia.org/wiki/Dac%C4%83_%C8%99i_numai_dac%C4%83" title="Dacă și numai dacă – román" lang="ro" hreflang="ro" data-title="Dacă și numai dacă" data-language-autonym="Română" data-language-local-name="román" class="interlanguage-link-target"><span>Română</span></a></li><li class="interlanguage-link interwiki-ru mw-list-item"><a href="https://ru.wikipedia.org/wiki/%D0%A2%D0%BE%D0%B3%D0%B4%D0%B0_%D0%B8_%D1%82%D0%BE%D0%BB%D1%8C%D0%BA%D0%BE_%D1%82%D0%BE%D0%B3%D0%B4%D0%B0" title="Тогда и только тогда – orosz" lang="ru" hreflang="ru" data-title="Тогда и только тогда" data-language-autonym="Русский" data-language-local-name="orosz" class="interlanguage-link-target"><span>Русский</span></a></li><li class="interlanguage-link interwiki-sh mw-list-item"><a href="https://sh.wikipedia.org/wiki/Ako_i_samo_ako" title="Ako i samo ako – szerbhorvát" lang="sh" hreflang="sh" data-title="Ako i samo ako" data-language-autonym="Srpskohrvatski / српскохрватски" data-language-local-name="szerbhorvát" class="interlanguage-link-target"><span>Srpskohrvatski / српскохрватски</span></a></li><li class="interlanguage-link interwiki-simple mw-list-item"><a href="https://simple.wikipedia.org/wiki/If_and_only_if" title="If and only if – Simple English" lang="en-simple" hreflang="en-simple" data-title="If and only if" data-language-autonym="Simple English" data-language-local-name="Simple English" class="interlanguage-link-target"><span>Simple English</span></a></li><li class="interlanguage-link interwiki-sr mw-list-item"><a href="https://sr.wikipedia.org/wiki/%D0%90%D0%BA%D0%BE_%D0%B8_%D1%81%D0%B0%D0%BC%D0%BE_%D0%B0%D0%BA%D0%BE" title="Ако и само ако – szerb" lang="sr" hreflang="sr" data-title="Ако и само ако" data-language-autonym="Српски / srpski" data-language-local-name="szerb" class="interlanguage-link-target"><span>Српски / srpski</span></a></li><li class="interlanguage-link interwiki-sv mw-list-item"><a href="https://sv.wikipedia.org/wiki/Om_och_endast_om" title="Om och endast om – svéd" lang="sv" hreflang="sv" data-title="Om och endast om" data-language-autonym="Svenska" data-language-local-name="svéd" class="interlanguage-link-target"><span>Svenska</span></a></li><li class="interlanguage-link interwiki-th mw-list-item"><a href="https://th.wikipedia.org/wiki/%E0%B8%81%E0%B9%87%E0%B8%95%E0%B9%88%E0%B8%AD%E0%B9%80%E0%B8%A1%E0%B8%B7%E0%B9%88%E0%B8%AD" title="ก็ต่อเมื่อ – thai" lang="th" hreflang="th" data-title="ก็ต่อเมื่อ" data-language-autonym="ไทย" data-language-local-name="thai" class="interlanguage-link-target"><span>ไทย</span></a></li><li class="interlanguage-link interwiki-tr mw-list-item"><a href="https://tr.wikipedia.org/wiki/Ancak_ve_ancak" title="Ancak ve ancak – török" lang="tr" hreflang="tr" data-title="Ancak ve ancak" data-language-autonym="Türkçe" data-language-local-name="török" class="interlanguage-link-target"><span>Türkçe</span></a></li><li class="interlanguage-link interwiki-uk mw-list-item"><a href="https://uk.wikipedia.org/wiki/%D0%A2%D0%BE%D0%B4%D1%96_%D0%B9_%D0%BB%D0%B8%D1%88%D0%B5_%D1%82%D0%BE%D0%B4%D1%96" title="Тоді й лише тоді – ukrán" lang="uk" hreflang="uk" data-title="Тоді й лише тоді" data-language-autonym="Українська" data-language-local-name="ukrán" class="interlanguage-link-target"><span>Українська</span></a></li><li class="interlanguage-link interwiki-ur mw-list-item"><a href="https://ur.wikipedia.org/wiki/%D8%A7%DA%AF%D8%B1_%D8%A8%D8%B4%D8%B1%D8%B7_%D8%A7%DA%AF%D8%B1" title="اگر بشرط اگر – urdu" lang="ur" hreflang="ur" data-title="اگر بشرط اگر" data-language-autonym="اردو" data-language-local-name="urdu" class="interlanguage-link-target"><span>اردو</span></a></li><li class="interlanguage-link interwiki-vi mw-list-item"><a href="https://vi.wikipedia.org/wiki/Khi_v%C3%A0_ch%E1%BB%89_khi" title="Khi và chỉ khi – vietnámi" lang="vi" hreflang="vi" data-title="Khi và chỉ khi" data-language-autonym="Tiếng Việt" data-language-local-name="vietnámi" class="interlanguage-link-target"><span>Tiếng Việt</span></a></li><li class="interlanguage-link interwiki-zh mw-list-item"><a href="https://zh.wikipedia.org/wiki/%E5%BD%93%E4%B8%94%E4%BB%85%E5%BD%93" title="当且仅当 – kínai" lang="zh" hreflang="zh" data-title="当且仅当" data-language-autonym="中文" data-language-local-name="kínai" class="interlanguage-link-target"><span>中文</span></a></li><li class="interlanguage-link interwiki-zh-min-nan mw-list-item"><a href="https://zh-min-nan.wikipedia.org/wiki/N%C4%81_kiam_ta_n%C4%81" title="Nā kiam ta nā – min nan kínai" lang="nan" hreflang="nan" data-title="Nā kiam ta nā" data-language-autonym="閩南語 / Bân-lâm-gú" data-language-local-name="min nan kínai" class="interlanguage-link-target"><span>閩南語 / Bân-lâm-gú</span></a></li><li class="interlanguage-link interwiki-zh-yue mw-list-item"><a href="https://zh-yue.wikipedia.org/wiki/%E8%8B%A5%E4%B8%94%E5%94%AF%E8%8B%A5" title="若且唯若 – kantoni" lang="yue" hreflang="yue" data-title="若且唯若" data-language-autonym="粵語" data-language-local-name="kantoni" class="interlanguage-link-target"><span>粵語</span></a></li> </ul> <div class="after-portlet after-portlet-lang"><span class="wb-langlinks-edit wb-langlinks-link"><a href="https://www.wikidata.org/wiki/Special:EntityPage/Q949972#sitelinks-wikipedia" title="Nyelvközi hivatkozások szerkesztése" class="wbc-editpage">Hivatkozások szerkesztése</a></span></div> </div> </div> </div> </header> <div class="vector-page-toolbar"> <div class="vector-page-toolbar-container"> <div id="left-navigation"> <nav aria-label="Névterek"> <div id="p-associated-pages" class="vector-menu vector-menu-tabs mw-portlet mw-portlet-associated-pages" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-nstab-main" class="selected vector-tab-noicon mw-list-item"><a href="/wiki/Bikondicion%C3%A1lis" title="A lap megtekintése [c]" accesskey="c"><span>Szócikk</span></a></li><li id="ca-talk" class="vector-tab-noicon mw-list-item"><a href="/wiki/Vita:Bikondicion%C3%A1lis" rel="discussion" title="Az oldal tartalmának megvitatása [t]" accesskey="t"><span>Vitalap</span></a></li> </ul> </div> </div> <div id="vector-variants-dropdown" class="vector-dropdown emptyPortlet" > <input type="checkbox" id="vector-variants-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-variants-dropdown" class="vector-dropdown-checkbox " aria-label="Nyelvvariáns váltása" > <label id="vector-variants-dropdown-label" for="vector-variants-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet" aria-hidden="true" ><span class="vector-dropdown-label-text">magyar</span> </label> <div class="vector-dropdown-content"> <div id="p-variants" class="vector-menu mw-portlet mw-portlet-variants emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> </div> </div> </nav> </div> <div id="right-navigation" class="vector-collapsible"> <nav aria-label="Nézetek"> <div id="p-views" class="vector-menu vector-menu-tabs mw-portlet mw-portlet-views" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-view" class="selected vector-tab-noicon mw-list-item"><a href="/wiki/Bikondicion%C3%A1lis"><span>Olvasás</span></a></li><li id="ca-edit" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Bikondicion%C3%A1lis&action=edit" title="Az oldal forráskódjának szerkesztése [e]" accesskey="e"><span>Szerkesztés</span></a></li><li id="ca-history" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Bikondicion%C3%A1lis&action=history" title="A lap korábbi változatai [h]" accesskey="h"><span>Laptörténet</span></a></li> </ul> </div> </div> </nav> <nav class="vector-page-tools-landmark" aria-label="Oldal eszközök"> <div id="vector-page-tools-dropdown" class="vector-dropdown vector-page-tools-dropdown" > <input type="checkbox" id="vector-page-tools-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-page-tools-dropdown" class="vector-dropdown-checkbox " aria-label="Eszközök" > <label id="vector-page-tools-dropdown-label" for="vector-page-tools-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet" aria-hidden="true" ><span class="vector-dropdown-label-text">Eszközök</span> </label> <div class="vector-dropdown-content"> <div id="vector-page-tools-unpinned-container" class="vector-unpinned-container"> <div id="vector-page-tools" class="vector-page-tools vector-pinnable-element"> <div class="vector-pinnable-header vector-page-tools-pinnable-header vector-pinnable-header-unpinned" data-feature-name="page-tools-pinned" data-pinnable-element-id="vector-page-tools" data-pinned-container-id="vector-page-tools-pinned-container" data-unpinned-container-id="vector-page-tools-unpinned-container" > <div class="vector-pinnable-header-label">Eszközök</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-page-tools.pin">áthelyezés az oldalsávba</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-page-tools.unpin">elrejtés</button> </div> <div id="p-cactions" class="vector-menu mw-portlet mw-portlet-cactions emptyPortlet vector-has-collapsible-items" title="További lehetőségek" > <div class="vector-menu-heading"> Műveletek </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-more-view" class="selected vector-more-collapsible-item mw-list-item"><a href="/wiki/Bikondicion%C3%A1lis"><span>Olvasás</span></a></li><li id="ca-more-edit" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Bikondicion%C3%A1lis&action=edit" title="Az oldal forráskódjának szerkesztése [e]" accesskey="e"><span>Szerkesztés</span></a></li><li id="ca-more-history" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Bikondicion%C3%A1lis&action=history"><span>Laptörténet</span></a></li> </ul> </div> </div> <div id="p-tb" class="vector-menu mw-portlet mw-portlet-tb" > <div class="vector-menu-heading"> Általános </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="t-whatlinkshere" class="mw-list-item"><a href="/wiki/Speci%C3%A1lis:Mi_hivatkozik_erre/Bikondicion%C3%A1lis" title="Az erre a lapra hivatkozó más lapok listája [j]" accesskey="j"><span>Mi hivatkozik erre?</span></a></li><li id="t-recentchangeslinked" class="mw-list-item"><a href="/wiki/Speci%C3%A1lis:Kapcsol%C3%B3d%C3%B3_v%C3%A1ltoztat%C3%A1sok/Bikondicion%C3%A1lis" rel="nofollow" title="Az erről a lapról hivatkozott lapok utolsó változtatásai [k]" accesskey="k"><span>Kapcsolódó változtatások</span></a></li><li id="t-specialpages" class="mw-list-item"><a href="/wiki/Speci%C3%A1lis:Speci%C3%A1lis_lapok" title="Az összes speciális lap listája [q]" accesskey="q"><span>Speciális lapok</span></a></li><li id="t-permalink" class="mw-list-item"><a href="/w/index.php?title=Bikondicion%C3%A1lis&oldid=26578843" title="Állandó hivatkozás ezen lap ezen változatához"><span>Hivatkozás erre a változatra</span></a></li><li id="t-info" class="mw-list-item"><a href="/w/index.php?title=Bikondicion%C3%A1lis&action=info" title="További információk erről a lapról"><span>Lapinformációk</span></a></li><li id="t-cite" class="mw-list-item"><a href="/w/index.php?title=Speci%C3%A1lis:Hivatkoz%C3%A1s&page=Bikondicion%C3%A1lis&id=26578843&wpFormIdentifier=titleform" title="Információk a lap idézésével kapcsolatban"><span>Hogyan hivatkozz erre a lapra?</span></a></li><li id="t-urlshortener" class="mw-list-item"><a href="/w/index.php?title=Speci%C3%A1lis:UrlShortener&url=https%3A%2F%2Fhu.wikipedia.org%2Fwiki%2FBikondicion%25C3%25A1lis"><span>Rövidített URL készítése</span></a></li><li id="t-urlshortener-qrcode" class="mw-list-item"><a href="/w/index.php?title=Speci%C3%A1lis:QrCode&url=https%3A%2F%2Fhu.wikipedia.org%2Fwiki%2FBikondicion%25C3%25A1lis"><span>QR-kód letöltése</span></a></li> </ul> </div> </div> <div id="p-coll-print_export" class="vector-menu mw-portlet mw-portlet-coll-print_export" > <div class="vector-menu-heading"> Nyomtatás/exportálás </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="coll-create_a_book" class="mw-list-item"><a href="/w/index.php?title=Speci%C3%A1lis:K%C3%B6nyv&bookcmd=book_creator&referer=Bikondicion%C3%A1lis"><span>Könyv készítése</span></a></li><li id="coll-download-as-rl" class="mw-list-item"><a href="/w/index.php?title=Speci%C3%A1lis:DownloadAsPdf&page=Bikondicion%C3%A1lis&action=show-download-screen"><span>Letöltés PDF-ként</span></a></li><li id="t-print" class="mw-list-item"><a href="/w/index.php?title=Bikondicion%C3%A1lis&printable=yes" title="A lap nyomtatható változata [p]" accesskey="p"><span>Nyomtatható változat</span></a></li> </ul> </div> </div> <div id="p-wikibase-otherprojects" class="vector-menu mw-portlet mw-portlet-wikibase-otherprojects" > <div class="vector-menu-heading"> Társprojektek </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li class="wb-otherproject-link wb-otherproject-commons mw-list-item"><a href="https://commons.wikimedia.org/wiki/Category:If_and_only_if" hreflang="en"><span>Wikimédia Commons</span></a></li><li id="t-wikibase" class="wb-otherproject-link wb-otherproject-wikibase-dataitem mw-list-item"><a href="https://www.wikidata.org/wiki/Special:EntityPage/Q949972" title="Kapcsolt adattárelem [g]" accesskey="g"><span>Wikidata-adatlap</span></a></li> </ul> </div> </div> </div> </div> </div> </div> </nav> </div> </div> </div> <div class="vector-column-end"> <div class="vector-sticky-pinned-container"> <nav class="vector-page-tools-landmark" aria-label="Oldal eszközök"> <div id="vector-page-tools-pinned-container" class="vector-pinned-container"> </div> </nav> <nav class="vector-appearance-landmark" aria-label="Megjelenés"> <div id="vector-appearance-pinned-container" class="vector-pinned-container"> <div id="vector-appearance" class="vector-appearance vector-pinnable-element"> <div class="vector-pinnable-header vector-appearance-pinnable-header vector-pinnable-header-pinned" data-feature-name="appearance-pinned" data-pinnable-element-id="vector-appearance" data-pinned-container-id="vector-appearance-pinned-container" data-unpinned-container-id="vector-appearance-unpinned-container" > <div class="vector-pinnable-header-label">Megjelenés</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-appearance.pin">áthelyezés az oldalsávba</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-appearance.unpin">elrejtés</button> </div> </div> </div> </nav> </div> </div> <div id="bodyContent" class="vector-body" aria-labelledby="firstHeading" data-mw-ve-target-container> <div class="vector-body-before-content"> <div class="mw-indicators"> <div id="mw-indicator-indicator-fr-review-status" class="mw-indicator"><indicator name="fr-review-status" class="mw-fr-review-status-indicator" id="mw-fr-revision-toggle"><span class="cdx-fr-css-icon-review--status--stable"></span><b>Ellenőrzött</b></indicator></div> </div> <div id="siteSub" class="noprint">A Wikipédiából, a szabad enciklopédiából</div> </div> <div id="contentSub"><div id="mw-content-subtitle"><div id="mw-fr-revision-messages"><div id="mw-fr-revision-details" class="mw-fr-revision-details-dialog" style="display:none;"><div tabindex="0"></div><div class="cdx-dialog cdx-dialog--horizontal-actions"><header class="cdx-dialog__header cdx-dialog__header--default"><div class="cdx-dialog__header__title-group"><h2 class="cdx-dialog__header__title">Változat állapota</h2><p class="cdx-dialog__header__subtitle">Ez a lap egy ellenőrzött változata</p></div><button class="cdx-button cdx-button--action-default cdx-button--weight-quiet
							cdx-button--size-medium cdx-button--icon-only cdx-dialog__header__close-button" aria-label="Close" onclick="document.getElementById("mw-fr-revision-details").style.display = "none";" type="submit"><span class="cdx-icon cdx-icon--medium
							cdx-fr-css-icon--close"></span></button></header><div class="cdx-dialog__body">Ez a <a href="/wiki/Wikip%C3%A9dia:Jel%C3%B6lt_lapv%C3%A1ltozatok" title="Wikipédia:Jelölt lapváltozatok">közzétett változat</a>, <a class="external text" href="https://hu.wikipedia.org/w/index.php?title=Speci%C3%A1lis:Rendszernapl%C3%B3k&type=review&page=Bikondicion%C3%A1lis">ellenőrizve</a>: <i>2023. november 5.</i><p><table id="mw-fr-revisionratings-box" class="flaggedrevs-color-1" style="margin: auto;" cellpadding="0"><tr><td class="fr-text" style="vertical-align: middle;">Pontosság</td><td class="fr-value40" style="vertical-align: middle;">ellenőrzött</td></tr></table></p></div></div><div tabindex="0"></div></div></div></div></div> <div id="mw-content-text" class="mw-body-content"><div class="mw-content-ltr mw-parser-output" lang="hu" dir="ltr"><div id="shortcut" class="noprint" style="border:1px solid #999; background:#fff; margin:0 0 .5em 1em; text-align:center; padding:5px; float:right; clear:right; font-size:smaller;"> <p><span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \leftrightarrow }"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mo stretchy="false">↔</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \leftrightarrow }</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/046b918c43e05caf6624fe9b676c69ec9cd6b892" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.324ex; height:1.843ex;" alt="{\displaystyle \leftrightarrow }"></span> <br /><br /> <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \Leftrightarrow }"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mo stretchy="false">⇔</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \Leftrightarrow }</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/64812e13399c20cf3ce94e049d3bb2d85f26abcf" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.324ex; height:1.843ex;" alt="{\displaystyle \Leftrightarrow }"></span><br /><br /> <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \equiv }"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mo>≡</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \equiv }</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/4c5c34250859b6f6d2a77b4e8a2ceaa90638076d" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: 0.081ex; margin-bottom: -0.253ex; width:1.808ex; height:1.509ex;" alt="{\displaystyle \equiv }"></span><br /> </p> <div style="line-height: 120%; text-align: left">a bikondicionálist jelölő<br />logikai szimbólumok</div></div> <p>Az <b>akkor és csak akkor</b> kifejezés egy természetes nyelvi, <a href="/wiki/Logika" title="Logika">logikai</a> természetű viszony (<a href="/wiki/Rel%C3%A1ci%C3%B3" title="Reláció">reláció</a>), elnevezése a <a href="/wiki/Logikai_grammatika" title="Logikai grammatika">logikai grammatikában</a> <b>bikondicionális</b>. Arra való, hogy két tagmondat felhasználásával olyan összetett mondatot képezzünk, mely szándékaink szerint azt fejezi ki, hogy mindkét tagmondat ugyanazon körülmények között tekinthető igaznak és hamisnak. Például: </p> <dl><dd>„A lakás bérbe adása akkor és csak akkor tekinthető törvényesnek, ha formailag megfelelő szerződés szól róla.”</dd> <dd>„Egy <a href="/wiki/Polinom" title="Polinom">polinomnak</a> az <i>α</i> szám akkor és csak akkor gyöke, ha a polinomfüggvénynek zérushelye.”</dd></dl> <p>A bikondicionális elnevezés abból származik, hogy kifejezhető két implikáció kapcsolataként. Például az „akkor és csak akkor P, ha Q” azt jelenti, hogy a „ha P, akkor Q” és a „ha Q, akkor P” is igaz. </p> <meta property="mw:PageProp/toc" /> <div class="mw-heading mw-heading2"><h2 id="Szinonimái"><span id="Szinonim.C3.A1i"></span>Szinonimái</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Bikondicion%C3%A1lis&action=edit&section=1" title="Szakasz szerkesztése: Szinonimái"><span>szerkesztés</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>A kifejezés használata ritka (és idegen) a mindennapi nyelvben, de a tudományos nyelvben, főleg a matematika és a filozófia területén igen sokszor előfordul. Ezekből a szaknyelvekből, a német „dann und nur dann” kifejezés tükörfordításaként került a magyarba. Szinonimája a </p> <dl><dd>„<i>A</i> pontosan akkor, ha <i>B</i>”</dd></dl> <p>fordulat, de használják helyette az </p> <dl><dd>„<i>A</i> egyenértékű <i>B</i>-vel”,</dd> <dd>„<i>A</i> ekvivalens <i>B</i>-vel”,</dd> <dd>„<i>A</i> szükséges és elégséges feltétele <i>B</i>-nek”</dd></dl> <p>kifejezéseket is. Hosszúságára való tekintettel néha rövidítik, pl.: </p> <dl><dd>„<i>csakkor</i>”</dd> <dd>„<i>a. cs. a.</i>”</dd></dl> <p>vagy újabban, az angol „if and only if” kifejezés ottani rövidítését átvéve </p> <dl><dd>„<i>iff</i>”<sup id="cite_ref-1" class="reference"><a href="#cite_note-1"><span class="cite-bracket">[</span>1<span class="cite-bracket">]</span></a></sup></dd></dl> <div class="mw-heading mw-heading2"><h2 id="Klasszikus_igazságfeltételei"><span id="Klasszikus_igazs.C3.A1gfelt.C3.A9telei"></span>Klasszikus igazságfeltételei</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Bikondicion%C3%A1lis&action=edit&section=2" title="Szakasz szerkesztése: Klasszikus igazságfeltételei"><span>szerkesztés</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>Bármilyen logikát is tekintünk érvényesnek, az </p> <dl><dd>„<i>A</i> akkor és csak akkor, ha <i>B</i>”</dd></dl> <p>nem más, mint a </p> <dl><dd>„ha <i>A</i>, akkor <i>B</i> és ha <i>B</i>, akkor <i>A</i>”</dd></dl> <p>Ez attól függően más és más, hogy a „… ha akkor …” kondicionálison mit értünk. Ha A <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \rightarrow }"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mo stretchy="false">→</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \rightarrow }</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/53e574cc3aa5b4bf5f3f5906caf121a378eef08b" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.324ex; height:1.843ex;" alt="{\displaystyle \rightarrow }"></span> B a Philon nevéhez fűződő, illetve a Russell által materiális kondicionálisnak nevezett konnektívum, akkor a bikondicionális igazságtáblázata: </p> <table align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:45%"> <caption><b>akkor és csak akkor</b> </caption> <tbody><tr style="background:paleturquoise"> <th style="width:15%">A </th> <th style="width:15%">B </th> <th style="width:15%">A ↔ B </th></tr> <tr> <td>igaz</td> <td>igaz</td> <td>igaz </td></tr> <tr> <td>igaz</td> <td>hamis</td> <td>hamis </td></tr> <tr> <td>hamis</td> <td>igaz</td> <td>hamis </td></tr> <tr> <td>hamis</td> <td>hamis</td> <td>igaz </td></tr></tbody></table> <p>Ez az eredmény produkálható <a href="/w/index.php?title=XNOR_kapu&action=edit&redlink=1" class="new" title="XNOR kapu (a lap nem létezik)">XNOR kapuval</a>, tagadása <a href="/w/index.php?title=XOR_kapuval&action=edit&redlink=1" class="new" title="XOR kapuval (a lap nem létezik)">XOR kapuval</a>.<sup id="cite_ref-2" class="reference"><a href="#cite_note-2"><span class="cite-bracket">[</span>2<span class="cite-bracket">]</span></a></sup> </p> <div class="mw-heading mw-heading2"><h2 id="Használata"><span id="Haszn.C3.A1lata"></span>Használata</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Bikondicion%C3%A1lis&action=edit&section=3" title="Szakasz szerkesztése: Használata"><span>szerkesztés</span></a><span class="mw-editsection-bracket">]</span></span></div> <div class="mw-heading mw-heading3"><h3 id="Jelölése"><span id="Jel.C3.B6l.C3.A9se"></span>Jelölése</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Bikondicion%C3%A1lis&action=edit&section=4" title="Szakasz szerkesztése: Jelölése"><span>szerkesztés</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>Szokásos jelölése "↔", "<span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \Leftrightarrow }"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mo stretchy="false">⇔</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \Leftrightarrow }</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/64812e13399c20cf3ce94e049d3bb2d85f26abcf" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.324ex; height:1.843ex;" alt="{\displaystyle \Leftrightarrow }"></span>", "≡", néha "iff", különösen angol szövegekben. Mindezeket ekvivalensnek tekintik. Az elsőrendű logikában azonban megkülönböztetik a logikai képletekben használt ↔, és a logikai képletek közötti összefüggést jelölő ⇔ jelet. <a href="/wiki/Jan_%C5%81ukasiewicz" title="Jan Łukasiewicz">Łukasiewicz</a> lengyelformájában jele 'E'.<sup id="cite_ref-3" class="reference"><a href="#cite_note-3"><span class="cite-bracket">[</span>3<span class="cite-bracket">]</span></a></sup> </p><p><a href="/wiki/TeX" title="TeX">TeXben</a> az \iff utasítás hosszú kettős nyilat produkál: <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \iff }"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mspace width="thickmathspace" /> <mo stretchy="false">⟺</mo> <mspace width="thickmathspace" /> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \iff }</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/ff942842a50b24e7585cc42c5b50c34650e3aa99" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:5.607ex; height:1.843ex;" alt="{\displaystyle \iff }"></span>.<sup id="cite_ref-4" class="reference"><a href="#cite_note-4"><span class="cite-bracket">[</span>4<span class="cite-bracket">]</span></a></sup> </p> <div class="mw-heading mw-heading3"><h3 id="Definíciók"><span id="Defin.C3.ADci.C3.B3k"></span>Definíciók</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Bikondicion%C3%A1lis&action=edit&section=5" title="Szakasz szerkesztése: Definíciók"><span>szerkesztés</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>A definíciók általában akkor és csak akkor kijelentések, így a szigorú logikai pontosság Kelley szerint megköveteli ennek megfogalmazását. Angol szövegekben ez "if and only if" vagy <i>iff</i>, ahogy az a <i>General Topology</i>ban is olvasható. Azonban ezt nem követi a legtöbb matematikai szöveg, és egyszerű implikációt használ, amit ebben a speciális szövegkörnyezetben ekvivalenciaként kell értelmezni. Ez látható a Wikipédiában is.<sup id="cite_ref-5" class="reference"><a href="#cite_note-5"><span class="cite-bracket">[</span>5<span class="cite-bracket">]</span></a></sup> </p> <div class="mw-heading mw-heading3"><h3 id="Bizonyítások"><span id="Bizony.C3.ADt.C3.A1sok"></span>Bizonyítások</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Bikondicion%C3%A1lis&action=edit&section=6" title="Szakasz szerkesztése: Bizonyítások"><span>szerkesztés</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>A legtöbb logikai rendszerben egy ekvivalencia bizonyítható vagy úgy, hogy „ha P, akkor Q” és „ha Q, akkor P”, vagy „ha P, akkor Q” és „ha nem P, akkor nem Q”.<sup id="cite_ref-6" class="reference"><a href="#cite_note-6"><span class="cite-bracket">[</span>6<span class="cite-bracket">]</span></a></sup> A két állítás bizonyítása gyakran természetesebb, mivel sokkal nehezebb azt észrevenni, hogyan lehet egyből az ekvivalenciát belátni. Egy további alternatíva a „(P és Q) vagy (nem P és nem Q)” bizonyítása, a <a href="/wiki/Diszjunkci%C3%B3" title="Diszjunkció">diszjunkció</a> tagjain keresztül. </p> <div class="mw-heading mw-heading3"><h3 id="Az_iff_rövidítés"><span id="Az_iff_r.C3.B6vid.C3.ADt.C3.A9s"></span>Az iff rövidítés</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Bikondicion%C3%A1lis&action=edit&section=7" title="Szakasz szerkesztése: Az iff rövidítés"><span>szerkesztés</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>Az iff rövidítés először <a href="/w/index.php?title=John_L._Kelley&action=edit&redlink=1" class="new" title="John L. Kelley (a lap nem létezik)">John L. Kelley</a> 1955-ös <i>General Topology</i> című könyvében jelent meg.<sup id="cite_ref-7" class="reference"><a href="#cite_note-7"><span class="cite-bracket">[</span>7<span class="cite-bracket">]</span></a></sup> A jelölés kitalálását <a href="/wiki/Halmos_P%C3%A1l" title="Halmos Pál">Halmos Pálnak</a> tulajdonítják. Ő is úgy gondolta, hogy ő vezette be, de nem volt biztos abban, hogy nem használta előtte más.<sup id="cite_ref-Higham1998_8-0" class="reference"><a href="#cite_note-Higham1998-8"><span class="cite-bracket">[</span>8<span class="cite-bracket">]</span></a></sup> </p><p>Az iff rövidítést szóban általában feloldják, azt mondják, hogy "if and only if". Azonban Kelley és Halmos Pál a jó hangzás kedvéért nem oldották fel, hanem hosszan ejtették az f-et, hogy megkülönböztessék az egyszerű iftől. Ugyanezt javasolják egy diszkrét matematika könyv szerzői, IPA jelekkel is leírva: <span title="IPA-kiejtés" class="IPA" lang="hu" style="white-space:nowrap; text-decoration:none!important">[ɪfː]</span>.<sup id="cite_ref-9" class="reference"><a href="#cite_note-9"><span class="cite-bracket">[</span>9<span class="cite-bracket">]</span></a></sup> </p> <div class="mw-heading mw-heading2"><h2 id="Megkülönböztetése_az_"akkor"-tól,_a_"csak_akkor"-tól"><span id="Megk.C3.BCl.C3.B6nb.C3.B6ztet.C3.A9se_az_.22akkor.22-t.C3.B3l.2C_a_.22csak_akkor.22-t.C3.B3l"></span>Megkülönböztetése az "akkor"-tól, a "csak akkor"-tól</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Bikondicion%C3%A1lis&action=edit&section=8" title="Szakasz szerkesztése: Megkülönböztetése az "akkor"-tól, a "csak akkor"-tól"><span>szerkesztés</span></a><span class="mw-editsection-bracket">]</span></span></div> <ol><li><b>"<u>Ha</u> a gyümölcs egy alma, János megeszi."</b> vagy <b>"János megeszi a gyümölcsöt <u>ha</u> az egy alma."</b> (ekvivalens az <b>"<u>Csak ha</u> megeszi János a gyümölcsöt, akkor alma;"</b> vagy <b>"János megeszi a gyümölcsöt <i>←</i> gyümölcs egy alma"</b> állításokkal) <dl><dd>Ez csupán azt állítja, hogy János a gyümölcsök közül mindenképpen enni fog almát. Viszont annak a lehetőségét nem zárja ki, hogy János ehet banánt, kivit, vagy bármilyen más gyümölcsöt is, csupán azt tudjuk, hogy János bármilyen almát meg fog enni, amivel találkozik. Magyarul az alma jelenléte <i>elegendő</i> Jánosnak az alma megevésére.</dd></dl></li> <li><b>"<u>Csak akkor</u>, ha a gyümölcs egy alma, fogja János megenni."</b> vagy <b>"János <u>csak akkor</u> fogja megenni a gyümölcsöt, ha az alma."</b> (ekvivalens a <b>"<u>Ha</u> János megeszik egy gyümölcsöt, akkor az egy alma."</b> vagy <b>"János megeszi a gyümölcsöt <i>→</i> a gyümölcs egy alma"</b> állításokkal) <dl><dd>Ez azt állítja, hogy az egyetlen gyümölcs, amit János megeszik, az az alma. Viszont azt nem rögzíti, hogy Jánosnak muszáj az almát megennie, amennyiben találkozik eggyel. Magyarul a ténynek, hogy János gyümölcsöt eszik <i>kötelező</i> velejárója az, hogy az a bizonyos gyümölcs alma legyen.</dd></dl></li> <li><b>"<u>Akkor és csak akkor</u>, ha a gyümölcs egy alma, fogja János megenni"</b> vagy <b>"János <u>akkor és csak akkor</u> eszi meg a gyümölcsöt, ha az egy alma"</b> vagy <b>"János megeszi a gyümölcsöt <i>↔</i> a gyümölcs egy alma"</b> <dl><dd>Ez az állítás azonban tisztán és világosan azt közli, hogy János mindegyik, és csak olyan gyümölcsöt fogja megenni, amelyek almák, tehát nem utasít el egy almát sem, valamint más gyümölcsöt nem eszik az almán kívül. Ezért az alma jelenléte mind <i>elegendő</i>, mind <i>kötelező</i> feltétele a gyümölcs evéséhez.</dd></dl></li></ol> <div class="mw-heading mw-heading2"><h2 id="Halmazelméleti_kapcsolatok"><span id="Halmazelm.C3.A9leti_kapcsolatok"></span>Halmazelméleti kapcsolatok</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Bikondicion%C3%A1lis&action=edit&section=9" title="Szakasz szerkesztése: Halmazelméleti kapcsolatok"><span>szerkesztés</span></a><span class="mw-editsection-bracket">]</span></span></div> <ul class="gallery mw-gallery-traditional"> <li class="gallerybox" style="width: 305px"> <div class="thumb" style="width: 300px; height: 150px;"><span typeof="mw:File"><a href="/wiki/F%C3%A1jl:Example_of_A_is_a_proper_subset_of_B.svg" class="mw-file-description" title="A valódi részhalmaza B-nek. Egy szám csak akkor van A-ban, ha B-beli; egy B-beli szám lehet, hogy nem A-beli."><img alt="A valódi részhalmaza B-nek. Egy szám csak akkor van A-ban, ha B-beli; egy B-beli szám lehet, hogy nem A-beli." src="//upload.wikimedia.org/wikipedia/commons/thumb/5/56/Example_of_A_is_a_proper_subset_of_B.svg/158px-Example_of_A_is_a_proper_subset_of_B.svg.png" decoding="async" width="158" height="120" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/5/56/Example_of_A_is_a_proper_subset_of_B.svg/236px-Example_of_A_is_a_proper_subset_of_B.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/5/56/Example_of_A_is_a_proper_subset_of_B.svg/315px-Example_of_A_is_a_proper_subset_of_B.svg.png 2x" data-file-width="391" data-file-height="298" /></a></span></div> <div class="gallerytext">A valódi részhalmaza B-nek. Egy szám csak akkor van A-ban, ha B-beli; egy B-beli szám lehet, hogy nem A-beli.</div> </li> <li class="gallerybox" style="width: 305px"> <div class="thumb" style="width: 300px; height: 150px;"><span typeof="mw:File"><a href="/wiki/F%C3%A1jl:Example_of_C_is_no_proper_subset_of_B.svg" class="mw-file-description" title="C részhalmaza B-nek, de nem valódi része. Egy szám B-beli akkor és csak akkor, ha C-beli, és egy szám C-beli akkor és csak akkor, ha B-beli."><img alt="C részhalmaza B-nek, de nem valódi része. Egy szám B-beli akkor és csak akkor, ha C-beli, és egy szám C-beli akkor és csak akkor, ha B-beli." src="//upload.wikimedia.org/wikipedia/commons/thumb/5/59/Example_of_C_is_no_proper_subset_of_B.svg/153px-Example_of_C_is_no_proper_subset_of_B.svg.png" decoding="async" width="153" height="120" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/5/59/Example_of_C_is_no_proper_subset_of_B.svg/230px-Example_of_C_is_no_proper_subset_of_B.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/5/59/Example_of_C_is_no_proper_subset_of_B.svg/306px-Example_of_C_is_no_proper_subset_of_B.svg.png 2x" data-file-width="384" data-file-height="301" /></a></span></div> <div class="gallerytext">C részhalmaza B-nek, de nem valódi része. Egy szám B-beli akkor és csak akkor, ha C-beli, és egy szám C-beli akkor és csak akkor, ha B-beli.</div> </li> </ul> <p>Az <a href="/w/index.php?title=Euler-diagram&action=edit&redlink=1" class="new" title="Euler-diagram (a lap nem létezik)">Euler-diagramok</a> a halmazelméleti <a href="/wiki/Venn-diagram" title="Venn-diagram">Venn-diagramokra</a> hasonlítanak, de logikai kapcsolatokat fejeznek ki. A bikondicionális két implikációra bontható. Halmazelméleti kapcsolatokkal kifejezve ez azt jelenti, hogy, ha "P→Q", akkor a P tulajdonságú elemek bírnak a Q tulajdonsággal is; tehát a P tulajdonságú elemek a Q tulajdonságúak részhalmazát alkotják. A fordított irányú implikációból következik, hogy a Q tulajdonság feltételezi a P tulajdonságot, azaz minden Q tulajdonságú elem P tulajdonságú is; tehát a Q tulajdonságú elemek a P tulajdonságúak részhalmazát alkotják. Mivel Q része P-nek, és P része Q-nak, azért a P és a Q halmazok megegyeznek. </p> <div class="mw-heading mw-heading2"><h2 id="Jegyzetek">Jegyzetek</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Bikondicion%C3%A1lis&action=edit&section=10" title="Szakasz szerkesztése: Jegyzetek"><span>szerkesztés</span></a><span class="mw-editsection-bracket">]</span></span></div> <div class="ref-1col"><div style="-moz-column-count:2; -webkit-column-count:2; column-count:2; -webkit-column-gap: 3em; -moz-column-gap: 3em; column-gap: 3em;"><ol class="references"> <li id="cite_note-1"><span class="mw-cite-backlink"><a href="#cite_ref-1">↑</a></span> <span class="reference-text">Weisstein, Eric W. "Iff." From MathWorld--A Wolfram Web Resource. <a rel="nofollow" class="external free" href="http://mathworld.wolfram.com/Iff.html">http://mathworld.wolfram.com/Iff.html</a></span> </li> <li id="cite_note-2"><span class="mw-cite-backlink"><a href="#cite_ref-2">↑</a></span> <span class="reference-text"><span class="citation"><a rel="nofollow" class="external text" href="http://www.cburch.com/logisim/docs/2.1.0/libs/gates/xor.html"><i>XOR/XNOR/Odd Parity/Even Parity Gate</i></a>. <i>www.cburch.com </i>. (Hozzáférés: 2019. október 22.)</span></span> </li> <li id="cite_note-3"><span class="mw-cite-backlink"><a href="#cite_ref-3">↑</a></span> <span class="reference-text"><span class="citation"><a rel="nofollow" class="external text" href="https://plato.stanford.edu/entries/lukasiewicz/polish-notation.html"><i>Jan Łukasiewicz > Łukasiewicz's Parenthesis-Free or Polish Notation (Stanford Encyclopedia of Philosophy)</i></a>. <i>plato.stanford.edu </i>. (Hozzáférés: 2019. október 22.)</span></span> </li> <li id="cite_note-4"><span class="mw-cite-backlink"><a href="#cite_ref-4">↑</a></span> <span class="reference-text"><span class="citation"><a rel="nofollow" class="external text" href="https://artofproblemsolving.com/wiki/index.php/LaTeX:Symbols"><i>LaTeX:Symbol</i></a>. <i>Art of Problem Solving </i>. (Hozzáférés: 2019. október 22.)</span></span> </li> <li id="cite_note-5"><span class="mw-cite-backlink"><a href="#cite_ref-5">↑</a></span> <span class="reference-text"><span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=A+Primer+of+Mathematical+Writing&rft.aulast=Krantz&rft.aufirst=Steven+G.&rft.date=1996&rft.pages=p.+%5Bhttps%3A%2F%2Farchive.org%2Fdetails%2Fprimerofmathemat0000kran%2Fpage%2F71+71%5D&rft.pub=American+Mathematical+Society&rft.isbn=978-0-8218-0635-7&rft_id=https%3A%2F%2Farchive.org%2Fdetails%2Fprimerofmathemat0000kran%2Fpage%2F71"><cite id="CITEREFKrantz1996">Krantz, Steven G. (1996), <i><a rel="nofollow" class="external text" href="https://archive.org/details/primerofmathemat0000kran/page/71">A Primer of Mathematical Writing</a></i>, American Mathematical Society, p. <a rel="nofollow" class="external text" href="https://archive.org/details/primerofmathemat0000kran/page/71">71</a>, <a href="/wiki/Speci%C3%A1lis:K%C3%B6nyvforr%C3%A1sok/978-0-8218-0635-7" title="Speciális:Könyvforrások/978-0-8218-0635-7">ISBN 978-0-8218-0635-7</a><span class="printonly">, <<a rel="nofollow" class="external free" href="https://archive.org/details/primerofmathemat0000kran/page/71">https://archive.org/details/primerofmathemat0000kran/page/71</a>></span></cite></span></span> </li> <li id="cite_note-6"><span class="mw-cite-backlink"><a href="#cite_ref-6">↑</a></span> <span class="reference-text"><span class="citation"><a rel="nofollow" class="external text" href="https://mathvault.ca/math-glossary/#iff"><i>The Definitive Glossary of Higher Mathematical Jargon — If and Only If</i></a> (amerikai angol nyelven). <i>Math Vault </i>, 2019. augusztus 1. (Hozzáférés: 2019. október 22.)</span></span> </li> <li id="cite_note-7"><span class="mw-cite-backlink"><a href="#cite_ref-7">↑</a></span> <span class="reference-text"><i>General Topology,</i> reissue <a href="/wiki/Speci%C3%A1lis:K%C3%B6nyvforr%C3%A1sok/9780387901251" title="Speciális:Könyvforrások/9780387901251">ISBN 978-0-387-90125-1</a></span> </li> <li id="cite_note-Higham1998-8"><span class="mw-cite-backlink"><a href="#cite_ref-Higham1998_8-0">↑</a></span> <span class="reference-text"><cite class="book citation" style="font-style:normal">Nicholas J. Higham. <i><a rel="nofollow" class="external text" href="https://books.google.com/books?id=9gQd2fJA7Y4C&pg=PA24">Handbook of writing for the mathematical sciences</a></i>, 2nd, SIAM, 24. o. (1998). <a href="/wiki/Speci%C3%A1lis:K%C3%B6nyvforr%C3%A1sok/978-0-89871-420-3" title="Speciális:Könyvforrások/978-0-89871-420-3">ISBN 978-0-89871-420-3</a></cite><span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Handbook+of+writing+for+the+mathematical+sciences&rft.au=Nicholas+J.+Higham&rft.date=1998&rft.edition=2nd&rft.pub=SIAM&rft.isbn=978-0-89871-420-3&rft_id=https%3A%2F%2Fbooks.google.com%2Fbooks%3Fid%3D9gQd2fJA7Y4C%26pg%3DPA24"><span style="display: none;"> </span></span></span> </li> <li id="cite_note-9"><span class="mw-cite-backlink"><a href="#cite_ref-9">↑</a></span> <span class="reference-text"><cite class="book citation" style="font-style:normal" id="Reference-Maurer-2005">Maurer, Stephen B.. <i>Discrete Algorithmic Mathematics</i>, 3rd, Boca Raton, Fla.: CRC Press, 60. o. (2005). <a href="/wiki/Speci%C3%A1lis:K%C3%B6nyvforr%C3%A1sok/1568811667" title="Speciális:Könyvforrások/1568811667">ISBN 1568811667</a></cite><span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Discrete+Algorithmic+Mathematics&rft.aulast=Maurer&rft.aufirst=Stephen+B.&rft.date=2005&rft.edition=3rd&rft.pub=CRC+Press&rft.place=Boca+Raton%2C+Fla.&rft.pages=60&rft.isbn=1568811667"><span style="display: none;"> </span></span></span> </li> </ol></div></div><div class="ref-1col"><div style="-moz-column-count:2; -webkit-column-count:2; column-count:2; -webkit-column-gap: 3em; -moz-column-gap: 3em; column-gap: 3em;"></div></div> <div class="mw-heading mw-heading2"><h2 id="Források"><span id="Forr.C3.A1sok"></span>Források</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Bikondicion%C3%A1lis&action=edit&section=11" title="Szakasz szerkesztése: Források"><span>szerkesztés</span></a><span class="mw-editsection-bracket">]</span></span></div> <ul><li><span class="citation"><a rel="nofollow" class="external text" href="https://web.archive.org/web/20000505112920/http://www.math.hawaii.edu/~ramsey/Logic/Iff.html"><i>Tables of truth for if and only if</i></a>. [2000. május 5-i dátummal az <a rel="nofollow" class="external text" href="http://www.math.hawaii.edu/~ramsey/Logic/Iff.html">eredetiből</a> archiválva].</span></li> <li><a rel="nofollow" class="external text" href="http://itre.cis.upenn.edu/~myl/languagelog/archives/003470.html">Language Log: "Just in Case"</a></li> <li><a rel="nofollow" class="external text" href="http://hesperusphosphorus.wordpress.com/2009/12/08/just-in-case">Southern California Philosophy for philosophy graduate students: "Just in Case"</a></li></ul> <div class="mw-heading mw-heading2"><h2 id="Fordítás"><span id="Ford.C3.ADt.C3.A1s"></span>Fordítás</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Bikondicion%C3%A1lis&action=edit&section=12" title="Szakasz szerkesztése: Fordítás"><span>szerkesztés</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>Ez a szócikk részben vagy egészben az <i><a href="https://en.wikipedia.org/wiki/If_and_only_if" class="extiw" title="en:If and only if">If and only if</a></i> című angol Wikipédia-szócikk fordításán alapul. Az eredeti cikk szerkesztőit annak laptörténete sorolja fel. Ez a jelzés csupán a megfogalmazás eredetét és a szerzői jogokat jelzi, nem szolgál a cikkben szereplő információk forrásmegjelöléseként. </p> <style data-mw-deduplicate="TemplateStyles:r20323567">.mw-parser-output .stubbox{clear:both;border:solid #A8A8A8;border-width:1px 0;background-color:#f0f0f0;margin:0 auto;margin-top:1em;padding:0.3em 0 0.4em 0.6em}.mw-parser-output .stubbox table{background-color:transparent;margin:0 auto}.mw-parser-output .stubbox table td{border:0;text-align:center}.mw-parser-output .stubbox table td.text{padding:0 10px}</style><div class="stubbox boilerplate metadata" id="stub"> <table> <tbody><tr> <td><span typeof="mw:File"><a href="/wiki/F%C3%A1jl:Logic-gate-nand-de.svg" class="mw-file-description"><img src="//upload.wikimedia.org/wikipedia/commons/thumb/a/a5/Logic-gate-nand-de.svg/50px-Logic-gate-nand-de.svg.png" decoding="async" width="50" height="27" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/a/a5/Logic-gate-nand-de.svg/75px-Logic-gate-nand-de.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/a/a5/Logic-gate-nand-de.svg/100px-Logic-gate-nand-de.svg.png 2x" data-file-width="488" data-file-height="262" /></a></span> </td> <td class="text"><i>Ez a <a href="/wiki/Logika" title="Logika">logikával</a> kapcsolatos lap egyelőre <a href="/wiki/Wikip%C3%A9dia:Csonk" title="Wikipédia:Csonk">csonk</a> (erősen hiányos). <span class="plainlinks"><a class="external text" href="https://hu.wikipedia.org/w/index.php?title=Bikondicion%C3%A1lis&action=edit">Segíts</a></span> te is, hogy igazi szócikk lehessen belőle!</i> </td></tr></tbody></table> </div></div><noscript><img src="https://login.wikimedia.org/wiki/Special:CentralAutoLogin/start?type=1x1&useformat=desktop" alt="" width="1" height="1" style="border: none; position: absolute;"></noscript> <div class="printfooter" data-nosnippet="">A lap eredeti címe: „<a dir="ltr" href="https://hu.wikipedia.org/w/index.php?title=Bikondicionális&oldid=26578843">https://hu.wikipedia.org/w/index.php?title=Bikondicionális&oldid=26578843</a>”</div></div> <div id="catlinks" class="catlinks" data-mw="interface"><div id="mw-normal-catlinks" class="mw-normal-catlinks"><a href="/wiki/Wikip%C3%A9dia:Kateg%C3%B3ri%C3%A1k" title="Wikipédia:Kategóriák">Kategória</a>: <ul><li><a href="/wiki/Kateg%C3%B3ria:Matematikai_logika" title="Kategória:Matematikai logika">Matematikai logika</a></li></ul></div><div id="mw-hidden-catlinks" class="mw-hidden-catlinks mw-hidden-cats-hidden">Rejtett kategóriák: <ul><li><a href="/wiki/Kateg%C3%B3ria:Csonkok_(logika)" title="Kategória:Csonkok (logika)">Csonkok (logika)</a></li><li><a href="/wiki/Kateg%C3%B3ria:Csonkok_2006_%C3%A1prilis%C3%A1b%C3%B3l" title="Kategória:Csonkok 2006 áprilisából">Csonkok 2006 áprilisából</a></li></ul></div></div> </div> </main> </div> <div class="mw-footer-container"> <footer id="footer" class="mw-footer" > <ul id="footer-info"> <li id="footer-info-lastmod"> A lap utolsó módosítása: 2023. november 5., 20:05</li> <li id="footer-info-copyright">A lap szövege <a rel="nofollow" class="external text" href="http://creativecommons.org/licenses/by-sa/4.0/deed.hu">Creative Commons Nevezd meg! – Így add tovább! 4.0</a> licenc alatt van; egyes esetekben más módon is felhasználható. Részletekért lásd a <a href="/wiki/Wikip%C3%A9dia:Felhaszn%C3%A1l%C3%A1si_felt%C3%A9telek" title="Wikipédia:Felhasználási feltételek">felhasználási feltételeket</a>.</li> </ul> <ul id="footer-places"> <li id="footer-places-privacy"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy">Adatvédelmi irányelvek</a></li> <li id="footer-places-about"><a href="/wiki/Wikip%C3%A9dia:R%C3%B3lunk">A Wikipédiáról</a></li> <li id="footer-places-disclaimers"><a href="/wiki/Wikip%C3%A9dia:Jogi_nyilatkozat">Jogi nyilatkozat</a></li> <li id="footer-places-wm-codeofconduct"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Universal_Code_of_Conduct">Magatartási kódex</a></li> <li id="footer-places-developers"><a href="https://developer.wikimedia.org">Fejlesztők</a></li> <li id="footer-places-statslink"><a href="https://stats.wikimedia.org/#/hu.wikipedia.org">Statisztikák</a></li> <li id="footer-places-cookiestatement"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Cookie_statement">Sütinyilatkozat</a></li> <li id="footer-places-mobileview"><a href="//hu.m.wikipedia.org/w/index.php?title=Bikondicion%C3%A1lis&mobileaction=toggle_view_mobile" class="noprint stopMobileRedirectToggle">Mobil nézet</a></li> </ul> <ul id="footer-icons" class="noprint"> <li id="footer-copyrightico"><a href="https://wikimediafoundation.org/" class="cdx-button cdx-button--fake-button cdx-button--size-large cdx-button--fake-button--enabled"><img src="/static/images/footer/wikimedia-button.svg" width="84" height="29" alt="Wikimedia Foundation" loading="lazy"></a></li> <li id="footer-poweredbyico"><a href="https://www.mediawiki.org/" class="cdx-button cdx-button--fake-button cdx-button--size-large cdx-button--fake-button--enabled"><img src="/w/resources/assets/poweredby_mediawiki.svg" alt="Powered by MediaWiki" width="88" height="31" loading="lazy"></a></li> </ul> </footer> </div> </div> </div> <div class="vector-settings" id="p-dock-bottom"> <ul></ul> </div><script>(RLQ=window.RLQ||[]).push(function(){mw.config.set({"wgHostname":"mw-web.codfw.main-645858d48f-dh77s","wgBackendResponseTime":250,"wgPageParseReport":{"limitreport":{"cputime":"0.114","walltime":"0.224","ppvisitednodes":{"value":1808,"limit":1000000},"postexpandincludesize":{"value":15476,"limit":2097152},"templateargumentsize":{"value":5232,"limit":2097152},"expansiondepth":{"value":16,"limit":100},"expensivefunctioncount":{"value":0,"limit":500},"unstrip-depth":{"value":0,"limit":20},"unstrip-size":{"value":10313,"limit":5000000},"entityaccesscount":{"value":0,"limit":400},"timingprofile":["100.00% 136.817 1 -total"," 61.53% 84.180 1 Sablon:Jegyzetek"," 59.71% 81.699 2 Sablon:References"," 31.03% 42.456 5 Sablon:Cite_web"," 14.39% 19.682 1 Sablon:Csonk-dátum"," 12.19% 16.682 1 Sablon:Fordítás"," 10.92% 14.935 1 Sablon:Csonk-logika"," 9.31% 12.741 1 Sablon:Citation"," 8.99% 12.298 6 Sablon:Isodátum"," 8.25% 11.287 1 Sablon:Csonk-gen"]},"scribunto":{"limitreport-timeusage":{"value":"0.009","limit":"10.000"},"limitreport-memusage":{"value":1001266,"limit":52428800}},"cachereport":{"origin":"mw-web.eqiad.main-559c9fd9f4-c89qn","timestamp":"20241126132556","ttl":2592000,"transientcontent":false}}});});</script> <script type="application/ld+json">{"@context":"https:\/\/schema.org","@type":"Article","name":"Bikondicion\u00e1lis","url":"https:\/\/hu.wikipedia.org\/wiki\/Bikondicion%C3%A1lis","sameAs":"http:\/\/www.wikidata.org\/entity\/Q949972","mainEntity":"http:\/\/www.wikidata.org\/entity\/Q949972","author":{"@type":"Organization","name":"Contributors to Wikimedia projects"},"publisher":{"@type":"Organization","name":"Wikimedia Foundation, Inc.","logo":{"@type":"ImageObject","url":"https:\/\/www.wikimedia.org\/static\/images\/wmf-hor-googpub.png"}},"datePublished":"2006-04-26T09:17:53Z"}</script> </body> </html>