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="id" dir="ltr"> <head> <meta charset="UTF-8"> <title>Logika matematika - Wikipedia bahasa Indonesia, ensiklopedia bebas</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(/(?:^|; )idwikimwclientpreferences=([^;]+)/);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":"dmy","wgMonthNames":["","Januari","Februari","Maret","April","Mei","Juni","Juli","Agustus","September","Oktober","November","Desember"],"wgRequestId":"c897ebb5-9818-4b24-bc3d-98f70e477382","wgCanonicalNamespace":"","wgCanonicalSpecialPageName":false,"wgNamespaceNumber":0,"wgPageName":"Logika_matematika","wgTitle":"Logika matematika","wgCurRevisionId":25451547,"wgRevisionId":25451547,"wgArticleId":263716,"wgIsArticle":true,"wgIsRedirect":false,"wgAction":"view","wgUserName":null,"wgUserGroups":["*"],"wgCategories":["Halaman dengan rujukan yang menggunakan parameter yang tidak didukung","Semua artikel rintisan","Rintisan bertopik matematika","Semua artikel rintisan Maret 2024","Halaman yang menggunakan pranala magis ISBN","Logika matematika"],"wgPageViewLanguage":"id","wgPageContentLanguage":"id","wgPageContentModel":"wikitext","wgRelevantPageName":"Logika_matematika","wgRelevantArticleId":263716,"wgIsProbablyEditable":true,"wgRelevantPageIsProbablyEditable":true, "wgRestrictionEdit":[],"wgRestrictionMove":[],"wgNoticeProject":"wikipedia","wgCiteReferencePreviewsActive":false,"wgFlaggedRevsParams":{"tags":{"accuracy":{"levels":2}}},"wgMediaViewerOnClick":true,"wgMediaViewerEnabledByDefault":true,"wgPopupsFlags":0,"wgVisualEditor":{"pageLanguageCode":"id","pageLanguageDir":"ltr","pageVariantFallbacks":"id"},"wgMFDisplayWikibaseDescriptions":{"search":true,"watchlist":true,"tagline":true,"nearby":true},"wgWMESchemaEditAttemptStepOversample":false,"wgWMEPageLength":3000,"wgRelatedArticlesCompat":[],"wgCentralAuthMobileDomain":false,"wgEditSubmitButtonLabelPublish":true,"wgULSPosition":"interlanguage","wgULSisCompactLinksEnabled":false,"wgVector2022LanguageInHeader":true,"wgULSisLanguageSelectorEmpty":false,"wgWikibaseItemId":"Q1166618","wgCheckUserClientHintsHeadersJsApi":["brands","architecture","bitness","fullVersionList","mobile","model","platform","platformVersion"],"GEHomepageSuggestedEditsEnableTopics":true,"wgGETopicsMatchModeEnabled":false, "wgGEStructuredTaskRejectionReasonTextInputEnabled":false,"wgGELevelingUpEnabledForUser":false};RLSTATE={"ext.gadget.charinsert-styles":"ready","ext.globalCssJs.user.styles":"ready","site.styles":"ready","user.styles":"ready","ext.globalCssJs.user":"ready","user":"ready","user.options":"loading","ext.cite.styles":"ready","ext.math.styles":"ready","skins.vector.search.codex.styles":"ready","skins.vector.styles":"ready","skins.vector.icons":"ready","jquery.makeCollapsible.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","ext.scribunto.logs","site","mediawiki.page.ready","jquery.makeCollapsible","mediawiki.toc","skins.vector.js","ext.centralNotice.geoIP","ext.centralNotice.startUp","ext.gadget.ReferenceTooltips","ext.gadget.watchlist-notice","ext.gadget.charinsert","ext.gadget.refToolbar", "ext.gadget.AdvancedSiteNotices","ext.gadget.switcher","ext.gadget.Bagikan","ext.gadget.CurIDLink","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=id&modules=ext.cite.styles%7Cext.math.styles%7Cext.uls.interlanguage%7Cext.visualEditor.desktopArticleTarget.noscript%7Cext.wikimediaBadges%7Cext.wikimediamessages.styles%7Cjquery.makeCollapsible.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=id&modules=startup&only=scripts&raw=1&skin=vector-2022"></script> <meta name="ResourceLoaderDynamicStyles" content=""> <link rel="stylesheet" href="/w/load.php?lang=id&modules=ext.gadget.charinsert-styles&only=styles&skin=vector-2022"> <link rel="stylesheet" href="/w/load.php?lang=id&modules=site.styles&only=styles&skin=vector-2022"> <meta name="generator" content="MediaWiki 1.44.0-wmf.4"> <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="Logika matematika - Wikipedia bahasa Indonesia, ensiklopedia bebas"> <meta property="og:type" content="website"> <link rel="preconnect" href="//upload.wikimedia.org"> <link rel="alternate" media="only screen and (max-width: 640px)" href="//id.m.wikipedia.org/wiki/Logika_matematika"> <link rel="alternate" type="application/x-wiki" title="Sunting" href="/w/index.php?title=Logika_matematika&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="Wikipedia (id)"> <link rel="EditURI" type="application/rsd+xml" href="//id.wikipedia.org/w/api.php?action=rsd"> <link rel="canonical" href="https://id.wikipedia.org/wiki/Logika_matematika"> <link rel="license" href="https://creativecommons.org/licenses/by-sa/4.0/deed.id"> <link rel="alternate" type="application/atom+xml" title="Umpan Atom Wikipedia" href="/w/index.php?title=Istimewa:Perubahan_terbaru&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-Logika_matematika rootpage-Logika_matematika skin-vector-2022 action-view"><a class="mw-jump-link" href="#bodyContent">Lompat ke isi</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="Situs"> <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="Menu utama" > <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">Menu utama</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">Menu utama</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-main-menu.pin">pindah ke bilah sisi</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-main-menu.unpin">sembunyikan</button> </div> <div id="p-navigation" class="vector-menu mw-portlet mw-portlet-navigation" > <div class="vector-menu-heading"> Navigasi </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-mainpage" class="mw-list-item"><a href="/wiki/Halaman_Utama" title="Kunjungi Halaman Utama [z]" accesskey="z"><span>Halaman Utama</span></a></li><li id="n-Daftar-isi" class="mw-list-item"><a href="/wiki/Wikipedia:Isi"><span>Daftar isi</span></a></li><li id="n-recentchanges" class="mw-list-item"><a href="/wiki/Istimewa:Perubahan_terbaru" title="Daftar perubahan terbaru dalam wiki. [r]" accesskey="r"><span>Perubahan terbaru</span></a></li><li id="n-Artikel-pilihan" class="mw-list-item"><a href="/wiki/Wikipedia:Artikel_pilihan/Topik"><span>Artikel pilihan</span></a></li><li id="n-currentevents" class="mw-list-item"><a href="/wiki/Portal:Peristiwa_terkini" title="Temukan informasi tentang peristiwa terkini"><span>Peristiwa terkini</span></a></li><li id="n-newpage" class="mw-list-item"><a href="/wiki/Istimewa:Halaman_baru"><span>Halaman baru</span></a></li><li id="n-randompage" class="mw-list-item"><a href="/wiki/Istimewa:Halaman_sembarang" title="Tampilkan sembarang halaman [x]" accesskey="x"><span>Halaman sembarang</span></a></li> </ul> </div> </div> <div id="p-Komunitas" class="vector-menu mw-portlet mw-portlet-Komunitas" > <div class="vector-menu-heading"> Komunitas </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-Warung-Kopi" class="mw-list-item"><a href="/wiki/Wikipedia:Warung_Kopi"><span>Warung Kopi</span></a></li><li id="n-portal" class="mw-list-item"><a href="/wiki/Portal:Komunitas" title="Tentang proyek, apa yang dapat Anda lakukan, di mana untuk mencari sesuatu"><span>Portal komunitas</span></a></li><li id="n-help" class="mw-list-item"><a href="/wiki/Bantuan:Isi" title="Tempat mencari bantuan."><span>Bantuan</span></a></li> </ul> </div> </div> <div id="p-Wikipedia" class="vector-menu mw-portlet mw-portlet-Wikipedia" > <div class="vector-menu-heading"> Wikipedia </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-aboutsite" class="mw-list-item"><a href="/wiki/Wikipedia:Perihal"><span>Tentang Wikipedia</span></a></li><li id="n-Pancapilar" class="mw-list-item"><a href="/wiki/Wikipedia:Pancapilar"><span>Pancapilar</span></a></li><li id="n-Kebijakan" class="mw-list-item"><a href="/wiki/Wikipedia:Kebijakan_dan_pedoman"><span>Kebijakan</span></a></li><li id="n-Hubungi-kami" class="mw-list-item"><a href="/wiki/Wikipedia:Hubungi_kami"><span>Hubungi kami</span></a></li><li id="n-Bak-pasir" class="mw-list-item"><a href="/wiki/Wikipedia:Bak_pasir"><span>Bak pasir</span></a></li> </ul> </div> </div> <div id="p-Bagikan" class="vector-menu mw-portlet mw-portlet-Bagikan emptyPortlet" > <div class="vector-menu-heading"> Bagikan </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> </div> </div> </div> </div> </nav> <a href="/wiki/Halaman_Utama" 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="Wikipedia" src="/static/images/mobile/copyright/wikipedia-wordmark-en.svg" style="width: 7.5em; height: 1.125em;"> <img class="mw-logo-tagline" alt="Ensiklopedia Bebas" src="/static/images/mobile/copyright/wikipedia-tagline-id.svg" width="120" height="14" style="width: 7.5em; height: 0.875em;"> </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/Istimewa:Pencarian" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only search-toggle" title="Cari di Wikipedia [f]" accesskey="f"><span class="vector-icon mw-ui-icon-search mw-ui-icon-wikimedia-search"></span> <span>Pencarian</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="Telusuri Wikipedia" aria-label="Telusuri Wikipedia" autocapitalize="sentences" title="Cari di Wikipedia [f]" accesskey="f" id="searchInput" > <span class="cdx-text-input__icon cdx-text-input__start-icon"></span> </div> <input type="hidden" name="title" value="Istimewa:Pencarian"> </div> <button class="cdx-button cdx-search-input__end-button">Cari</button> </form> </div> </div> </div> <nav class="vector-user-links vector-user-links-wide" aria-label="Perkakas pribadi"> <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="Tampilan"> <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="Tampilan" > <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">Tampilan</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_id.wikipedia.org&uselang=id" class=""><span>Menyumbang</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=Istimewa:Buat_akun&returnto=Logika+matematika" title="Anda dianjurkan untuk membuat akun dan masuk log; meskipun, hal itu tidak diwajibkan" class=""><span>Buat akun baru</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=Istimewa:Masuk_log&returnto=Logika+matematika" title="Anda disarankan untuk masuk log, meskipun hal itu tidak diwajibkan. [o]" accesskey="o" class=""><span>Masuk log</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="Opsi lainnya" > <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="Perkakas pribadi" > <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">Perkakas pribadi</span> </label> <div class="vector-dropdown-content"> <div id="p-personal" class="vector-menu mw-portlet mw-portlet-personal user-links-collapsible-item" title="Menu pengguna" > <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_id.wikipedia.org&uselang=id"><span>Menyumbang</span></a></li><li id="pt-createaccount" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=Istimewa:Buat_akun&returnto=Logika+matematika" title="Anda dianjurkan untuk membuat akun dan masuk log; meskipun, hal itu tidak diwajibkan"><span class="vector-icon mw-ui-icon-userAdd mw-ui-icon-wikimedia-userAdd"></span> <span>Buat akun baru</span></a></li><li id="pt-login" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=Istimewa:Masuk_log&returnto=Logika+matematika" title="Anda disarankan untuk masuk log, meskipun hal itu tidak diwajibkan. [o]" accesskey="o"><span class="vector-icon mw-ui-icon-logIn mw-ui-icon-wikimedia-logIn"></span> <span>Masuk log</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"> Halaman penyunting yang telah keluar log <a href="/wiki/Bantuan:Pengantar" aria-label="Pelajari lebih lanjut tentang menyunting"><span>pelajari lebih lanjut</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/Istimewa:Kontribusi_saya" title="Daftar suntingan yang dibuat dari alamat IP ini [y]" accesskey="y"><span>Kontribusi</span></a></li><li id="pt-anontalk" class="mw-list-item"><a href="/wiki/Istimewa:Pembicaraan_saya" title="Pembicaraan tentang suntingan dari alamat IP ini [n]" accesskey="n"><span>Pembicaraan</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="Situs"> <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="Daftar isi" 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">Daftar isi</h2> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-toc.pin">pindah ke bilah sisi</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-toc.unpin">sembunyikan</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">Awal</div> </a> </li> <li id="toc-Jenis-jenis_logika_matematika" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Jenis-jenis_logika_matematika"> <div class="vector-toc-text"> <span class="vector-toc-numb">1</span> <span>Jenis-jenis logika matematika</span> </div> </a> <button aria-controls="toc-Jenis-jenis_logika_matematika-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>Gulingkan subbagian Jenis-jenis logika matematika</span> </button> <ul id="toc-Jenis-jenis_logika_matematika-sublist" class="vector-toc-list"> <li id="toc-1._Negasi_(~)" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#1._Negasi_(~)"> <div class="vector-toc-text"> <span class="vector-toc-numb">1.1</span> <span>1. Negasi (~)</span> </div> </a> <ul id="toc-1._Negasi_(~)-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-2._Konjungsi_(^)" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#2._Konjungsi_(^)"> <div class="vector-toc-text"> <span class="vector-toc-numb">1.2</span> <span>2. Konjungsi (^)</span> </div> </a> <ul id="toc-2._Konjungsi_(^)-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-3._Disjungsi_(v)" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#3._Disjungsi_(v)"> <div class="vector-toc-text"> <span class="vector-toc-numb">1.3</span> <span>3. Disjungsi (v)</span> </div> </a> <ul id="toc-3._Disjungsi_(v)-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-4._Implikasi_(=>)" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#4._Implikasi_(=>)"> <div class="vector-toc-text"> <span class="vector-toc-numb">1.4</span> <span>4. Implikasi (=>)</span> </div> </a> <ul id="toc-4._Implikasi_(=>)-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-5._Biimplikasi_(<=>)" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#5._Biimplikasi_(<=>)"> <div class="vector-toc-text"> <span class="vector-toc-numb">1.5</span> <span>5. Biimplikasi (<=>)</span> </div> </a> <ul id="toc-5._Biimplikasi_(<=>)-sublist" class="vector-toc-list"> </ul> </li> </ul> </li> <li id="toc-Hukum_logika" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Hukum_logika"> <div class="vector-toc-text"> <span class="vector-toc-numb">2</span> <span>Hukum logika</span> </div> </a> <ul id="toc-Hukum_logika-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Tabel_kebenaran" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Tabel_kebenaran"> <div class="vector-toc-text"> <span class="vector-toc-numb">3</span> <span>Tabel kebenaran</span> </div> </a> <ul id="toc-Tabel_kebenaran-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Invers,_Konvers_dan_Kontraposisi" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Invers,_Konvers_dan_Kontraposisi"> <div class="vector-toc-text"> <span class="vector-toc-numb">4</span> <span>Invers, Konvers dan Kontraposisi</span> </div> </a> <ul id="toc-Invers,_Konvers_dan_Kontraposisi-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Penarikan_kesimpulan" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Penarikan_kesimpulan"> <div class="vector-toc-text"> <span class="vector-toc-numb">5</span> <span>Penarikan kesimpulan</span> </div> </a> <button aria-controls="toc-Penarikan_kesimpulan-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>Gulingkan subbagian Penarikan kesimpulan</span> </button> <ul id="toc-Penarikan_kesimpulan-sublist" class="vector-toc-list"> <li id="toc-Modus_ponens" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Modus_ponens"> <div class="vector-toc-text"> <span class="vector-toc-numb">5.1</span> <span>Modus ponens</span> </div> </a> <ul id="toc-Modus_ponens-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Modus_tollens" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Modus_tollens"> <div class="vector-toc-text"> <span class="vector-toc-numb">5.2</span> <span>Modus tollens</span> </div> </a> <ul id="toc-Modus_tollens-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Silogisme" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Silogisme"> <div class="vector-toc-text"> <span class="vector-toc-numb">5.3</span> <span>Silogisme</span> </div> </a> <ul id="toc-Silogisme-sublist" class="vector-toc-list"> </ul> </li> </ul> </li> <li id="toc-Referensi" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Referensi"> <div class="vector-toc-text"> <span class="vector-toc-numb">6</span> <span>Referensi</span> </div> </a> <ul id="toc-Referensi-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="Daftar isi" 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="Gulingkan daftar isi" > <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">Gulingkan daftar isi</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">Logika matematika</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="Pergi ke artikel dalam bahasa lain. Terdapat 85 bahasa" > <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-85" 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">85 bahasa</span> </label> <div class="vector-dropdown-content"> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li class="interlanguage-link interwiki-af mw-list-item"><a href="https://af.wikipedia.org/wiki/Wiskundige_logika" title="Wiskundige logika – Afrikaans" lang="af" hreflang="af" data-title="Wiskundige logika" data-language-autonym="Afrikaans" data-language-local-name="Afrikaans" class="interlanguage-link-target"><span>Afrikaans</span></a></li><li class="interlanguage-link interwiki-als mw-list-item"><a href="https://als.wikipedia.org/wiki/Mathematische_Logik" title="Mathematische Logik – Jerman (Swiss)" lang="gsw" hreflang="gsw" data-title="Mathematische Logik" data-language-autonym="Alemannisch" data-language-local-name="Jerman (Swiss)" class="interlanguage-link-target"><span>Alemannisch</span></a></li><li class="interlanguage-link interwiki-am mw-list-item"><a href="https://am.wikipedia.org/wiki/%E1%88%92%E1%88%B3%E1%89%A3%E1%8B%8A_%E1%88%A5%E1%8A%90_%E1%8A%A0%E1%88%9D%E1%8A%AD%E1%8A%95%E1%8B%AE" title="ሒሳባዊ ሥነ አምክንዮ – Amharik" lang="am" hreflang="am" data-title="ሒሳባዊ ሥነ አምክንዮ" data-language-autonym="አማርኛ" data-language-local-name="Amharik" class="interlanguage-link-target"><span>አማርኛ</span></a></li><li class="interlanguage-link interwiki-an mw-list-item"><a href="https://an.wikipedia.org/wiki/Lochica_matematica" title="Lochica matematica – Aragon" lang="an" hreflang="an" data-title="Lochica matematica" data-language-autonym="Aragonés" data-language-local-name="Aragon" class="interlanguage-link-target"><span>Aragonés</span></a></li><li class="interlanguage-link interwiki-ar mw-list-item"><a href="https://ar.wikipedia.org/wiki/%D9%85%D9%86%D8%B7%D9%82_%D8%B1%D9%8A%D8%A7%D8%B6%D9%8A" 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-ast mw-list-item"><a href="https://ast.wikipedia.org/wiki/L%C3%B3xica_matem%C3%A1tica" title="Lóxica matemática – Asturia" lang="ast" hreflang="ast" data-title="Lóxica matemática" data-language-autonym="Asturianu" data-language-local-name="Asturia" class="interlanguage-link-target"><span>Asturianu</span></a></li><li class="interlanguage-link interwiki-az mw-list-item"><a href="https://az.wikipedia.org/wiki/Riyazi_m%C9%99ntiq" title="Riyazi məntiq – Azerbaijani" lang="az" hreflang="az" data-title="Riyazi məntiq" data-language-autonym="Azərbaycanca" data-language-local-name="Azerbaijani" class="interlanguage-link-target"><span>Azərbaycanca</span></a></li><li class="interlanguage-link interwiki-be mw-list-item"><a href="https://be.wikipedia.org/wiki/%D0%9C%D0%B0%D1%82%D1%8D%D0%BC%D0%B0%D1%82%D1%8B%D1%87%D0%BD%D0%B0%D1%8F_%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B0" title="Матэматычная логіка – Belarusia" lang="be" hreflang="be" data-title="Матэматычная логіка" data-language-autonym="Беларуская" data-language-local-name="Belarusia" class="interlanguage-link-target"><span>Беларуская</span></a></li><li class="interlanguage-link interwiki-be-x-old mw-list-item"><a href="https://be-tarask.wikipedia.org/wiki/%D0%9C%D0%B0%D1%82%D1%8D%D0%BC%D0%B0%D1%82%D1%8B%D1%87%D0%BD%D0%B0%D1%8F_%D0%BB%D1%91%D0%B3%D1%96%D0%BA%D0%B0" title="Матэматычная лёгіка – Belarusian (Taraškievica orthography)" lang="be-tarask" hreflang="be-tarask" data-title="Матэматычная лёгіка" data-language-autonym="Беларуская (тарашкевіца)" data-language-local-name="Belarusian (Taraškievica orthography)" 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%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B0_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0" title="Математическа логика – Bulgaria" lang="bg" hreflang="bg" data-title="Математическа логика" data-language-autonym="Български" data-language-local-name="Bulgaria" class="interlanguage-link-target"><span>Български</span></a></li><li class="interlanguage-link interwiki-bn mw-list-item"><a href="https://bn.wikipedia.org/wiki/%E0%A6%97%E0%A6%BE%E0%A6%A3%E0%A6%BF%E0%A6%A4%E0%A6%BF%E0%A6%95_%E0%A6%AF%E0%A7%81%E0%A6%95%E0%A7%8D%E0%A6%A4%E0%A6%BF%E0%A6%AC%E0%A6%BF%E0%A6%9C%E0%A7%8D%E0%A6%9E%E0%A6%BE%E0%A6%A8" title="গাণিতিক যুক্তিবিজ্ঞান – Bengali" lang="bn" hreflang="bn" data-title="গাণিতিক যুক্তিবিজ্ঞান" data-language-autonym="বাংলা" data-language-local-name="Bengali" class="interlanguage-link-target"><span>বাংলা</span></a></li><li class="interlanguage-link interwiki-bs mw-list-item"><a href="https://bs.wikipedia.org/wiki/Matemati%C4%8Dka_logika" title="Matematička logika – Bosnia" lang="bs" hreflang="bs" data-title="Matematička logika" data-language-autonym="Bosanski" data-language-local-name="Bosnia" class="interlanguage-link-target"><span>Bosanski</span></a></li><li class="interlanguage-link interwiki-ca mw-list-item"><a href="https://ca.wikipedia.org/wiki/L%C3%B2gica_matem%C3%A0tica" title="Lògica matemàtica – Katalan" lang="ca" hreflang="ca" data-title="Lògica matemàtica" data-language-autonym="Català" data-language-local-name="Katalan" class="interlanguage-link-target"><span>Català</span></a></li><li class="interlanguage-link interwiki-cs mw-list-item"><a href="https://cs.wikipedia.org/wiki/Matematick%C3%A1_logika" title="Matematická logika – Cheska" lang="cs" hreflang="cs" data-title="Matematická logika" data-language-autonym="Čeština" data-language-local-name="Cheska" class="interlanguage-link-target"><span>Čeština</span></a></li><li class="interlanguage-link interwiki-cv mw-list-item"><a href="https://cv.wikipedia.org/wiki/%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%C4%83%D0%BB%D0%BB%D0%B0_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0" title="Математикăлла логика – Chuvash" lang="cv" hreflang="cv" data-title="Математикăлла логика" data-language-autonym="Чӑвашла" data-language-local-name="Chuvash" class="interlanguage-link-target"><span>Чӑвашла</span></a></li><li class="interlanguage-link interwiki-cy mw-list-item"><a href="https://cy.wikipedia.org/wiki/Rhesymeg_mathemateg" title="Rhesymeg mathemateg – Welsh" lang="cy" hreflang="cy" data-title="Rhesymeg mathemateg" data-language-autonym="Cymraeg" data-language-local-name="Welsh" 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/Matematisk_logik" title="Matematisk logik – Dansk" lang="da" hreflang="da" data-title="Matematisk logik" data-language-autonym="Dansk" data-language-local-name="Dansk" class="interlanguage-link-target"><span>Dansk</span></a></li><li class="interlanguage-link interwiki-de mw-list-item"><a href="https://de.wikipedia.org/wiki/Mathematische_Logik" title="Mathematische Logik – Jerman" lang="de" hreflang="de" data-title="Mathematische Logik" data-language-autonym="Deutsch" data-language-local-name="Jerman" 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%9C%CE%B1%CE%B8%CE%B7%CE%BC%CE%B1%CF%84%CE%B9%CE%BA%CE%AE_%CE%BB%CE%BF%CE%B3%CE%B9%CE%BA%CE%AE" title="Μαθηματική λογική – Yunani" lang="el" hreflang="el" data-title="Μαθηματική λογική" data-language-autonym="Ελληνικά" data-language-local-name="Yunani" class="interlanguage-link-target"><span>Ελληνικά</span></a></li><li class="interlanguage-link interwiki-en mw-list-item"><a href="https://en.wikipedia.org/wiki/Mathematical_logic" title="Mathematical logic – Inggris" lang="en" hreflang="en" data-title="Mathematical logic" data-language-autonym="English" data-language-local-name="Inggris" class="interlanguage-link-target"><span>English</span></a></li><li class="interlanguage-link interwiki-eo mw-list-item"><a href="https://eo.wikipedia.org/wiki/Matematika_logiko" title="Matematika logiko – Esperanto" lang="eo" hreflang="eo" data-title="Matematika logiko" data-language-autonym="Esperanto" data-language-local-name="Esperanto" 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/L%C3%B3gica_matem%C3%A1tica" title="Lógica matemática – Spanyol" lang="es" hreflang="es" data-title="Lógica matemática" 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/Matemaatiline_loogika" title="Matemaatiline loogika – Esti" lang="et" hreflang="et" data-title="Matemaatiline loogika" data-language-autonym="Eesti" data-language-local-name="Esti" 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/Logika_matematiko" title="Logika matematiko – Basque" lang="eu" hreflang="eu" data-title="Logika matematiko" data-language-autonym="Euskara" data-language-local-name="Basque" 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/%D9%85%D9%86%D8%B7%D9%82_%D8%B1%DB%8C%D8%A7%D8%B6%DB%8C" title="منطق ریاضی – Persia" lang="fa" hreflang="fa" data-title="منطق ریاضی" data-language-autonym="فارسی" data-language-local-name="Persia" class="interlanguage-link-target"><span>فارسی</span></a></li><li class="interlanguage-link interwiki-fi mw-list-item"><a href="https://fi.wikipedia.org/wiki/Matemaattinen_logiikka" title="Matemaattinen logiikka – Suomi" lang="fi" hreflang="fi" data-title="Matemaattinen logiikka" data-language-autonym="Suomi" data-language-local-name="Suomi" class="interlanguage-link-target"><span>Suomi</span></a></li><li class="interlanguage-link interwiki-fr mw-list-item"><a href="https://fr.wikipedia.org/wiki/Logique_math%C3%A9matique" title="Logique mathématique – Prancis" lang="fr" hreflang="fr" data-title="Logique mathématique" data-language-autonym="Français" data-language-local-name="Prancis" class="interlanguage-link-target"><span>Français</span></a></li><li class="interlanguage-link interwiki-ga mw-list-item"><a href="https://ga.wikipedia.org/wiki/Loighic_mhatamaitici%C3%BAil" title="Loighic mhatamaiticiúil – Irlandia" lang="ga" hreflang="ga" data-title="Loighic mhatamaiticiúil" data-language-autonym="Gaeilge" data-language-local-name="Irlandia" class="interlanguage-link-target"><span>Gaeilge</span></a></li><li class="interlanguage-link interwiki-gd mw-list-item"><a href="https://gd.wikipedia.org/wiki/Loidig_mhatamataigeach" title="Loidig mhatamataigeach – Gaelik Skotlandia" lang="gd" hreflang="gd" data-title="Loidig mhatamataigeach" data-language-autonym="Gàidhlig" data-language-local-name="Gaelik Skotlandia" class="interlanguage-link-target"><span>Gàidhlig</span></a></li><li class="interlanguage-link interwiki-gl mw-list-item"><a href="https://gl.wikipedia.org/wiki/L%C3%B3xica_matem%C3%A1tica" title="Lóxica matemática – Galisia" lang="gl" hreflang="gl" data-title="Lóxica matemática" data-language-autonym="Galego" data-language-local-name="Galisia" 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%9C%D7%95%D7%92%D7%99%D7%A7%D7%94_%D7%9E%D7%AA%D7%9E%D7%98%D7%99%D7%AA" title="לוגיקה מתמטית – Ibrani" lang="he" hreflang="he" data-title="לוגיקה מתמטית" data-language-autonym="עברית" data-language-local-name="Ibrani" 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%97%E0%A4%A3%E0%A4%BF%E0%A4%A4%E0%A5%80%E0%A4%AF_%E0%A4%A4%E0%A4%B0%E0%A5%8D%E0%A4%95%E0%A4%B6%E0%A4%BE%E0%A4%B8%E0%A5%8D%E0%A4%A4%E0%A5%8D%E0%A4%B0" 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/Matemati%C4%8Dka_logika" title="Matematička logika – Kroasia" lang="hr" hreflang="hr" data-title="Matematička logika" data-language-autonym="Hrvatski" data-language-local-name="Kroasia" class="interlanguage-link-target"><span>Hrvatski</span></a></li><li class="interlanguage-link interwiki-hu mw-list-item"><a href="https://hu.wikipedia.org/wiki/Matematikai_logika" title="Matematikai logika – Hungaria" lang="hu" hreflang="hu" data-title="Matematikai logika" data-language-autonym="Magyar" data-language-local-name="Hungaria" class="interlanguage-link-target"><span>Magyar</span></a></li><li class="interlanguage-link interwiki-hy mw-list-item"><a href="https://hy.wikipedia.org/wiki/%D5%84%D5%A1%D5%A9%D5%A5%D5%B4%D5%A1%D5%BF%D5%AB%D5%AF%D5%A1%D5%AF%D5%A1%D5%B6_%D5%BF%D6%80%D5%A1%D5%B4%D5%A1%D5%A2%D5%A1%D5%B6%D5%B8%D6%82%D5%A9%D5%B5%D5%B8%D6%82%D5%B6" title="Մաթեմատիկական տրամաբանություն – Armenia" lang="hy" hreflang="hy" data-title="Մաթեմատիկական տրամաբանություն" data-language-autonym="Հայերեն" data-language-local-name="Armenia" class="interlanguage-link-target"><span>Հայերեն</span></a></li><li class="interlanguage-link interwiki-io mw-list-item"><a href="https://io.wikipedia.org/wiki/Matematikala_logiko" title="Matematikala logiko – Ido" lang="io" hreflang="io" data-title="Matematikala logiko" data-language-autonym="Ido" data-language-local-name="Ido" 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/St%C3%A6r%C3%B0fr%C3%A6%C3%B0ileg_r%C3%B6kfr%C3%A6%C3%B0i" title="Stærðfræðileg rökfræði – Islandia" lang="is" hreflang="is" data-title="Stærðfræðileg rökfræði" data-language-autonym="Íslenska" data-language-local-name="Islandia" 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/Logica_matematica" title="Logica matematica – Italia" lang="it" hreflang="it" data-title="Logica matematica" data-language-autonym="Italiano" data-language-local-name="Italia" 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/%E6%95%B0%E7%90%86%E8%AB%96%E7%90%86%E5%AD%A6" title="数理論理学 – Jepang" lang="ja" hreflang="ja" data-title="数理論理学" data-language-autonym="日本語" data-language-local-name="Jepang" class="interlanguage-link-target"><span>日本語</span></a></li><li class="interlanguage-link interwiki-jv mw-list-item"><a href="https://jv.wikipedia.org/wiki/Logika_mat%C3%A9matika" title="Logika matématika – Jawa" lang="jv" hreflang="jv" data-title="Logika matématika" data-language-autonym="Jawa" data-language-local-name="Jawa" class="interlanguage-link-target"><span>Jawa</span></a></li><li class="interlanguage-link interwiki-ka mw-list-item"><a href="https://ka.wikipedia.org/wiki/%E1%83%9B%E1%83%90%E1%83%97%E1%83%94%E1%83%9B%E1%83%90%E1%83%A2%E1%83%98%E1%83%99%E1%83%A3%E1%83%A0%E1%83%98_%E1%83%9A%E1%83%9D%E1%83%92%E1%83%98%E1%83%99%E1%83%90" title="მათემატიკური ლოგიკა – Georgia" lang="ka" hreflang="ka" data-title="მათემატიკური ლოგიკა" data-language-autonym="ქართული" data-language-local-name="Georgia" 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%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0%D0%BB%D1%8B%D2%9B_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0" title="Математикалық логика – Kazakh" lang="kk" hreflang="kk" data-title="Математикалық логика" data-language-autonym="Қазақша" data-language-local-name="Kazakh" class="interlanguage-link-target"><span>Қазақша</span></a></li><li class="interlanguage-link interwiki-kn mw-list-item"><a href="https://kn.wikipedia.org/wiki/%E0%B2%97%E0%B2%A3%E0%B2%BF%E0%B2%A4_%E0%B2%A4%E0%B2%B0%E0%B3%8D%E0%B2%95%E0%B2%B6%E0%B2%BE%E0%B2%B8%E0%B3%8D%E0%B2%A4%E0%B3%8D%E0%B2%B0" title="ಗಣಿತ ತರ್ಕಶಾಸ್ತ್ರ – Kannada" lang="kn" hreflang="kn" data-title="ಗಣಿತ ತರ್ಕಶಾಸ್ತ್ರ" data-language-autonym="ಕನ್ನಡ" data-language-local-name="Kannada" class="interlanguage-link-target"><span>ಕನ್ನಡ</span></a></li><li class="interlanguage-link interwiki-ko mw-list-item"><a href="https://ko.wikipedia.org/wiki/%EC%88%98%EB%A6%AC_%EB%85%BC%EB%A6%AC%ED%95%99" title="수리 논리학 – Korea" lang="ko" hreflang="ko" data-title="수리 논리학" data-language-autonym="한국어" data-language-local-name="Korea" class="interlanguage-link-target"><span>한국어</span></a></li><li class="interlanguage-link interwiki-ky mw-list-item"><a href="https://ky.wikipedia.org/wiki/%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0%D0%BB%D1%8B%D0%BA_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0" title="Математикалык логика – Kirgiz" lang="ky" hreflang="ky" data-title="Математикалык логика" data-language-autonym="Кыргызча" data-language-local-name="Kirgiz" class="interlanguage-link-target"><span>Кыргызча</span></a></li><li class="interlanguage-link interwiki-la mw-list-item"><a href="https://la.wikipedia.org/wiki/Logica_mathematica" title="Logica mathematica – Latin" lang="la" hreflang="la" data-title="Logica mathematica" data-language-autonym="Latina" data-language-local-name="Latin" class="interlanguage-link-target"><span>Latina</span></a></li><li class="interlanguage-link interwiki-lb mw-list-item"><a href="https://lb.wikipedia.org/wiki/Mathematesch_Logik" title="Mathematesch Logik – Luksemburg" lang="lb" hreflang="lb" data-title="Mathematesch Logik" data-language-autonym="Lëtzebuergesch" data-language-local-name="Luksemburg" class="interlanguage-link-target"><span>Lëtzebuergesch</span></a></li><li class="interlanguage-link interwiki-lg mw-list-item"><a href="https://lg.wikipedia.org/wiki/Okusengekensonga_okw%27ekibalo(Mathematical_logic)" title="Okusengekensonga okw'ekibalo(Mathematical logic) – Ganda" lang="lg" hreflang="lg" data-title="Okusengekensonga okw'ekibalo(Mathematical logic)" data-language-autonym="Luganda" data-language-local-name="Ganda" class="interlanguage-link-target"><span>Luganda</span></a></li><li class="interlanguage-link interwiki-lij mw-list-item"><a href="https://lij.wikipedia.org/wiki/Logica_matematica" title="Logica matematica – Liguria" lang="lij" hreflang="lij" data-title="Logica matematica" data-language-autonym="Ligure" data-language-local-name="Liguria" class="interlanguage-link-target"><span>Ligure</span></a></li><li class="interlanguage-link interwiki-lt mw-list-item"><a href="https://lt.wikipedia.org/wiki/Simbolin%C4%97_logika" title="Simbolinė logika – Lituavi" lang="lt" hreflang="lt" data-title="Simbolinė logika" data-language-autonym="Lietuvių" data-language-local-name="Lituavi" class="interlanguage-link-target"><span>Lietuvių</span></a></li><li class="interlanguage-link interwiki-lv mw-list-item"><a href="https://lv.wikipedia.org/wiki/Matem%C4%81tisk%C4%81_lo%C4%A3ika" title="Matemātiskā loģika – Latvi" lang="lv" hreflang="lv" data-title="Matemātiskā loģika" data-language-autonym="Latviešu" data-language-local-name="Latvi" class="interlanguage-link-target"><span>Latviešu</span></a></li><li class="interlanguage-link interwiki-mk mw-list-item"><a href="https://mk.wikipedia.org/wiki/%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%BA%D0%B0_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0" title="Математичка логика – Makedonia" lang="mk" hreflang="mk" data-title="Математичка логика" data-language-autonym="Македонски" data-language-local-name="Makedonia" class="interlanguage-link-target"><span>Македонски</span></a></li><li class="interlanguage-link interwiki-ms mw-list-item"><a href="https://ms.wikipedia.org/wiki/Logik_matematik" title="Logik matematik – Melayu" lang="ms" hreflang="ms" data-title="Logik matematik" data-language-autonym="Bahasa Melayu" data-language-local-name="Melayu" class="interlanguage-link-target"><span>Bahasa Melayu</span></a></li><li class="interlanguage-link interwiki-mwl mw-list-item"><a href="https://mwl.wikipedia.org/wiki/L%C3%B3gica_matem%C3%A1tica" title="Lógica matemática – Miranda" lang="mwl" hreflang="mwl" data-title="Lógica matemática" data-language-autonym="Mirandés" data-language-local-name="Miranda" class="interlanguage-link-target"><span>Mirandés</span></a></li><li class="interlanguage-link interwiki-my mw-list-item"><a href="https://my.wikipedia.org/wiki/%E1%80%9E%E1%80%84%E1%80%BA%E1%80%B9%E1%80%81%E1%80%BB%E1%80%AC%E1%80%9A%E1%80%AF%E1%80%90%E1%80%B9%E1%80%90%E1%80%AD%E1%80%97%E1%80%B1%E1%80%92" title="သင်္ချာယုတ္တိဗေဒ – Burma" lang="my" hreflang="my" data-title="သင်္ချာယုတ္တိဗေဒ" data-language-autonym="မြန်မာဘာသာ" data-language-local-name="Burma" class="interlanguage-link-target"><span>မြန်မာဘာသာ</span></a></li><li class="interlanguage-link interwiki-nl mw-list-item"><a href="https://nl.wikipedia.org/wiki/Wiskundige_logica" title="Wiskundige logica – Belanda" lang="nl" hreflang="nl" data-title="Wiskundige logica" data-language-autonym="Nederlands" data-language-local-name="Belanda" 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/Matematisk_logikk" title="Matematisk logikk – Nynorsk Norwegia" lang="nn" hreflang="nn" data-title="Matematisk logikk" data-language-autonym="Norsk nynorsk" data-language-local-name="Nynorsk Norwegia" class="interlanguage-link-target"><span>Norsk nynorsk</span></a></li><li class="interlanguage-link interwiki-no mw-list-item"><a href="https://no.wikipedia.org/wiki/Matematisk_logikk" title="Matematisk logikk – Bokmål Norwegia" lang="nb" hreflang="nb" data-title="Matematisk logikk" data-language-autonym="Norsk bokmål" data-language-local-name="Bokmål Norwegia" class="interlanguage-link-target"><span>Norsk bokmål</span></a></li><li class="interlanguage-link interwiki-om mw-list-item"><a href="https://om.wikipedia.org/wiki/Yaayaa_Herregaa" title="Yaayaa Herregaa – Oromo" lang="om" hreflang="om" data-title="Yaayaa Herregaa" data-language-autonym="Oromoo" data-language-local-name="Oromo" class="interlanguage-link-target"><span>Oromoo</span></a></li><li class="interlanguage-link interwiki-pl mw-list-item"><a href="https://pl.wikipedia.org/wiki/Logika_matematyczna" title="Logika matematyczna – Polski" lang="pl" hreflang="pl" data-title="Logika matematyczna" data-language-autonym="Polski" data-language-local-name="Polski" class="interlanguage-link-target"><span>Polski</span></a></li><li class="interlanguage-link interwiki-pnb mw-list-item"><a href="https://pnb.wikipedia.org/wiki/%D8%B1%DB%8C%D8%A7%D8%B6%DB%8C%D8%A7%D8%AA%DB%8C_%D9%85%D9%86%D8%B7%D9%82" title="ریاضیاتی منطق – Western Punjabi" lang="pnb" hreflang="pnb" data-title="ریاضیاتی منطق" data-language-autonym="پنجابی" data-language-local-name="Western Punjabi" class="interlanguage-link-target"><span>پنجابی</span></a></li><li class="interlanguage-link interwiki-pt mw-list-item"><a href="https://pt.wikipedia.org/wiki/L%C3%B3gica_matem%C3%A1tica" title="Lógica matemática – Portugis" lang="pt" hreflang="pt" data-title="Lógica matemática" data-language-autonym="Português" data-language-local-name="Portugis" 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/Logic%C4%83_matematic%C4%83" title="Logică matematică – Rumania" lang="ro" hreflang="ro" data-title="Logică matematică" data-language-autonym="Română" data-language-local-name="Rumania" 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%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B0%D1%8F_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0" title="Математическая логика – Rusia" lang="ru" hreflang="ru" data-title="Математическая логика" data-language-autonym="Русский" data-language-local-name="Rusia" class="interlanguage-link-target"><span>Русский</span></a></li><li class="interlanguage-link interwiki-sco mw-list-item"><a href="https://sco.wikipedia.org/wiki/Mathematical_logic" title="Mathematical logic – Skotlandia" lang="sco" hreflang="sco" data-title="Mathematical logic" data-language-autonym="Scots" data-language-local-name="Skotlandia" class="interlanguage-link-target"><span>Scots</span></a></li><li class="interlanguage-link interwiki-sh mw-list-item"><a href="https://sh.wikipedia.org/wiki/Matemati%C4%8Dka_logika" title="Matematička logika – Serbo-Kroasia" lang="sh" hreflang="sh" data-title="Matematička logika" data-language-autonym="Srpskohrvatski / српскохрватски" data-language-local-name="Serbo-Kroasia" class="interlanguage-link-target"><span>Srpskohrvatski / српскохрватски</span></a></li><li class="interlanguage-link interwiki-si mw-list-item"><a href="https://si.wikipedia.org/wiki/%E0%B6%9C%E0%B6%AB%E0%B7%92%E0%B6%AD%E0%B6%B8%E0%B6%BA_%E0%B6%AD%E0%B6%BB%E0%B7%8A%E0%B6%9A%E0%B6%AB%E0%B6%BA" title="ගණිතමය තර්කණය – Sinhala" lang="si" hreflang="si" data-title="ගණිතමය තර්කණය" data-language-autonym="සිංහල" data-language-local-name="Sinhala" class="interlanguage-link-target"><span>සිංහල</span></a></li><li class="interlanguage-link interwiki-simple mw-list-item"><a href="https://simple.wikipedia.org/wiki/Mathematical_logic" title="Mathematical logic – Simple English" lang="en-simple" hreflang="en-simple" data-title="Mathematical logic" 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-sk mw-list-item"><a href="https://sk.wikipedia.org/wiki/Matematick%C3%A1_logika" title="Matematická logika – Slovak" lang="sk" hreflang="sk" data-title="Matematická logika" data-language-autonym="Slovenčina" data-language-local-name="Slovak" class="interlanguage-link-target"><span>Slovenčina</span></a></li><li class="interlanguage-link interwiki-sl mw-list-item"><a href="https://sl.wikipedia.org/wiki/Matemati%C4%8Dna_logika" title="Matematična logika – Sloven" lang="sl" hreflang="sl" data-title="Matematična logika" data-language-autonym="Slovenščina" data-language-local-name="Sloven" class="interlanguage-link-target"><span>Slovenščina</span></a></li><li class="interlanguage-link interwiki-sq mw-list-item"><a href="https://sq.wikipedia.org/wiki/Logjika_matematikore" title="Logjika matematikore – Albania" lang="sq" hreflang="sq" data-title="Logjika matematikore" data-language-autonym="Shqip" data-language-local-name="Albania" class="interlanguage-link-target"><span>Shqip</span></a></li><li class="interlanguage-link interwiki-sr mw-list-item"><a href="https://sr.wikipedia.org/wiki/%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%BA%D0%B0_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0" title="Математичка логика – Serbia" lang="sr" hreflang="sr" data-title="Математичка логика" data-language-autonym="Српски / srpski" data-language-local-name="Serbia" 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/Matematisk_logik" title="Matematisk logik – Swedia" lang="sv" hreflang="sv" data-title="Matematisk logik" data-language-autonym="Svenska" data-language-local-name="Swedia" class="interlanguage-link-target"><span>Svenska</span></a></li><li class="interlanguage-link interwiki-tg mw-list-item"><a href="https://tg.wikipedia.org/wiki/%D0%9C%D0%B0%D0%BD%D1%82%D0%B8%D2%9B%D0%B8_%D1%80%D0%B8%D1%91%D0%B7%D3%A3" title="Мантиқи риёзӣ – Tajik" lang="tg" hreflang="tg" data-title="Мантиқи риёзӣ" data-language-autonym="Тоҷикӣ" data-language-local-name="Tajik" class="interlanguage-link-target"><span>Тоҷикӣ</span></a></li><li class="interlanguage-link interwiki-th mw-list-item"><a href="https://th.wikipedia.org/wiki/%E0%B8%84%E0%B8%93%E0%B8%B4%E0%B8%95%E0%B8%95%E0%B8%A3%E0%B8%A3%E0%B8%81%E0%B8%A8%E0%B8%B2%E0%B8%AA%E0%B8%95%E0%B8%A3%E0%B9%8C" 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-tl mw-list-item"><a href="https://tl.wikipedia.org/wiki/Lohikang_matematikal" title="Lohikang matematikal – Tagalog" lang="tl" hreflang="tl" data-title="Lohikang matematikal" data-language-autonym="Tagalog" data-language-local-name="Tagalog" class="interlanguage-link-target"><span>Tagalog</span></a></li><li class="interlanguage-link interwiki-tr mw-list-item"><a href="https://tr.wikipedia.org/wiki/Matematiksel_mant%C4%B1k" title="Matematiksel mantık – Turki" lang="tr" hreflang="tr" data-title="Matematiksel mantık" data-language-autonym="Türkçe" data-language-local-name="Turki" 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%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%BD%D0%B0_%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B0" title="Математична логіка – Ukraina" lang="uk" hreflang="uk" data-title="Математична логіка" data-language-autonym="Українська" data-language-local-name="Ukraina" 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%B1%DB%8C%D8%A7%D8%B6%DB%8C%D8%A7%D8%AA%DB%8C_%D9%85%D9%86%D8%B7%D9%82" 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-uz mw-list-item"><a href="https://uz.wikipedia.org/wiki/Matematik_mantiq" title="Matematik mantiq – Uzbek" lang="uz" hreflang="uz" data-title="Matematik mantiq" data-language-autonym="Oʻzbekcha / ўзбекча" data-language-local-name="Uzbek" class="interlanguage-link-target"><span>Oʻzbekcha / ўзбекча</span></a></li><li class="interlanguage-link interwiki-vi mw-list-item"><a href="https://vi.wikipedia.org/wiki/Logic_to%C3%A1n" title="Logic toán – Vietnam" lang="vi" hreflang="vi" data-title="Logic toán" data-language-autonym="Tiếng Việt" data-language-local-name="Vietnam" class="interlanguage-link-target"><span>Tiếng Việt</span></a></li><li class="interlanguage-link interwiki-wuu mw-list-item"><a href="https://wuu.wikipedia.org/wiki/%E6%95%B0%E7%90%86%E9%80%BB%E8%BE%91" title="数理逻辑 – Wu Tionghoa" lang="wuu" hreflang="wuu" data-title="数理逻辑" data-language-autonym="吴语" data-language-local-name="Wu Tionghoa" class="interlanguage-link-target"><span>吴语</span></a></li><li class="interlanguage-link interwiki-zh mw-list-item"><a href="https://zh.wikipedia.org/wiki/%E6%95%B0%E7%90%86%E9%80%BB%E8%BE%91" title="数理逻辑 – Tionghoa" lang="zh" hreflang="zh" data-title="数理逻辑" data-language-autonym="中文" data-language-local-name="Tionghoa" 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/S%C3%B2%CD%98-l%C3%AD_su-l%C3%AD" title="Sò͘-lí su-lí – Minnan" lang="nan" hreflang="nan" data-title="Sò͘-lí su-lí" data-language-autonym="閩南語 / Bân-lâm-gú" data-language-local-name="Minnan" 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/%E6%95%B8%E5%AD%B8%E9%82%8F%E8%BC%AF" title="數學邏輯 – Kanton" lang="yue" hreflang="yue" data-title="數學邏輯" data-language-autonym="粵語" data-language-local-name="Kanton" 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/Q1166618#sitelinks-wikipedia" title="Sunting pranala interwiki" class="wbc-editpage">Sunting pranala</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="Ruang nama"> <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/Logika_matematika" title="Lihat halaman isi [c]" accesskey="c"><span>Halaman</span></a></li><li id="ca-talk" class="vector-tab-noicon mw-list-item"><a href="/wiki/Pembicaraan:Logika_matematika" rel="discussion" title="Pembicaraan halaman isi [t]" accesskey="t"><span>Pembicaraan</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="Ubah varian bahasa" > <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">Bahasa Indonesia</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="Tampilan"> <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/Logika_matematika"><span>Baca</span></a></li><li id="ca-ve-edit" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Logika_matematika&veaction=edit" title="Sunting halaman ini [v]" accesskey="v"><span>Sunting</span></a></li><li id="ca-edit" class="collapsible vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Logika_matematika&action=edit" title="Sunting kode sumber halaman ini [e]" accesskey="e"><span>Sunting sumber</span></a></li><li id="ca-history" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Logika_matematika&action=history" title="Revisi sebelumnya dari halaman ini. [h]" accesskey="h"><span>Lihat riwayat</span></a></li> </ul> </div> </div> </nav> <nav class="vector-page-tools-landmark" aria-label="Peralatan halaman"> <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="Perkakas" > <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">Perkakas</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">Perkakas</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-page-tools.pin">pindah ke bilah sisi</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-page-tools.unpin">sembunyikan</button> </div> <div id="p-cactions" class="vector-menu mw-portlet mw-portlet-cactions emptyPortlet vector-has-collapsible-items" title="Opsi lainnya" > <div class="vector-menu-heading"> Tindakan </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/Logika_matematika"><span>Baca</span></a></li><li id="ca-more-ve-edit" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Logika_matematika&veaction=edit" title="Sunting halaman ini [v]" accesskey="v"><span>Sunting</span></a></li><li id="ca-more-edit" class="collapsible vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Logika_matematika&action=edit" title="Sunting kode sumber halaman ini [e]" accesskey="e"><span>Sunting sumber</span></a></li><li id="ca-more-history" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Logika_matematika&action=history"><span>Lihat riwayat</span></a></li> </ul> </div> </div> <div id="p-tb" class="vector-menu mw-portlet mw-portlet-tb" > <div class="vector-menu-heading"> Umum </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="t-whatlinkshere" class="mw-list-item"><a href="/wiki/Istimewa:Pranala_balik/Logika_matematika" title="Daftar semua halaman wiki yang memiliki pranala ke halaman ini [j]" accesskey="j"><span>Pranala balik</span></a></li><li id="t-recentchangeslinked" class="mw-list-item"><a href="/wiki/Istimewa:Perubahan_terkait/Logika_matematika" rel="nofollow" title="Perubahan terbaru halaman-halaman yang memiliki pranala ke halaman ini [k]" accesskey="k"><span>Perubahan terkait</span></a></li><li id="t-specialpages" class="mw-list-item"><a href="/wiki/Istimewa:Halaman_istimewa" title="Daftar semua halaman istimewa [q]" accesskey="q"><span>Halaman istimewa</span></a></li><li id="t-permalink" class="mw-list-item"><a href="/w/index.php?title=Logika_matematika&oldid=25451547" title="Pranala permanen untuk revisi halaman ini"><span>Pranala permanen</span></a></li><li id="t-info" class="mw-list-item"><a href="/w/index.php?title=Logika_matematika&action=info" title="Informasi lanjut tentang halaman ini"><span>Informasi halaman</span></a></li><li id="t-cite" class="mw-list-item"><a href="/w/index.php?title=Istimewa:Kutip&page=Logika_matematika&id=25451547&wpFormIdentifier=titleform" title="Informasi tentang bagaimana mengutip halaman ini"><span>Kutip halaman ini</span></a></li><li id="t-urlshortener" class="mw-list-item"><a href="/w/index.php?title=Istimewa:UrlShortener&url=https%3A%2F%2Fid.wikipedia.org%2Fwiki%2FLogika_matematika"><span>Lihat URL pendek</span></a></li><li id="t-urlshortener-qrcode" class="mw-list-item"><a href="/w/index.php?title=Istimewa:QrCode&url=https%3A%2F%2Fid.wikipedia.org%2Fwiki%2FLogika_matematika"><span>Unduh kode QR</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"> Cetak/ekspor </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=Istimewa:Buku&bookcmd=book_creator&referer=Logika+matematika"><span>Buat buku</span></a></li><li id="coll-download-as-rl" class="mw-list-item"><a href="/w/index.php?title=Istimewa:DownloadAsPdf&page=Logika_matematika&action=show-download-screen"><span>Unduh versi PDF</span></a></li><li id="t-print" class="mw-list-item"><a href="/w/index.php?title=Logika_matematika&printable=yes" title="Versi cetak halaman ini [p]" accesskey="p"><span>Versi cetak</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"> Dalam proyek lain </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:Mathematical_logic" hreflang="en"><span>Wikimedia 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/Q1166618" title="Pranala untuk menghubungkan butir pada ruang penyimpanan data [g]" accesskey="g"><span>Butir di Wikidata</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="Peralatan halaman"> <div id="vector-page-tools-pinned-container" class="vector-pinned-container"> </div> </nav> <nav class="vector-appearance-landmark" aria-label="Tampilan"> <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">Tampilan</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-appearance.pin">pindah ke bilah sisi</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-appearance.unpin">sembunyikan</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> <div id="siteSub" class="noprint">Dari Wikipedia bahasa Indonesia, ensiklopedia bebas</div> </div> <div id="contentSub"><div id="mw-content-subtitle"></div></div> <div id="mw-content-text" class="mw-body-content"><div class="mw-content-ltr mw-parser-output" lang="id" dir="ltr"><style data-mw-deduplicate="TemplateStyles:r26333518">.mw-parser-output .sidebar{width:22em;float:right;clear:right;margin:0.5em 0 1em 1em;background:var(--background-color-neutral-subtle,#f8f9fa);border:1px solid var(--border-color-base,#a2a9b1);padding:0.2em;text-align:center;line-height:1.4em;font-size:88%;border-collapse:collapse;display:table}body.skin-minerva .mw-parser-output .sidebar{display:table!important;float:right!important;margin:0.5em 0 1em 1em!important}.mw-parser-output .sidebar-subgroup{width:100%;margin:0;border-spacing:0}.mw-parser-output .sidebar-left{float:left;clear:left;margin:0.5em 1em 1em 0}.mw-parser-output .sidebar-none{float:none;clear:both;margin:0.5em 1em 1em 0}.mw-parser-output .sidebar-outer-title{padding:0 0.4em 0.2em;font-size:125%;line-height:1.2em;font-weight:bold}.mw-parser-output .sidebar-top-image{padding:0.4em}.mw-parser-output .sidebar-top-caption,.mw-parser-output .sidebar-pretitle-with-top-image,.mw-parser-output .sidebar-caption{padding:0.2em 0.4em 0;line-height:1.2em}.mw-parser-output .sidebar-pretitle{padding:0.4em 0.4em 0;line-height:1.2em}.mw-parser-output .sidebar-title,.mw-parser-output .sidebar-title-with-pretitle{padding:0.2em 0.8em;font-size:145%;line-height:1.2em}.mw-parser-output .sidebar-title-with-pretitle{padding:0.1em 0.4em}.mw-parser-output .sidebar-image{padding:0.2em 0.4em 0.4em}.mw-parser-output .sidebar-heading{padding:0.1em 0.4em}.mw-parser-output .sidebar-content{padding:0 0.5em 0.4em}.mw-parser-output .sidebar-content-with-subgroup{padding:0.1em 0.4em 0.2em}.mw-parser-output .sidebar-above,.mw-parser-output .sidebar-below{padding:0.3em 0.8em;font-weight:bold}.mw-parser-output .sidebar-collapse .sidebar-above,.mw-parser-output .sidebar-collapse .sidebar-below{border-top:1px solid #aaa;border-bottom:1px solid #aaa}.mw-parser-output .sidebar-navbar{text-align:right;font-size:115%;padding:0 0.4em 0.4em}.mw-parser-output .sidebar-list-title{padding:0 0.4em;text-align:left;font-weight:bold;line-height:1.6em;font-size:105%}.mw-parser-output .sidebar-list-title-c{padding:0 0.4em;text-align:center;margin:0 3.3em}@media(max-width:640px){body.mediawiki .mw-parser-output .sidebar{width:100%!important;clear:both;float:none!important;margin-left:0!important;margin-right:0!important}}body.skin--responsive .mw-parser-output .sidebar a>img{max-width:none!important}@media screen{html.skin-theme-clientpref-night .mw-parser-output .sidebar:not(.notheme) .sidebar-list-title,html.skin-theme-clientpref-night .mw-parser-output .sidebar:not(.notheme) .sidebar-title-with-pretitle{background:transparent!important}html.skin-theme-clientpref-night .mw-parser-output .sidebar:not(.notheme) .sidebar-title-with-pretitle a{color:var(--color-progressive)!important}}@media screen and (prefers-color-scheme:dark){html.skin-theme-clientpref-os .mw-parser-output .sidebar:not(.notheme) .sidebar-list-title,html.skin-theme-clientpref-os .mw-parser-output .sidebar:not(.notheme) .sidebar-title-with-pretitle{background:transparent!important}html.skin-theme-clientpref-os .mw-parser-output .sidebar:not(.notheme) .sidebar-title-with-pretitle a{color:var(--color-progressive)!important}}@media print{body.ns-0 .mw-parser-output .sidebar{display:none!important}}</style><table class="sidebar sidebar-collapse" style="border:2px solid #DDDDFF"><tbody><tr><td class="sidebar-pretitle">Bagian dari <a href="/wiki/Kategori:Ilmu" title="Kategori:Ilmu">seri</a></td></tr><tr><th class="sidebar-title-with-pretitle" style="background:#DDDDFF;font-size:175%;font-weight:bold"><a href="/wiki/Ilmu" title="Ilmu">Ilmu Pengetahuan</a></th></tr><tr><td class="sidebar-image"><span typeof="mw:File"><a href="/wiki/Berkas:PrirodneNauke.png" class="mw-file-description"><img src="//upload.wikimedia.org/wikipedia/commons/thumb/d/d8/PrirodneNauke.png/100px-PrirodneNauke.png" decoding="async" width="100" height="100" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/d/d8/PrirodneNauke.png 1.5x" data-file-width="128" data-file-height="128" /></a></span></td></tr><tr><td class="sidebar-content" style="background:#F8F9FA;padding:0.2em 0.4em 0.4em;"> <div class="sidebar-list mw-collapsible mw-collapsed"><div class="sidebar-list-title" style="text-align:center;padding-bottom:0;background:#DDDDFF;font-size:100%;font-weight:bold;"><a href="/wiki/Ilmu_formal" title="Ilmu formal">Formal</a></div><div class="sidebar-list-content mw-collapsible-content hlist"> <ul><li><a href="/wiki/Logika" title="Logika">Logika</a></li> <li><a href="/wiki/Matematika" title="Matematika">Matematika</a></li> <li><a class="mw-selflink selflink">Logika matematika</a></li> <li><a href="/wiki/Statistika_matematika" title="Statistika matematika">Statistika matematika</a></li> <li><a href="/wiki/Ilmu_komputer_teoretis" title="Ilmu komputer teoretis">Ilmu komputer teoretis</a></li> <li><a href="/wiki/Teori_permainan" title="Teori permainan">Teori permainan</a></li> <li><a href="/wiki/Teori_keputusan" title="Teori keputusan">Teori keputusan</a></li> <li><a href="/wiki/Ilmu_aktuaria" title="Ilmu aktuaria">Ilmu aktuaria</a></li> <li><a href="/wiki/Teori_informasi" title="Teori informasi">Teori informasi</a></li> <li><a href="/wiki/Teori_sistem" title="Teori sistem">Teori sistem</a></li></ul></div></div></td> </tr><tr><td class="sidebar-content" style="background:#F8F9FA;padding:0.2em 0.4em 0.4em;"> <div class="sidebar-list mw-collapsible mw-collapsed"><div class="sidebar-list-title" style="text-align:center;padding-bottom:0;background:#DDDDFF;font-size:100%;font-weight:bold;"><a href="/wiki/Ilmu_fisik" title="Ilmu fisik">Fisikal</a></div><div class="sidebar-list-content mw-collapsible-content hlist"><b><a href="/wiki/Fisika" title="Fisika">Fisika</a></b><br /> <ul><li><a href="/wiki/Fisika_klasik" title="Fisika klasik">Fisika klasik</a></li> <li><a href="/wiki/Fisika_modern" title="Fisika modern">Fisika modern</a></li> <li><a href="/wiki/Fisika_terapan" title="Fisika terapan">Fisika terapan</a></li> <li><a href="/wiki/Fisika_komputasi" title="Fisika komputasi">Fisika komputasi</a></li> <li><a href="/wiki/Fisika_atom" title="Fisika atom">Fisika atom</a></li> <li><a href="/wiki/Fisika_nuklir" title="Fisika nuklir">Fisika nuklir</a></li> <li><a href="/wiki/Fisika_partikel" title="Fisika partikel">Fisika partikel</a></li> <li><a href="/wiki/Fisika_eksperimental" title="Fisika eksperimental">Fisika eksperimental</a></li> <li><a href="/wiki/Fisika_teori" title="Fisika teori">Fisika teori</a></li> <li><a href="/wiki/Fisika_benda_terkondensasi" title="Fisika benda terkondensasi">Fisika benda terkondensasi</a></li> <li><a href="/wiki/Mekanika" title="Mekanika">Mekanika</a></li> <li><a href="/wiki/Mekanika_klasik" title="Mekanika klasik">Mekanika klasik</a></li> <li><a href="/wiki/Mekanika_kuantum" title="Mekanika kuantum">Mekanika kuantum</a></li> <li><a href="/wiki/Mekanika_kontinuum" title="Mekanika kontinuum">Mekanika kontinuum</a></li> <li><a href="/wiki/Rheologi" class="mw-redirect" title="Rheologi">Rheologi</a></li> <li><a href="/wiki/Mekanika_benda_padat" class="mw-redirect" title="Mekanika benda padat">Mekanika benda padat</a></li> <li><a href="/wiki/Mekanika_fluida" title="Mekanika fluida">Mekanika fluida</a></li> <li><a href="/wiki/Plasma_(wujud_zat)" class="mw-redirect" title="Plasma (wujud zat)">Fisika plasma</a></li> <li><a href="/wiki/Termodinamika" title="Termodinamika">Termodinamika</a></li> <li><a href="/wiki/Relativitas_umum" title="Relativitas umum">Relativitas umum</a></li> <li><a href="/wiki/Relativitas_khusus" title="Relativitas khusus">Relativitas khusus</a></li> <li><a href="/wiki/Teori_dawai" title="Teori dawai">Teori dawai</a></li> <li><a href="/wiki/Teori_medan_kuantum" title="Teori medan kuantum">Teori medan kuantum</a></li></ul> <p><b><a href="/wiki/Kimia" title="Kimia">Kimia</a></b><br /> </p> <ul><li><a href="/wiki/Reaksi_asam_basa" class="mw-redirect" title="Reaksi asam basa">Reaksi asam basa</a></li> <li><a href="/wiki/Alkimia" title="Alkimia">Alkimia</a></li> <li><a href="/wiki/Kimia_analitik" class="mw-redirect" title="Kimia analitik">Kimia analitik</a></li> <li><a href="/wiki/Astrokimia" title="Astrokimia">Astrokimia</a></li> <li><a href="/wiki/Biokimia" title="Biokimia">Biokimia</a></li> <li><a href="/wiki/Kristalografi" title="Kristalografi">Kristalografi</a></li> <li><a href="/wiki/Kimia_lingkungan" title="Kimia lingkungan">Kimia lingkungan</a></li> <li><a href="/wiki/Kimia_pangan" title="Kimia pangan">Kimia pangan</a></li> <li><a href="/wiki/Geokimia" title="Geokimia">Geokimia</a></li> <li><a href="/wiki/Kimia_hijau" title="Kimia hijau">Kimia hijau</a></li> <li><a href="/wiki/Kimia_anorganik" title="Kimia anorganik">Kimia anorganik</a></li> <li><a href="/wiki/Teknik_material" title="Teknik material">Ilmu bahan</a></li> <li><a href="/wiki/Fisika_molekuler" title="Fisika molekuler">Fisika molekuler</a></li> <li><a href="/wiki/Kimia_nuklir" title="Kimia nuklir">Kimia nuklir</a></li> <li><a href="/wiki/Kimia_organik" title="Kimia organik">Kimia organik</a></li> <li><a href="/wiki/Fotokimia" title="Fotokimia">Fotokimia</a></li> <li><a href="/wiki/Kimia_fisik" title="Kimia fisik">Kimia fisik</a></li> <li><a href="/wiki/Radiokimia" title="Radiokimia">Radiokimia</a></li> <li><a href="/wiki/Kimia_benda_padat" title="Kimia benda padat">Kimia benda padat</a></li> <li><a href="/wiki/Stereokimia" title="Stereokimia">Stereokimia</a></li> <li><a href="/wiki/Kimia_supramolekul" title="Kimia supramolekul">Kimia supramolekul</a></li> <li><a href="/wiki/Ilmu_permukaan" title="Ilmu permukaan">Ilmu permukaan</a></li> <li><a href="/wiki/Kimia_teori" class="mw-redirect" title="Kimia teori">Kimia teori</a></li></ul> <p><b><a href="/wiki/Astronomi" title="Astronomi">Astronomi</a></b><br /> </p> <ul><li><a href="/wiki/Astrofisika" title="Astrofisika">Astrofisika</a></li> <li><a href="/wiki/Kosmologi" title="Kosmologi">Kosmologi</a></li> <li><a href="/wiki/Astronomi_galaksi" title="Astronomi galaksi">Astronomi galaksi</a></li> <li><a href="/wiki/Geologi_planet" title="Geologi planet">Geologi planet</a></li> <li><a href="/wiki/Ilmu_keplanetan" title="Ilmu keplanetan">Ilmu keplanetan</a></li> <li><a href="/wiki/Astronomi_bintang" title="Astronomi bintang">Astronomi bintang</a></li> <li><a href="/wiki/Astronomi_radio" title="Astronomi radio">Astronomi radio</a></li> <li><a href="/w/index.php?title=Instrumentasi_astronomi&action=edit&redlink=1" class="new" title="Instrumentasi astronomi (halaman belum tersedia)">Instrumentasi astronomi</a></li> <li><a href="/wiki/Astrobiologi" title="Astrobiologi">Astrobiologi</a></li> <li><a href="/wiki/Astrogeologi" class="mw-redirect" title="Astrogeologi">Astrogeologi</a></li> <li><a href="/wiki/Astrometri" title="Astrometri">Astrometri</a></li> <li><a href="/wiki/Arkeoastronomi" title="Arkeoastronomi">Arkeoastronomi</a></li> <li><a href="/w/index.php?title=Astroarkeologi&action=edit&redlink=1" class="new" title="Astroarkeologi (halaman belum tersedia)">Astroarkeologi</a></li></ul> <p><b><a href="/wiki/Ilmu_bumi" class="mw-disambig" title="Ilmu bumi">Ilmu bumi</a></b><br /> </p> <ul><li><a href="/wiki/Meteorologi" title="Meteorologi">Meteorologi</a></li> <li><a href="/wiki/Klimatologi" title="Klimatologi">Klimatologi</a></li> <li><a href="/wiki/Ekologi" title="Ekologi">Ekologi</a></li> <li><a href="/wiki/Ilmu_lingkungan" title="Ilmu lingkungan">Ilmu lingkungan</a></li> <li><a href="/wiki/Geodesi" title="Geodesi">Geodesi</a></li> <li><a href="/wiki/Geologi" title="Geologi">Geologi</a></li> <li><a href="/wiki/Geomorfologi" title="Geomorfologi">Geomorfologi</a></li> <li><a href="/wiki/Geofisika" title="Geofisika">Geofisika</a></li> <li><a href="/wiki/Glasiologi" title="Glasiologi">Glasiologi</a></li> <li><a href="/wiki/Hidrologi" title="Hidrologi">Hidrologi</a></li> <li><a href="/wiki/Limnologi" title="Limnologi">Limnologi</a></li> <li><a href="/wiki/Oseanografi" title="Oseanografi">Oseanografi</a></li> <li><a href="/wiki/Paleoklimatologi" title="Paleoklimatologi">Paleoklimatologi</a></li> <li><a href="/wiki/Paleoekologi" title="Paleoekologi">Paleoekologi</a></li> <li><a href="/wiki/Palinologi" title="Palinologi">Palinologi</a></li> <li><a href="/wiki/Pedologi" title="Pedologi">Pedologi</a></li> <li><a href="/wiki/Edafologi" title="Edafologi">Edafologi</a></li> <li><a href="/wiki/Geografi_fisik" title="Geografi fisik">Geografi fisik</a></li> <li><a href="/w/index.php?title=Ilmu_luar_angkasa&action=edit&redlink=1" class="new" title="Ilmu luar angkasa (halaman belum tersedia)">Ilmu luar angkasa</a></li></ul></div></div></td> </tr><tr><td class="sidebar-content" style="background:#F8F9FA;padding:0.2em 0.4em 0.4em;"> <div class="sidebar-list mw-collapsible mw-collapsed"><div class="sidebar-list-title" style="text-align:center;padding-bottom:0;background:#DDDDFF;font-size:100%;font-weight:bold;"><a href="/wiki/Ilmu_hayati" title="Ilmu hayati">Hayati</a></div><div class="sidebar-list-content mw-collapsible-content hlist"><b><a href="/wiki/Biologi" title="Biologi">Biologi</a></b><br /> <ul><li><a href="/wiki/Anatomi" title="Anatomi">Anatomi</a></li> <li><a href="/wiki/Astrobiologi" title="Astrobiologi">Astrobiologi</a></li> <li><a href="/wiki/Biofisika" title="Biofisika">Biofisika</a></li> <li><a href="/wiki/Biogeografi" title="Biogeografi">Biogeografi</a></li> <li><a href="/wiki/Biokimia" title="Biokimia">Biokimia</a></li> <li><a href="/wiki/Biologi_evolusioner" title="Biologi evolusioner">Biologi evolusioner</a></li> <li><a href="/wiki/Biologi_kelautan" title="Biologi kelautan">Biologi kelautan</a></li> <li><a href="/wiki/Biologi_konservasi" title="Biologi konservasi">Biologi konservasi</a></li> <li><a href="/wiki/Biologi_molekuler" title="Biologi molekuler">Biologi molekuler</a></li> <li><a href="/wiki/Biologi_perkembangan" title="Biologi perkembangan">Biologi perkembangan</a></li> <li><a href="/wiki/Biologi_sel" title="Biologi sel">Biologi sel</a></li> <li><a href="/wiki/Biologi_tanah" title="Biologi tanah">Biologi tanah</a></li> <li><a href="/wiki/Biopsikologi" title="Biopsikologi">Biopsikologi</a></li> <li><a href="/wiki/Bioteknologi" title="Bioteknologi">Bioteknologi</a></li> <li><a href="/wiki/Botani" title="Botani">Botani</a></li> <li><a href="/wiki/Ekologi" title="Ekologi">Ekologi</a></li> <li><a href="/wiki/Etnobiologi" title="Etnobiologi">Etnobiologi</a></li> <li><a href="/wiki/Etologi" title="Etologi">Etologi</a></li> <li><a href="/wiki/Fisiologi" title="Fisiologi">Fisiologi</a></li> <li><a href="/wiki/Genetika" title="Genetika">Genetika</a></li> <li><a href="/wiki/Gerontologi" title="Gerontologi">Gerontologi</a></li> <li><a href="/wiki/Imunologi" title="Imunologi">Imunologi</a></li> <li><a href="/wiki/Kriobiologi" title="Kriobiologi">Kriobiologi</a></li> <li><a href="/wiki/Limnologi" title="Limnologi">Limnologi</a></li> <li><a href="/wiki/Mikrobiologi" title="Mikrobiologi">Mikrobiologi</a></li> <li><a href="/wiki/Ilmu_syaraf" class="mw-redirect" title="Ilmu syaraf">Ilmu syaraf</a></li> <li><a href="/wiki/Paleontologi" title="Paleontologi">Paleontologi</a></li> <li><a href="/wiki/Parasitologi" title="Parasitologi">Parasitologi</a></li> <li><a href="/w/index.php?title=Radiobiologi&action=edit&redlink=1" class="new" title="Radiobiologi (halaman belum tersedia)">Radiobiologi</a></li> <li><a href="/wiki/Sistematika" title="Sistematika">Sistematika</a></li> <li><a href="/wiki/Sosiobiologi" title="Sosiobiologi">Sosiobiologi</a></li> <li><a href="/wiki/Teknik_biologis" class="mw-redirect" title="Teknik biologis">Teknik biologis</a></li> <li><a href="/wiki/Toksikologi" title="Toksikologi">Toksikologi</a></li> <li><a href="/wiki/Zoologi" title="Zoologi">Zoologi</a></li></ul></div></div></td> </tr><tr><td class="sidebar-content" style="background:#F8F9FA;padding:0.2em 0.4em 0.4em;"> <div class="sidebar-list mw-collapsible mw-collapsed"><div class="sidebar-list-title" style="text-align:center;padding-bottom:0;background:#DDDDFF;font-size:100%;font-weight:bold;"><a href="/wiki/Ilmu_sosial" title="Ilmu sosial">Sosial</a></div><div class="sidebar-list-content mw-collapsible-content hlist"> <ul><li><a href="/wiki/Antropologi" title="Antropologi">Antropologi</a></li> <li><a href="/wiki/Arkeologi" title="Arkeologi">Arkeologi</a></li> <li><a href="/wiki/Kriminologi" title="Kriminologi">Kriminologi</a></li> <li><a href="/wiki/Demografi" title="Demografi">Demografi</a></li> <li><a href="/wiki/Ekonomi" title="Ekonomi">Ekonomi</a></li> <li><a href="/wiki/Pendidikan" title="Pendidikan">Pendidikan</a></li> <li><a href="/wiki/Geografi_manusia" title="Geografi manusia">Geografi manusia</a></li> <li><a href="/wiki/Hubungan_internasional" title="Hubungan internasional">Hubungan internasional</a></li> <li><a href="/wiki/Hukum" title="Hukum">Hukum</a></li> <li><a href="/wiki/Linguistik" title="Linguistik">Linguistik</a></li> <li><a href="/wiki/Ilmu_politik" title="Ilmu politik">Ilmu politik</a></li> <li><a href="/wiki/Psikologi" title="Psikologi">Psikologi</a></li> <li><a href="/wiki/Sosiologi" title="Sosiologi">Sosiologi</a></li></ul></div></div></td> </tr><tr><td class="sidebar-content" style="background:#F8F9FA;padding:0.2em 0.4em 0.4em;"> <div class="sidebar-list mw-collapsible mw-collapsed"><div class="sidebar-list-title" style="text-align:center;padding-bottom:0;background:#DDDDFF;font-size:100%;font-weight:bold;"><a href="/wiki/Ilmu_terapan" title="Ilmu terapan">Terapan</a></div><div class="sidebar-list-content mw-collapsible-content hlist"><b><a href="/wiki/Teknik" class="mw-redirect" title="Teknik">Teknik dan rekayasa</a></b><br /> <ul><li><a href="/wiki/Teknik_biomedis" class="mw-redirect" title="Teknik biomedis">Biomedis</a></li> <li><a href="/wiki/Teknik_kedirgantaraan" title="Teknik kedirgantaraan">Dirgantara</a></li> <li><a href="/wiki/Rekayasa_genetika" class="mw-redirect" title="Rekayasa genetika">Genetika</a></li> <li><a href="/wiki/Ilmu_komputer" title="Ilmu komputer">Ilmu komputer</a></li> <li><a href="/wiki/Teknik_industri" title="Teknik industri">Industri</a></li> <li><a href="/wiki/Teknik_kimia" title="Teknik kimia">Kimia</a></li> <li><a href="/wiki/Teknik_komputer" title="Teknik komputer">Komputer</a></li> <li><a href="/wiki/Teknik_listrik" title="Teknik listrik">Listrik</a></li> <li><a href="/wiki/Teknik_mesin" title="Teknik mesin">Mesin</a></li> <li><a href="/wiki/Zeni" title="Zeni">Militer</a></li> <li><a href="/wiki/Teknik_nuklir" title="Teknik nuklir">Nuklir</a></li> <li><a href="/wiki/Rekayasa_perangkat_lunak" title="Rekayasa perangkat lunak">Perangkat lunak</a></li> <li><a href="/wiki/Teknik_perlindungan_kebakaran" class="mw-redirect" title="Teknik perlindungan kebakaran">Perlindungan kebakaran</a></li> <li><a href="/wiki/Teknik_pertambangan" title="Teknik pertambangan">Pertambangan</a></li> <li><a href="/wiki/Teknik_pertanian" title="Teknik pertanian">Pertanian</a></li> <li><a href="/wiki/Riset_operasi" title="Riset operasi">Riset operasi</a></li> <li><a href="/wiki/Robotika" title="Robotika">Robotika</a></li> <li><a href="/wiki/Teknik_sipil" title="Teknik sipil">Sipil</a></li></ul> <p><b><a href="/wiki/Ilmu_kesehatan" title="Ilmu kesehatan">Ilmu kesehatan</a></b><br /> </p> <ul><li><a href="/wiki/Epidemiologi" title="Epidemiologi">Epidemiologi</a></li> <li><a href="/wiki/Farmasi" title="Farmasi">Farmasi</a></li> <li><a href="/wiki/Kedokteran" title="Kedokteran">Kedokteran</a></li> <li><a href="/wiki/Kedokteran_gigi" title="Kedokteran gigi">Kedokteran gigi</a></li> <li><a href="/wiki/Kedokteran_hewan" title="Kedokteran hewan">Kedokteran hewan</a></li> <li><a href="/wiki/Keperawatan" title="Keperawatan">Keperawatan</a></li> <li><a href="/wiki/Perawatan_kesehatan" class="mw-redirect" title="Perawatan kesehatan">Perawatan kesehatan</a></li> <li><a href="/wiki/Teknik_biologis" class="mw-redirect" title="Teknik biologis">Teknik biologis</a></li></ul></div></div></td> </tr><tr><td class="sidebar-content" style="background:#F8F9FA;padding:0.2em 0.4em 0.4em;"> <div class="sidebar-list mw-collapsible mw-collapsed"><div class="sidebar-list-title" style="text-align:center;padding-bottom:0;background:#DDDDFF;font-size:100%;font-weight:bold;"><a href="/wiki/Antardisiplin" title="Antardisiplin">Antardisiplin</a></div><div class="sidebar-list-content mw-collapsible-content hlist"> <ul><li><a href="/wiki/Fisika_terapan" title="Fisika terapan">Fisika terapan</a></li> <li><a href="/wiki/Kecerdasan_buatan" title="Kecerdasan buatan">Kecerdasan buatan</a></li> <li><a href="/wiki/Bioetika" title="Bioetika">Bioetika</a></li> <li><a href="/wiki/Bioinformatika" title="Bioinformatika">Bioinformatika</a></li> <li><a href="/wiki/Teknik_biomedis" class="mw-redirect" title="Teknik biomedis">Teknik biomedis</a></li> <li><a href="/wiki/Biostatistika" title="Biostatistika">Biostatistika</a></li> <li><a href="/wiki/Ilmu_kognitif" title="Ilmu kognitif">Ilmu kognitif</a></li> <li><a href="/wiki/Sistem_kompleks" title="Sistem kompleks">Sistem kompleks</a></li> <li><a href="/wiki/Linguistik_komputasi" title="Linguistik komputasi">Linguistik komputasi</a></li> <li><a href="/w/index.php?title=Studi_budaya&action=edit&redlink=1" class="new" title="Studi budaya (halaman belum tersedia)">Studi budaya</a></li> <li><a href="/wiki/Sibernetika" title="Sibernetika">Sibernetika</a></li> <li><a href="/wiki/Ilmu_lingkungan" title="Ilmu lingkungan">Ilmu lingkungan</a></li> <li><a href="/w/index.php?title=Ilmu_sosial_lingkungan&action=edit&redlink=1" class="new" title="Ilmu sosial lingkungan (halaman belum tersedia)">Ilmu sosial lingkungan</a></li> <li><a href="/w/index.php?title=Studi_lingkungan&action=edit&redlink=1" class="new" title="Studi lingkungan (halaman belum tersedia)">Studi lingkungan</a></li> <li><a href="/w/index.php?title=Studi_etnik&action=edit&redlink=1" class="new" title="Studi etnik (halaman belum tersedia)">Studi etnik</a></li> <li><a href="/wiki/Psikologi_evolusioner" title="Psikologi evolusioner">Psikologi evolusioner</a></li> <li><a href="/wiki/Kehutanan" title="Kehutanan">Kehutanan</a></li> <li><a href="/wiki/Kesehatan" title="Kesehatan">Kesehatan</a></li> <li><a href="/wiki/Ilmu_perpustakaan" title="Ilmu perpustakaan">Ilmu perpustakaan</a></li> <li><a href="/wiki/Biologi_matematika_dan_teori" title="Biologi matematika dan teori">Biologi matematika dan teori</a></li> <li><a href="/wiki/Fisika_matematika" class="mw-redirect" title="Fisika matematika">Fisika matematika</a></li> <li><a href="/wiki/Ilmu_militer" title="Ilmu militer">Ilmu militer</a></li> <li><a href="/w/index.php?title=Ilmu_jaringan&action=edit&redlink=1" class="new" title="Ilmu jaringan (halaman belum tersedia)">Ilmu jaringan</a></li> <li><a href="/w/index.php?title=Teknik_syaraf&action=edit&redlink=1" class="new" title="Teknik syaraf (halaman belum tersedia)">Teknik syaraf</a></li> <li><a href="/wiki/Ilmu_syaraf" class="mw-redirect" title="Ilmu syaraf">Ilmu syaraf</a></li> <li><a href="/w/index.php?title=Kajian_ilmu&action=edit&redlink=1" class="new" title="Kajian ilmu (halaman belum tersedia)">Kajian ilmu</a></li> <li><a href="/w/index.php?title=Ilmu,_teknologi,_dan_masyarakat&action=edit&redlink=1" class="new" title="Ilmu, teknologi, dan masyarakat (halaman belum tersedia)">Ilmu, teknologi, dan masyarakat</a></li> <li><a href="/w/index.php?title=Permodelan_ilmiah&action=edit&redlink=1" class="new" title="Permodelan ilmiah (halaman belum tersedia)">Permodelan ilmiah</a></li> <li><a href="/wiki/Semiotika" title="Semiotika">Semiotika</a></li> <li><a href="/wiki/Sosiobiologi" title="Sosiobiologi">Sosiobiologi</a></li> <li><a href="/wiki/Statistika" title="Statistika">Statistika</a></li> <li><a href="/wiki/Ilmu_sistem" title="Ilmu sistem">Ilmu sistem</a></li> <li><a href="/w/index.php?title=Transdisiplineritas&action=edit&redlink=1" class="new" title="Transdisiplineritas (halaman belum tersedia)">Transdisiplineritas</a></li> <li><a href="/wiki/Perencanaan_kota" class="mw-redirect" title="Perencanaan kota">Perencanaan kota</a></li> <li><a href="/wiki/Ilmu_web" title="Ilmu web">Ilmu web</a></li></ul></div></div></td> </tr><tr><td class="sidebar-content" style="background:#F8F9FA;padding:0.2em 0.4em 0.4em;"> <div class="sidebar-list mw-collapsible mw-collapsed"><div class="sidebar-list-title" style="text-align:center;padding-bottom:0;background:#DDDDFF;font-size:100%;font-weight:bold;"><a href="/wiki/Filosofi" class="mw-redirect" title="Filosofi">Filosofi</a> • <a href="/wiki/Sejarah" title="Sejarah">Sejarah</a></div><div class="sidebar-list-content mw-collapsible-content hlist"> <ul><li><a href="/wiki/Penelitian_murni" title="Penelitian murni">Penelitian murni</a></li> <li><a href="/w/index.php?title=Ilmu_masyarakat&action=edit&redlink=1" class="new" title="Ilmu masyarakat (halaman belum tersedia)">Ilmu masyarakat</a></li> <li><i><a href="/w/index.php?title=Fringe_science&action=edit&redlink=1" class="new" title="Fringe science (halaman belum tersedia)">Fringe science</a></i></li> <li><a href="/wiki/Sejarah_ilmu" title="Sejarah ilmu">Sejarah ilmu</a></li> <li><a href="/w/index.php?title=Filosofi_ilmu&action=edit&redlink=1" class="new" title="Filosofi ilmu (halaman belum tersedia)">Filosofi ilmu</a></li> <li><a href="/wiki/Protosains" title="Protosains">Protosains</a></li> <li><a href="/wiki/Ilmu_semu" title="Ilmu semu">Pseudosains</a></li> <li><a href="/wiki/Kebebasan_akademik" title="Kebebasan akademik">Kebebasan akademik</a></li> <li><b>Sains</b> (<a href="/w/index.php?title=Kebijakan_ilmiah&action=edit&redlink=1" class="new" title="Kebijakan ilmiah (halaman belum tersedia)">Kebijakan</a></li> <li><a href="/w/index.php?title=Pendanaan_ilmiah&action=edit&redlink=1" class="new" title="Pendanaan ilmiah (halaman belum tersedia)">Pendanaan</a></li> <li><a href="/wiki/Metode_ilmiah" title="Metode ilmiah">Metode</a>)</li> <li><a href="/w/index.php?title=Sosiologi_ilmu&action=edit&redlink=1" class="new" title="Sosiologi ilmu (halaman belum tersedia)">Sosiologi</a></li> <li><a href="/w/index.php?title=Teknosains&action=edit&redlink=1" class="new" title="Teknosains (halaman belum tersedia)">Teknosains</a></li></ul></div></div></td> </tr><tr><td class="sidebar-below hlist"> <ul><li><span class="nowrap"><span class="noviewer" typeof="mw:File"><a href="/wiki/Berkas:Colloidal_nanoparticle_of_lead_sulfide_(selenide)_with_complete_passivation.png" class="mw-file-description"><img src="//upload.wikimedia.org/wikipedia/commons/thumb/7/75/Colloidal_nanoparticle_of_lead_sulfide_%28selenide%29_with_complete_passivation.png/16px-Colloidal_nanoparticle_of_lead_sulfide_%28selenide%29_with_complete_passivation.png" decoding="async" width="16" height="15" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/7/75/Colloidal_nanoparticle_of_lead_sulfide_%28selenide%29_with_complete_passivation.png/24px-Colloidal_nanoparticle_of_lead_sulfide_%28selenide%29_with_complete_passivation.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/7/75/Colloidal_nanoparticle_of_lead_sulfide_%28selenide%29_with_complete_passivation.png/32px-Colloidal_nanoparticle_of_lead_sulfide_%28selenide%29_with_complete_passivation.png 2x" data-file-width="1801" data-file-height="1643" /></a></span> <a href="/wiki/Portal:Ilmu" title="Portal:Ilmu">Portal Ilmu</a></span></li> <li><span class="nowrap"><span typeof="mw:File"><a href="/wiki/Berkas:Symbol_category_class.svg" class="mw-file-description" title="Category"><img alt="Category" src="//upload.wikimedia.org/wikipedia/commons/thumb/9/96/Symbol_category_class.svg/16px-Symbol_category_class.svg.png" decoding="async" width="16" height="16" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/9/96/Symbol_category_class.svg/23px-Symbol_category_class.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/9/96/Symbol_category_class.svg/31px-Symbol_category_class.svg.png 2x" data-file-width="180" data-file-height="185" /></a></span> <a href="/wiki/Kategori:Ilmu" title="Kategori:Ilmu">Kategori</a></span></li></ul></td></tr><tr><td class="sidebar-navbar"><style data-mw-deduplicate="TemplateStyles:r18590415">.mw-parser-output .navbar{display:inline;font-size:88%;font-weight:normal}.mw-parser-output .navbar-collapse{float:left;text-align:left}.mw-parser-output .navbar-boxtext{word-spacing:0}.mw-parser-output .navbar ul{display:inline-block;white-space:nowrap;line-height:inherit}.mw-parser-output .navbar-brackets::before{margin-right:-0.125em;content:"[ "}.mw-parser-output .navbar-brackets::after{margin-left:-0.125em;content:" ]"}.mw-parser-output .navbar li{word-spacing:-0.125em}.mw-parser-output .navbar-mini abbr{font-variant:small-caps;border-bottom:none;text-decoration:none;cursor:inherit}.mw-parser-output .navbar-ct-full{font-size:114%;margin:0 7em}.mw-parser-output .navbar-ct-mini{font-size:114%;margin:0 4em}.mw-parser-output .infobox .navbar{font-size:100%}.mw-parser-output .navbox .navbar{display:block;font-size:100%}.mw-parser-output .navbox-title .navbar{float:left;text-align:left;margin-right:0.5em}</style><div class="navbar plainlinks hlist navbar-mini"><ul><li class="nv-lihat"><a href="/wiki/Templat:Ilmu" title="Templat:Ilmu"><abbr title="Lihat templat ini">l</abbr></a></li><li class="nv-bicara"><a href="/w/index.php?title=Pembicaraan_Templat:Ilmu&action=edit&redlink=1" class="new" title="Pembicaraan Templat:Ilmu (halaman belum tersedia)"><abbr title="Diskusikan templat ini">b</abbr></a></li><li class="nv-sunting"><a class="external text" href="https://id.wikipedia.org/w/index.php?title=Templat:Ilmu&action=edit"><abbr title="Sunting templat ini">s</abbr></a></li></ul></div></td></tr></tbody></table> <p><b>Logika matematika</b> adalah cabang <a href="/wiki/Logika" title="Logika">logika</a> dan <a href="/wiki/Matematika" title="Matematika">matematika</a> yang mengandung kajian logika matematis dan aplikasi kajian ini pada bidang-bidang lain di luar matematika. Logika matematika berhubungan erat dengan <a href="/wiki/Ilmu_komputer" title="Ilmu komputer">ilmu komputer</a> dan <a href="/wiki/Logika_filosofis" title="Logika filosofis">logika filosofis</a>.<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> Tema utama dalam logika matematika antara lain adalah kekuatan ekspresif dari <a href="/wiki/Logika_formal" class="mw-redirect" title="Logika formal">logika formal</a> dan kekuatan deduktif dari sistem <a href="/wiki/Pembuktian_matematika" title="Pembuktian matematika">pembuktian</a> formal. Logika matematika sering dibagi ke dalam cabang-cabang dari <a href="/wiki/Teori_himpunan" title="Teori himpunan">teori himpunan</a>, <a href="/wiki/Teori_model" title="Teori model">teori model</a>, <a href="/w/index.php?title=Teori_rekursi&action=edit&redlink=1" class="new" title="Teori rekursi (halaman belum tersedia)">teori rekursi</a>, <a href="/w/index.php?title=Teori_pembuktian&action=edit&redlink=1" class="new" title="Teori pembuktian (halaman belum tersedia)">teori pembuktian</a>, serta <a href="/w/index.php?title=Matematika_konstruktif&action=edit&redlink=1" class="new" title="Matematika konstruktif (halaman belum tersedia)">matematika konstruktif</a>. Bidang-bidang ini memiliki hasil dasar logika yang serupa. </p> <meta property="mw:PageProp/toc" /> <div class="mw-heading mw-heading2"><h2 id="Jenis-jenis_logika_matematika">Jenis-jenis logika matematika</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logika_matematika&veaction=edit&section=1" title="Sunting bagian: Jenis-jenis logika matematika" class="mw-editsection-visualeditor"><span>sunting</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Logika_matematika&action=edit&section=1" title="Sunting kode sumber bagian: Jenis-jenis logika matematika"><span>sunting sumber</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>Dalam penggunaan logika matematika seringkali ditemukan huruf S dan B atau F dan T. Arti dari keempat huruf tersebut adalah sebagai berikut: </p><p>S dan F merupakan dua huruf yang memiliki arti sama dalam logika matematika. </p><p>S : Salah </p><p>F : False </p><p><br /> B dan T merupakan dua huruf yang memiliki arti sama dalam logika matematika. </p><p>B : Benar </p><p>T : True </p> <div class="mw-heading mw-heading3"><h3 id="1._Negasi_(~)"><span id="1._Negasi_.28.7E.29"></span>1. Negasi (~)</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logika_matematika&veaction=edit&section=2" title="Sunting bagian: 1. Negasi (~)" class="mw-editsection-visualeditor"><span>sunting</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Logika_matematika&action=edit&section=2" title="Sunting kode sumber bagian: 1. Negasi (~)"><span>sunting sumber</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>Negasi atau juga dikenal dengan "NOT" dalam pemrograman merupakan logika matematika yang berbentuk membalikkan suatu pernyataan. contoh penggunaan negasi adalah sebagai berikut: </p><p>x = nilai dari 1 + 1 adalah 2 (Benar) </p><p>~x = nilai dari 1 + 1 bukanlah 2 (Salah) </p> <table class="wikitable"> <caption>Tabel Kebenaran Negasi </caption> <tbody><tr> <th>x </th> <th>~x </th></tr> <tr> <td>True (Benar) </td> <td>False (Salah) </td></tr> <tr> <td>False (Salah) </td> <td>True (Benar) </td></tr></tbody></table> <div class="mw-heading mw-heading3"><h3 id="2._Konjungsi_(^)"><span id="2._Konjungsi_.28.5E.29"></span>2. Konjungsi (^)</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logika_matematika&veaction=edit&section=3" title="Sunting bagian: 2. Konjungsi (^)" class="mw-editsection-visualeditor"><span>sunting</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Logika_matematika&action=edit&section=3" title="Sunting kode sumber bagian: 2. Konjungsi (^)"><span>sunting sumber</span></a><span class="mw-editsection-bracket">]</span></span></div> <div class="mw-heading mw-heading3"><h3 id="3._Disjungsi_(v)"><span id="3._Disjungsi_.28v.29"></span>3. Disjungsi (v)</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logika_matematika&veaction=edit&section=4" title="Sunting bagian: 3. Disjungsi (v)" class="mw-editsection-visualeditor"><span>sunting</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Logika_matematika&action=edit&section=4" title="Sunting kode sumber bagian: 3. Disjungsi (v)"><span>sunting sumber</span></a><span class="mw-editsection-bracket">]</span></span></div> <div class="mw-heading mw-heading3"><h3 id="4._Implikasi_(=>)"><span id="4._Implikasi_.28.3D.3E.29"></span>4. Implikasi (=>)</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logika_matematika&veaction=edit&section=5" title="Sunting bagian: 4. Implikasi (=>)" class="mw-editsection-visualeditor"><span>sunting</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Logika_matematika&action=edit&section=5" title="Sunting kode sumber bagian: 4. Implikasi (=>)"><span>sunting sumber</span></a><span class="mw-editsection-bracket">]</span></span></div> <div class="mw-heading mw-heading3"><h3 id="5._Biimplikasi_(<=>)"><span id="5._Biimplikasi_.28.3C.3D.3E.29"></span>5. Biimplikasi (<=>)</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logika_matematika&veaction=edit&section=6" title="Sunting bagian: 5. Biimplikasi (<=>)" class="mw-editsection-visualeditor"><span>sunting</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Logika_matematika&action=edit&section=6" title="Sunting kode sumber bagian: 5. Biimplikasi (<=>)"><span>sunting sumber</span></a><span class="mw-editsection-bracket">]</span></span></div> <div class="mw-heading mw-heading2"><h2 id="Hukum_logika">Hukum logika</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logika_matematika&veaction=edit&section=7" title="Sunting bagian: Hukum logika" class="mw-editsection-visualeditor"><span>sunting</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Logika_matematika&action=edit&section=7" title="Sunting kode sumber bagian: Hukum logika"><span>sunting sumber</span></a><span class="mw-editsection-bracket">]</span></span></div> <ol><li>Hukum komutatif <ul><li>p ∧ q ≡ q ∧ p</li> <li>p ∨ q ≡ q ∨ p</li></ul></li> <li>Hukum asosiatif <ul><li>(p ∧ q) ∧ r ≡ p ∧ (q ∧ r)</li> <li>(p ∨ q) ∨ r ≡ p ∨ (q ∨ r)</li></ul></li> <li>Hukum distributif <ul><li>p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)</li> <li>p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)</li></ul></li> <li>Hukum identitas <ul><li>p ∧ B ≡ p</li> <li>p ∨ S ≡ p</li></ul></li> <li>Hukum ikatan <ul><li>p ∧ S ≡ S</li> <li>p ∨ B ≡ B</li></ul></li> <li>Hukum negasi <ul><li>p ∧ ~p ≡ S</li> <li>p ∨ ~p ≡ B</li></ul></li> <li>Hukum negasi ganda <ul><li>~(~p) ≡ p</li></ul></li> <li>Hukum idempotent <ul><li>p ∧ p ≡ p</li> <li>p ∨ p ≡ p</li></ul></li> <li>Hukum De Morgan <ul><li>~(p ∧ q) ≡ ~p ∨ ~q</li> <li>~(p ∨ q) ≡ ~p ∧ ~q</li></ul></li> <li>Hukum penyerapan <ul><li>p ∧ (p ∨ q) ≡ p</li> <li>p ∨ (p ∧ q) ≡ p</li></ul></li> <li>Negasi B dan S <ul><li>~B ≡ S</li> <li>~S ≡ B</li></ul></li> <li>p → q ≡ ~p ∨ q</li> <li>p → q ≡ ~q → ~p</li> <li>p ↔ q ≡ (~p ∨ q) ∧ (p ∨ ~q)</li></ol> <div class="mw-heading mw-heading2"><h2 id="Tabel_kebenaran">Tabel kebenaran</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logika_matematika&veaction=edit&section=8" title="Sunting bagian: Tabel kebenaran" class="mw-editsection-visualeditor"><span>sunting</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Logika_matematika&action=edit&section=8" title="Sunting kode sumber bagian: Tabel kebenaran"><span>sunting sumber</span></a><span class="mw-editsection-bracket">]</span></span></div> <style data-mw-deduplicate="TemplateStyles:r18844875">.mw-parser-output .hatnote{font-style:italic}.mw-parser-output div.hatnote{padding-left:1.6em;margin-bottom:0.5em}.mw-parser-output .hatnote i{font-style:normal}.mw-parser-output .hatnote+link+.hatnote{margin-top:-0.5em}</style><div role="note" class="hatnote navigation-not-searchable">Artikel utama: <a href="/wiki/Tabel_kebenaran" title="Tabel kebenaran">Tabel kebenaran</a></div> <div class="mw-heading mw-heading2"><h2 id="Invers,_Konvers_dan_Kontraposisi"><span id="Invers.2C_Konvers_dan_Kontraposisi"></span>Invers, Konvers dan Kontraposisi</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logika_matematika&veaction=edit&section=9" title="Sunting bagian: Invers, Konvers dan Kontraposisi" class="mw-editsection-visualeditor"><span>sunting</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Logika_matematika&action=edit&section=9" title="Sunting kode sumber bagian: Invers, Konvers dan Kontraposisi"><span>sunting sumber</span></a><span class="mw-editsection-bracket">]</span></span></div> <ul><li>Invers dari <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 p\to q}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>p</mi> <mo stretchy="false">→</mo> <mi>q</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle p\to q}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/8fccb3827df1efe7930f9d1febd15d2359971b93" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; margin-left: -0.089ex; width:5.942ex; height:2.176ex;" alt="{\displaystyle p\to q}"></span> adalah ~p → ~q</li> <li>Konvers dari <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 p\to q}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>p</mi> <mo stretchy="false">→</mo> <mi>q</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle p\to q}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/8fccb3827df1efe7930f9d1febd15d2359971b93" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; margin-left: -0.089ex; width:5.942ex; height:2.176ex;" alt="{\displaystyle p\to q}"></span> adalah q → p</li> <li>Kontraposisi dari <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 p\to q}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>p</mi> <mo stretchy="false">→</mo> <mi>q</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle p\to q}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/8fccb3827df1efe7930f9d1febd15d2359971b93" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; margin-left: -0.089ex; width:5.942ex; height:2.176ex;" alt="{\displaystyle p\to q}"></span> adalah ~q → ~p</li></ul> <div class="mw-heading mw-heading2"><h2 id="Penarikan_kesimpulan">Penarikan kesimpulan</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logika_matematika&veaction=edit&section=10" title="Sunting bagian: Penarikan kesimpulan" class="mw-editsection-visualeditor"><span>sunting</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Logika_matematika&action=edit&section=10" title="Sunting kode sumber bagian: Penarikan kesimpulan"><span>sunting sumber</span></a><span class="mw-editsection-bracket">]</span></span></div> <div class="mw-heading mw-heading3"><h3 id="Modus_ponens">Modus ponens</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logika_matematika&veaction=edit&section=11" title="Sunting bagian: Modus ponens" class="mw-editsection-visualeditor"><span>sunting</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Logika_matematika&action=edit&section=11" title="Sunting kode sumber bagian: Modus ponens"><span>sunting sumber</span></a><span class="mw-editsection-bracket">]</span></span></div> <dl><dd>premis 1: p → q</dd> <dd>premis 2: p</dd> <dd>kesimpulan: q</dd></dl> <div class="mw-heading mw-heading3"><h3 id="Modus_tollens">Modus tollens</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logika_matematika&veaction=edit&section=12" title="Sunting bagian: Modus tollens" class="mw-editsection-visualeditor"><span>sunting</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Logika_matematika&action=edit&section=12" title="Sunting kode sumber bagian: Modus tollens"><span>sunting sumber</span></a><span class="mw-editsection-bracket">]</span></span></div> <dl><dd>premis 1: p → q</dd> <dd>premis 2: ~q</dd> <dd>kesimpulan: ~p</dd></dl> <div class="mw-heading mw-heading3"><h3 id="Silogisme">Silogisme</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logika_matematika&veaction=edit&section=13" title="Sunting bagian: Silogisme" class="mw-editsection-visualeditor"><span>sunting</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Logika_matematika&action=edit&section=13" title="Sunting kode sumber bagian: Silogisme"><span>sunting sumber</span></a><span class="mw-editsection-bracket">]</span></span></div> <dl><dd>premis 1: p → q</dd> <dd>premis 2: q → r</dd> <dd>kesimpulan: p → r</dd></dl> <div class="mw-heading mw-heading2"><h2 id="Referensi">Referensi</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logika_matematika&veaction=edit&section=14" title="Sunting bagian: Referensi" class="mw-editsection-visualeditor"><span>sunting</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Logika_matematika&action=edit&section=14" title="Sunting kode sumber bagian: Referensi"><span>sunting sumber</span></a><span class="mw-editsection-bracket">]</span></span></div> <ol class="references"> <li id="cite_note-1"><span class="mw-cite-backlink"><b><a href="#cite_ref-1">^</a></b></span> <span class="reference-text"><cite class="citation web"><a rel="nofollow" class="external text" href="http://www.math.wichita.edu/history/Topics/logic.html">"Logic"</a>. <i>www.math.wichita.edu</i><span class="reference-accessdate">. Diakses tanggal <span class="nowrap">2020-08-21</span></span>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=unknown&rft.jtitle=www.math.wichita.edu&rft.atitle=Logic&rft_id=http%3A%2F%2Fwww.math.wichita.edu%2Fhistory%2FTopics%2Flogic.html&rfr_id=info%3Asid%2Fid.wikipedia.org%3ALogika+matematika" class="Z3988"><span style="display:none;"> </span></span></span> </li> </ol> <ul><li><cite class="citation book">Kurnianingsih, Sri (2007). <i>Matematika SMA dan MA 1B Untuk Kelas X Semester 2</i>. Jakarta: Esis/Erlangga. <a href="/wiki/Istimewa:Sumber_buku/9797345017" class="internal mw-magiclink-isbn">ISBN 979-734-501-7</a>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Matematika+SMA+dan+MA+1B+Untuk+Kelas+X+Semester+2&rft.place=Jakarta&rft.pub=Esis%2FErlangga&rft.date=2007&rft.aulast=Kurnianingsih&rft.aufirst=Sri&rfr_id=info%3Asid%2Fid.wikipedia.org%3ALogika+matematika" class="Z3988"><span style="display:none;"> </span></span> <span style="display:none;font-size:100%" class="error citation-comment">Parameter <code style="color:inherit; border:inherit; padding:inherit;">|coauthors=</code> yang tidak diketahui mengabaikan (<code style="color:inherit; border:inherit; padding:inherit;">|author=</code> yang disarankan) (<a href="/wiki/Bantuan:Galat_CS1#parameter_ignored_suggest" title="Bantuan:Galat CS1">bantuan</a>)</span> <span style="font-size:0.95em; font-weight:bold; color:#777; cursor:help;" title="Bahasa Indonesia" lang="Indonesia">(Indonesia)</span></li></ul> <div class="navbox-styles"><style data-mw-deduplicate="TemplateStyles:r23782733">.mw-parser-output .hlist dl,.mw-parser-output .hlist ol,.mw-parser-output .hlist ul{margin:0;padding:0}.mw-parser-output .hlist dd,.mw-parser-output .hlist dt,.mw-parser-output .hlist li{margin:0;display:inline}.mw-parser-output .hlist.inline,.mw-parser-output .hlist.inline dl,.mw-parser-output .hlist.inline ol,.mw-parser-output .hlist.inline ul,.mw-parser-output .hlist dl dl,.mw-parser-output .hlist dl ol,.mw-parser-output .hlist dl ul,.mw-parser-output .hlist ol dl,.mw-parser-output .hlist ol ol,.mw-parser-output .hlist ol ul,.mw-parser-output .hlist ul dl,.mw-parser-output .hlist ul ol,.mw-parser-output .hlist ul ul{display:inline}.mw-parser-output .hlist .mw-empty-li{display:none}.mw-parser-output .hlist dt::after{content:": "}.mw-parser-output .hlist dd::after,.mw-parser-output .hlist li::after{content:" · ";font-weight:bold}.mw-parser-output .hlist dd:last-child::after,.mw-parser-output .hlist dt:last-child::after,.mw-parser-output .hlist li:last-child::after{content:none}.mw-parser-output .hlist dd dd:first-child::before,.mw-parser-output .hlist dd dt:first-child::before,.mw-parser-output .hlist dd li:first-child::before,.mw-parser-output .hlist dt dd:first-child::before,.mw-parser-output .hlist dt dt:first-child::before,.mw-parser-output .hlist dt li:first-child::before,.mw-parser-output .hlist li dd:first-child::before,.mw-parser-output .hlist li dt:first-child::before,.mw-parser-output .hlist li li:first-child::before{content:" (";font-weight:normal}.mw-parser-output .hlist dd dd:last-child::after,.mw-parser-output .hlist dd dt:last-child::after,.mw-parser-output .hlist dd li:last-child::after,.mw-parser-output .hlist dt dd:last-child::after,.mw-parser-output .hlist dt dt:last-child::after,.mw-parser-output .hlist dt li:last-child::after,.mw-parser-output .hlist li dd:last-child::after,.mw-parser-output .hlist li dt:last-child::after,.mw-parser-output .hlist li li:last-child::after{content:")";font-weight:normal}.mw-parser-output .hlist ol{counter-reset:listitem}.mw-parser-output .hlist ol>li{counter-increment:listitem}.mw-parser-output .hlist ol>li::before{content:" "counter(listitem)"\a0 "}.mw-parser-output .hlist dd ol>li:first-child::before,.mw-parser-output .hlist dt ol>li:first-child::before,.mw-parser-output .hlist li ol>li:first-child::before{content:" ("counter(listitem)"\a0 "}</style><style data-mw-deduplicate="TemplateStyles:r25847331">.mw-parser-output .navbox{box-sizing:border-box;border:1px solid #a2a9b1;width:100%;clear:both;font-size:88%;text-align:center;padding:1px;margin:1em auto 0}.mw-parser-output .navbox .navbox{margin-top:0}.mw-parser-output .navbox+.navbox,.mw-parser-output .navbox+.navbox-styles+.navbox{margin-top:-1px}.mw-parser-output .navbox-inner,.mw-parser-output .navbox-subgroup{width:100%}.mw-parser-output .navbox-group,.mw-parser-output .navbox-title,.mw-parser-output .navbox-abovebelow{padding:0.25em 1em;line-height:1.5em;text-align:center}.mw-parser-output .navbox-group{white-space:nowrap;text-align:right}.mw-parser-output .navbox,.mw-parser-output .navbox-subgroup{background-color:#fdfdfd}.mw-parser-output .navbox-list{line-height:1.5em;border-color:#fdfdfd}.mw-parser-output .navbox-list-with-group{text-align:left;border-left-width:2px;border-left-style:solid}.mw-parser-output tr+tr>.navbox-abovebelow,.mw-parser-output tr+tr>.navbox-group,.mw-parser-output tr+tr>.navbox-image,.mw-parser-output tr+tr>.navbox-list{border-top:2px solid #fdfdfd}.mw-parser-output .navbox-title{background-color:#ccf}.mw-parser-output .navbox-abovebelow,.mw-parser-output .navbox-group,.mw-parser-output .navbox-subgroup .navbox-title{background-color:#ddf}.mw-parser-output .navbox-subgroup .navbox-group,.mw-parser-output .navbox-subgroup .navbox-abovebelow{background-color:#e6e6ff}.mw-parser-output .navbox-even{background-color:#f7f7f7}.mw-parser-output .navbox-odd{background-color:transparent}.mw-parser-output .navbox .hlist td dl,.mw-parser-output .navbox .hlist td ol,.mw-parser-output .navbox .hlist td ul,.mw-parser-output .navbox td.hlist dl,.mw-parser-output .navbox td.hlist ol,.mw-parser-output .navbox td.hlist ul{padding:0.125em 0}.mw-parser-output .navbox .navbar{display:block;font-size:100%}.mw-parser-output .navbox-title .navbar{float:left;text-align:left;margin-right:0.5em}body.skin--responsive .mw-parser-output .navbox-image img{max-width:none!important}</style></div><div role="navigation" class="navbox" aria-labelledby="Matematika_(Bidang_matematika)" style="padding:3px"><table class="nowraplinks mw-collapsible expanded navbox-inner" style="border-spacing:0;background:transparent;color:inherit"><tbody><tr><th scope="col" class="navbox-title" colspan="2"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r18590415"><div class="navbar plainlinks hlist navbar-mini"><ul><li class="nv-lihat"><a href="/wiki/Templat:Bidang_matematika" title="Templat:Bidang matematika"><abbr title="Lihat templat ini">l</abbr></a></li><li class="nv-bicara"><a href="/wiki/Pembicaraan_Templat:Bidang_matematika" title="Pembicaraan Templat:Bidang matematika"><abbr title="Diskusikan templat ini">b</abbr></a></li><li class="nv-sunting"><a class="external text" href="https://id.wikipedia.org/w/index.php?title=Templat:Bidang_matematika&action=edit"><abbr title="Sunting templat ini">s</abbr></a></li></ul></div><div id="Matematika_(Bidang_matematika)" style="font-size:114%;margin:0 4em"><a href="/wiki/Matematika" title="Matematika">Matematika</a> (<a href="/wiki/Bidang_matematika" class="mw-redirect" title="Bidang matematika">Bidang matematika</a>)</div></th></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/Fondasi_matematika" title="Fondasi matematika">Fondasi</a></th><td class="navbox-list-with-group navbox-list navbox-odd hlist" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Filsafat_matematika" title="Filsafat matematika">Filsafat matematika</a></li> <li><a class="mw-selflink selflink">Logika matematika</a></li> <li><a href="/wiki/Teori_himpunan" title="Teori himpunan">Teori himpunan</a></li> <li><a href="/wiki/Teori_informasi" title="Teori informasi">Teori informasi</a></li> <li><a href="/wiki/Teori_kategori" title="Teori kategori">Teori kategori</a></li> <li><a href="/w/index.php?title=Teori_tipe&action=edit&redlink=1" class="new" title="Teori tipe (halaman belum tersedia)">Teori tipe</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/Aljabar" title="Aljabar">Aljabar</a></th><td class="navbox-list-with-group navbox-list navbox-even hlist" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Aljabar_abstrak" title="Aljabar abstrak">Abstrak</a></li> <li><a href="/wiki/Aljabar_elementer" title="Aljabar elementer">Elementer</a></li> <li><a href="/wiki/Aljabar_homologis" title="Aljabar homologis">Homologis</a></li> <li><a href="/w/index.php?title=Aljabar_komutatif&action=edit&redlink=1" class="new" title="Aljabar komutatif (halaman belum tersedia)">Komutatif</a></li> <li><a href="/wiki/Aljabar_linear" title="Aljabar linear">Linear</a></li> <li><a href="/wiki/Aljabar_multilinear" title="Aljabar multilinear">Multilinear</a></li> <li><a href="/wiki/Aljabar_universal" title="Aljabar universal">Universal</a></li> <li><a href="/wiki/Teori_grup" title="Teori grup">Teori grup</a></li> <li><a href="/wiki/Teori_representasi" title="Teori representasi">Teori representasi</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/Analisis_matematis" title="Analisis matematis">Analisis</a></th><td class="navbox-list-with-group navbox-list navbox-odd hlist" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Kalkulus" title="Kalkulus">Kalkulus</a></li> <li><a href="/wiki/Analisis_fungsional" title="Analisis fungsional">Analisis fungsional</a></li> <li><a href="/w/index.php?title=Analisis_harmonik&action=edit&redlink=1" class="new" title="Analisis harmonik (halaman belum tersedia)">Analisis harmonik</a></li> <li><a href="/wiki/Analisis_kompleks" title="Analisis kompleks">Analisis kompleks</a></li> <li><a href="/wiki/Analisis_real" class="mw-redirect" title="Analisis real">Analisis real</a></li> <li><a href="/wiki/Persamaan_diferensial" title="Persamaan diferensial">Persamaan diferensial</a></li> <li><a href="/wiki/Ukuran_(matematika)" title="Ukuran (matematika)">Teori ukuran</a></li> <li><a href="/wiki/Teori_sistem_dinamis" class="mw-redirect" title="Teori sistem dinamis">Teori sistem dinamis</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/Matematika_diskret" class="mw-redirect" title="Matematika diskret">Diskret</a></th><td class="navbox-list-with-group navbox-list navbox-even hlist" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Kombinatorika" title="Kombinatorika">Kombinatorika</a></li> <li><a href="/wiki/Teori_graf" title="Teori graf">Teori graf</a></li> <li><a href="/wiki/Teori_order" title="Teori order">Teori order</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/Geometri" title="Geometri">Geometri</a></th><td class="navbox-list-with-group navbox-list navbox-odd hlist" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Geometri_aljabar" title="Geometri aljabar">Aljabar</a></li> <li><a href="/wiki/Geometri_analitis" title="Geometri analitis">Analitis</a></li> <li><a href="/wiki/Geometri_diferensial" title="Geometri diferensial">Diferensial</a></li> <li><a href="/wiki/Geometri_diskrit" title="Geometri diskrit">Diskrit</a></li> <li><a href="/wiki/Geometri_Euklides" title="Geometri Euklides">Euklides</a></li> <li><a href="/wiki/Geometri_hingga" title="Geometri hingga">Hingga</a></li> <li><a href="/wiki/Trigonometri" title="Trigonometri">Trigonometri</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/Matematika_komputasi" title="Matematika komputasi">Komputasi</a></th><td class="navbox-list-with-group navbox-list navbox-even hlist" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Analisis_numerik" title="Analisis numerik">Analisis numerik</a> (<a href="/wiki/Daftar_topik_analisis_numerik" title="Daftar topik analisis numerik">Topik</a>)</li> <li><a href="/wiki/Ilmu_komputer" title="Ilmu komputer">Ilmu komputer</a></li> <li><a href="/w/index.php?title=Komputasi_simbolik&action=edit&redlink=1" class="new" title="Komputasi simbolik (halaman belum tersedia)">Komputasi simbolik</a></li> <li><a href="/wiki/Teori_komputasi" title="Teori komputasi">Teori komputasi</a></li> <li><a href="/w/index.php?title=Teori_kompleksitas_komputasi&action=edit&redlink=1" class="new" title="Teori kompleksitas komputasi (halaman belum tersedia)">Teori kompleksitas komputasi</a></li> <li><a href="/wiki/Optimisasi" title="Optimisasi">Optimisasi matematika</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/Teori_bilangan" title="Teori bilangan">Teori bilangan</a></th><td class="navbox-list-with-group navbox-list navbox-odd hlist" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Aritmetika" title="Aritmetika">Aritmetika</a></li> <li><a href="/w/index.php?title=Geometri_Diophantine&action=edit&redlink=1" class="new" title="Geometri Diophantine (halaman belum tersedia)">Geometri Diophantine</a></li> <li><a href="/wiki/Teori_bilangan_aljabar" title="Teori bilangan aljabar">Teori bilangan aljabar</a></li> <li><a href="/w/index.php?title=Teori_bilangan_analitis&action=edit&redlink=1" class="new" title="Teori bilangan analitis (halaman belum tersedia)">Teori bilangan analitis</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/Topologi" title="Topologi">Topologi</a></th><td class="navbox-list-with-group navbox-list navbox-even hlist" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/w/index.php?title=Teori_homotopi&action=edit&redlink=1" class="new" title="Teori homotopi (halaman belum tersedia)">Teori homotopi</a></li> <li><a href="/wiki/Topologi_aljabar" title="Topologi aljabar">Aljabar</a></li> <li><a href="/w/index.php?title=Topologi_diferensial&action=edit&redlink=1" class="new" title="Topologi diferensial (halaman belum tersedia)">Diferensial</a></li> <li><a href="/w/index.php?title=Topologi_geometris&action=edit&redlink=1" class="new" title="Topologi geometris (halaman belum tersedia)">Geometris</a></li> <li><a href="/wiki/Topologi_umum" title="Topologi umum">Umum</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/Matematika_terapan" title="Matematika terapan">Terapan</a></th><td class="navbox-list-with-group navbox-list navbox-odd hlist" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Biologi_matematika_dan_teori" title="Biologi matematika dan teori">Matematika biologi</a></li> <li><a href="/wiki/Matematika_ekonomi" title="Matematika ekonomi">Matematika ekonomi</a></li> <li><a href="/wiki/Matematika_keuangan" title="Matematika keuangan">Matematika keuangan</a></li> <li><a href="/wiki/Fisika_matematis" title="Fisika matematis">Fisika matematis</a></li> <li><a href="/wiki/Kimia_matematika" title="Kimia matematika">Kimia matematika</a></li> <li><a href="/w/index.php?title=Psikologi_matematis&action=edit&redlink=1" class="new" title="Psikologi matematis (halaman belum tersedia)">Psikologi matematis</a></li> <li><a href="/wiki/Statistika" title="Statistika">Statistika</a></li> <li><a href="/wiki/Statistika_matematika" title="Statistika matematika">Statistika matematika</a></li> <li><a href="/wiki/Teori_peluang" title="Teori peluang">Teori peluang</a></li> <li><a href="/wiki/Ilmu_sistem" title="Ilmu sistem">Ilmu sistem</a> (<a href="/w/index.php?title=Teori_kendali&action=edit&redlink=1" class="new" title="Teori kendali (halaman belum tersedia)">Teori kendali</a>, <a href="/wiki/Teori_permainan" title="Teori permainan">Teori permainan</a>, <a href="/wiki/Riset_operasi" title="Riset operasi">Riset operasi</a>)</li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">Divisi</th><td class="navbox-list-with-group navbox-list navbox-even hlist" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Matematika_murni" title="Matematika murni">Matematika murni</a></li> <li><a href="/wiki/Matematika_terapan" title="Matematika terapan">Matematika terapan</a></li> <li><a href="/wiki/Matematika_diskret" class="mw-redirect" title="Matematika diskret">Matematika diskret</a></li> <li><a href="/wiki/Matematika_komputasi" title="Matematika komputasi">Matematika komputasi</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">Topik terkait</th><td class="navbox-list-with-group navbox-list navbox-odd hlist" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Matematika_dan_seni" title="Matematika dan seni">Matematika dan seni</a></li> <li><a href="/wiki/Matematika_rekreasi" title="Matematika rekreasi">Matematika rekreasi</a></li> <li><a href="/wiki/Pendidikan_matematika" title="Pendidikan matematika">Pendidikan matematika</a></li> <li><a href="/wiki/Sejarah_matematika" title="Sejarah matematika">Sejarah matematika</a></li></ul> </div></td></tr><tr><td class="navbox-abovebelow hlist" colspan="2"><div> <ul><li><span typeof="mw:File"><a href="/wiki/Berkas:Symbol_category_class.svg" class="mw-file-description" title="Category"><img alt="Category" src="//upload.wikimedia.org/wikipedia/commons/thumb/9/96/Symbol_category_class.svg/16px-Symbol_category_class.svg.png" decoding="async" width="16" height="16" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/9/96/Symbol_category_class.svg/23px-Symbol_category_class.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/9/96/Symbol_category_class.svg/31px-Symbol_category_class.svg.png 2x" data-file-width="180" data-file-height="185" /></a></span> <b><a href="/wiki/Kategori:Matematika" title="Kategori:Matematika">Kategori</a></b></li> <li><span typeof="mw:File"><a href="/wiki/Berkas:Symbol_portal_class.svg" class="mw-file-description" title="Portal"><img alt="Portal" src="//upload.wikimedia.org/wikipedia/commons/thumb/e/e2/Symbol_portal_class.svg/16px-Symbol_portal_class.svg.png" decoding="async" width="16" height="16" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/e/e2/Symbol_portal_class.svg/23px-Symbol_portal_class.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/e/e2/Symbol_portal_class.svg/31px-Symbol_portal_class.svg.png 2x" data-file-width="180" data-file-height="185" /></a></span> <b><a href="/wiki/Portal:Matematika" title="Portal:Matematika">Portal matematika</a></b></li> <li><a href="/w/index.php?title=Kerangka_matematika&action=edit&redlink=1" class="new" title="Kerangka matematika (halaman belum tersedia)">Kerangka</a></li> <li><a href="/wiki/Daftar_topik_matematika" class="mw-redirect" title="Daftar topik matematika">Daftar</a></li></ul> </div></td></tr></tbody></table></div> <div class="navbox-styles"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r23782733"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r25847331"></div><div role="navigation" class="navbox" aria-labelledby="Logika_matematika" style="padding:3px"><table class="nowraplinks mw-collapsible autocollapse navbox-inner" style="border-spacing:0;background:transparent;color:inherit"><tbody><tr><th scope="col" class="navbox-title" colspan="2"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r18590415"><div class="navbar plainlinks hlist navbar-mini"><ul><li class="nv-lihat"><a href="/wiki/Templat:Logika_matematika" title="Templat:Logika matematika"><abbr title="Lihat templat ini">l</abbr></a></li><li class="nv-bicara"><a href="/w/index.php?title=Pembicaraan_Templat:Logika_matematika&action=edit&redlink=1" class="new" title="Pembicaraan Templat:Logika matematika (halaman belum tersedia)"><abbr title="Diskusikan templat ini">b</abbr></a></li><li class="nv-sunting"><a class="external text" href="https://id.wikipedia.org/w/index.php?title=Templat:Logika_matematika&action=edit"><abbr title="Sunting templat ini">s</abbr></a></li></ul></div><div id="Logika_matematika" style="font-size:114%;margin:0 4em"><a class="mw-selflink selflink">Logika matematika</a></div></th></tr><tr><th scope="row" class="navbox-group" style="width:1%">Umum</th><td class="navbox-list-with-group navbox-list navbox-odd hlist" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Bahasa_formal" title="Bahasa formal">Bahasa formal</a></li> <li><a href="/w/index.php?title=Aturan_formasi&action=edit&redlink=1" class="new" title="Aturan formasi (halaman belum tersedia)">Aturan formasi</a></li> <li><a href="/w/index.php?title=Sistem_formal&action=edit&redlink=1" class="new" title="Sistem formal (halaman belum tersedia)">Sistem formal</a></li> <li><a href="/w/index.php?title=Sistem_deduktif&action=edit&redlink=1" class="new" title="Sistem deduktif (halaman belum tersedia)">Sistem deduktif</a></li> <li><a href="/w/index.php?title=Pembuktian_formal&action=edit&redlink=1" class="new" title="Pembuktian formal (halaman belum tersedia)">Pembuktian formal</a></li> <li><a href="/w/index.php?title=Formal_semantik_(logika)&action=edit&redlink=1" class="new" title="Formal semantik (logika) (halaman belum tersedia)">Formal semantik</a></li> <li><a href="/w/index.php?title=Formula_bentukan&action=edit&redlink=1" class="new" title="Formula bentukan (halaman belum tersedia)">Formula bentukan</a></li> <li><a href="/wiki/Himpunan_(matematika)" title="Himpunan (matematika)">Himpunan</a></li> <li><a href="/wiki/Elemen_(matematika)" title="Elemen (matematika)">Elemen</a></li> <li><a href="/wiki/Kelas_(teori_himpunan)" title="Kelas (teori himpunan)">Kelas</a></li> <li><a href="/w/index.php?title=Logika_klasik&action=edit&redlink=1" class="new" title="Logika klasik (halaman belum tersedia)">Logika klasik</a></li> <li><a href="/wiki/Aksioma" title="Aksioma">Aksioma</a></li> <li><a href="/w/index.php?title=Deduksi_alami&action=edit&redlink=1" class="new" title="Deduksi alami (halaman belum tersedia)">Deduksi alami</a></li> <li><a href="/w/index.php?title=Aturan_inferensi&action=edit&redlink=1" class="new" title="Aturan inferensi (halaman belum tersedia)">Aturan inferensi</a></li> <li><a href="/w/index.php?title=Relasi_Finitari&action=edit&redlink=1" class="new" title="Relasi Finitari (halaman belum tersedia)">Relasi</a></li> <li><a href="/wiki/Teorema" title="Teorema">Teorema</a></li> <li><a href="/wiki/Konsekuensi_logis" title="Konsekuensi logis">Konsekuensi logis</a></li> <li><a href="/w/index.php?title=Sistem_aksiomatis&action=edit&redlink=1" class="new" title="Sistem aksiomatis (halaman belum tersedia)">Sistem aksiomatis</a></li> <li><a href="/w/index.php?title=Teori_tipe&action=edit&redlink=1" class="new" title="Teori tipe (halaman belum tersedia)">Teori tipe</a></li> <li><a href="/w/index.php?title=Simbol_(formal)&action=edit&redlink=1" class="new" title="Simbol (formal) (halaman belum tersedia)">Simbol</a></li> <li><a href="/w/index.php?title=Sintaks_(logika)&action=edit&redlink=1" class="new" title="Sintaks (logika) (halaman belum tersedia)">Sintaks</a></li> <li><a href="/w/index.php?title=Teori_(logika_matematis)&action=edit&redlink=1" class="new" title="Teori (logika matematis) (halaman belum tersedia)">Teori</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/w/index.php?title=Istilah_logika&action=edit&redlink=1" class="new" title="Istilah logika (halaman belum tersedia)">Logika tradisional</a></th><td class="navbox-list-with-group navbox-list navbox-even hlist" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Proposisi" title="Proposisi">Proposisi</a></li> <li><a href="/w/index.php?title=Inferensi&action=edit&redlink=1" class="new" title="Inferensi (halaman belum tersedia)">Inferensi</a></li> <li><a href="/wiki/Argumen" class="mw-redirect mw-disambig" title="Argumen">Argumen</a></li> <li><a href="/w/index.php?title=Validitas&action=edit&redlink=1" class="new" title="Validitas (halaman belum tersedia)">Validitas</a></li> <li><a href="/w/index.php?title=Meyakinkan&action=edit&redlink=1" class="new" title="Meyakinkan (halaman belum tersedia)">Meyakinkan</a></li> <li><a href="/wiki/Silogisme" title="Silogisme">Silogisme</a></li> <li><a href="/w/index.php?title=Sisi_berlawanan&action=edit&redlink=1" class="new" title="Sisi berlawanan (halaman belum tersedia)">Sisi berlawanan</a></li> <li><a href="/wiki/Diagram_Venn" title="Diagram Venn">Diagram Venn</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><div style="display:inline-block; padding:0.1em 0;line-height:1.2em;"><a href="/wiki/Kalkulus_proposisional" title="Kalkulus proposisional">Kalkulus proposisional</a><br /><a href="/wiki/Aljabar_Boolean" class="mw-redirect" title="Aljabar Boolean">Logika boolean</a></div></th><td class="navbox-list-with-group navbox-list navbox-odd hlist" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/w/index.php?title=Fungsi_Boolean&action=edit&redlink=1" class="new" title="Fungsi Boolean (halaman belum tersedia)">Fungsi Boolean</a></li> <li><a href="/wiki/Kalkulus_proposisional" title="Kalkulus proposisional">Kalkulus proposisional</a></li> <li><a href="/w/index.php?title=Formula_proposisional&action=edit&redlink=1" class="new" title="Formula proposisional (halaman belum tersedia)">Formula proposisional</a></li> <li><a href="/w/index.php?title=Hubungan_logis&action=edit&redlink=1" class="new" title="Hubungan logis (halaman belum tersedia)">Hubungan logis</a></li> <li><a href="/wiki/Tabel_kebenaran" title="Tabel kebenaran">Tabel kebenaran</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/Logika_predikat" class="mw-redirect" title="Logika predikat">Logika predikat</a></th><td class="navbox-list-with-group navbox-list navbox-even hlist" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/w/index.php?title=Logika_orde-pertama&action=edit&redlink=1" class="new" title="Logika orde-pertama (halaman belum tersedia)">Orde-pertama</a></li> <li><a href="/w/index.php?title=Kuantifikasi&action=edit&redlink=1" class="new" title="Kuantifikasi (halaman belum tersedia)">Pembilang</a></li> <li><a href="/w/index.php?title=Predikat_(logika_mathematika)&action=edit&redlink=1" class="new" title="Predikat (logika mathematika) (halaman belum tersedia)">Predikat</a></li> <li><a href="/w/index.php?title=Logika_orde-dua&action=edit&redlink=1" class="new" title="Logika orde-dua (halaman belum tersedia)">Orde-dua</a></li> <li><a href="/w/index.php?title=Kalkulus_predikat_Monadic&action=edit&redlink=1" class="new" title="Kalkulus predikat Monadic (halaman belum tersedia)">Kalkulus predikat Monadic</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/Teori_himpunan" title="Teori himpunan">Teori himpunan</a></th><td class="navbox-list-with-group navbox-list navbox-odd hlist" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Himpunan_(matematika)" title="Himpunan (matematika)">Himpunan</a></li> <li><a href="/wiki/Himpunan_kosong" title="Himpunan kosong">Himpunan kosong</a></li> <li><a href="/wiki/Enumerasi" title="Enumerasi">Enumerasi</a></li> <li><a href="/w/index.php?title=Ekstensionalitas&action=edit&redlink=1" class="new" title="Ekstensionalitas (halaman belum tersedia)">Ekstensionalitas</a></li> <li><a href="/w/index.php?title=Himpunan_terbatas&action=edit&redlink=1" class="new" title="Himpunan terbatas (halaman belum tersedia)">Himpunan terbatas</a></li> <li><a href="/wiki/Fungsi_(matematika)" title="Fungsi (matematika)">Fungsi</a></li> <li><a href="/wiki/Subhimpunan" class="mw-redirect" title="Subhimpunan">Subhimpunan</a></li> <li><a href="/w/index.php?title=Himpinan_perpangkatan&action=edit&redlink=1" class="new" title="Himpinan perpangkatan (halaman belum tersedia)">Himpinan perpangkatan</a></li> <li><a href="/wiki/Himpunan_terhitung" title="Himpunan terhitung">Himpunan terhitung</a></li> <li><a href="/w/index.php?title=Himpunan_rekursif&action=edit&redlink=1" class="new" title="Himpunan rekursif (halaman belum tersedia)">Himpunan rekursif</a></li> <li><a href="/w/index.php?title=Domain_sebuah_fungsi&action=edit&redlink=1" class="new" title="Domain sebuah fungsi (halaman belum tersedia)">Domain</a></li> <li><a href="/w/index.php?title=Rentang_(matematika)&action=edit&redlink=1" class="new" title="Rentang (matematika) (halaman belum tersedia)">Rentang</a></li> <li><a href="/w/index.php?title=Pasangan_berurut&action=edit&redlink=1" class="new" title="Pasangan berurut (halaman belum tersedia)">Pasangan berurut</a></li> <li><a href="/w/index.php?title=Himputan_tak_terhitung&action=edit&redlink=1" class="new" title="Himputan tak terhitung (halaman belum tersedia)">Himputan tak terhitung</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/Teori_model" title="Teori model">Teori model</a></th><td class="navbox-list-with-group navbox-list navbox-even hlist" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Struktur_(logika_matematika)" title="Struktur (logika matematika)">Model</a></li> <li><a href="/w/index.php?title=Interpretasi_(logika)&action=edit&redlink=1" class="new" title="Interpretasi (logika) (halaman belum tersedia)">Interpretasi</a></li> <li><a href="/w/index.php?title=Model_nonstandar&action=edit&redlink=1" class="new" title="Model nonstandar (halaman belum tersedia)">Model nonstandar</a></li> <li><a href="/w/index.php?title=Teori_model_terbatas&action=edit&redlink=1" class="new" title="Teori model terbatas (halaman belum tersedia)">Teori model terbatas</a></li> <li><a href="/w/index.php?title=Nilai_kebenaran&action=edit&redlink=1" class="new" title="Nilai kebenaran (halaman belum tersedia)">Nilai kebenaran</a></li> <li><a href="/w/index.php?title=Validitas&action=edit&redlink=1" class="new" title="Validitas (halaman belum tersedia)">Validitas</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/w/index.php?title=Teori_pembuktian&action=edit&redlink=1" class="new" title="Teori pembuktian (halaman belum tersedia)">Teori pembuktian</a></th><td class="navbox-list-with-group navbox-list navbox-odd hlist" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/w/index.php?title=Pembuktian_formal&action=edit&redlink=1" class="new" title="Pembuktian formal (halaman belum tersedia)">Pembuktian formal</a></li> <li><a href="/w/index.php?title=Sistem_deduktif&action=edit&redlink=1" class="new" title="Sistem deduktif (halaman belum tersedia)">Sistem deduktif</a></li> <li><a href="/w/index.php?title=Sistem_formal&action=edit&redlink=1" class="new" title="Sistem formal (halaman belum tersedia)">Sistem formal</a></li> <li><a href="/wiki/Teorema" title="Teorema">Teorema</a></li> <li><a href="/wiki/Konsekuensi_logis" title="Konsekuensi logis">Konsekuensi logis</a></li> <li><a href="/w/index.php?title=Aturan_inferensi&action=edit&redlink=1" class="new" title="Aturan inferensi (halaman belum tersedia)">Aturan inferensi</a></li> <li><a href="/w/index.php?title=Sintaks_(logika)&action=edit&redlink=1" class="new" title="Sintaks (logika) (halaman belum tersedia)">Sintaks</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/w/index.php?title=Teori_komputabilitas&action=edit&redlink=1" class="new" title="Teori komputabilitas (halaman belum tersedia)">Teori komputabilitas</a></th><td class="navbox-list-with-group navbox-list navbox-even hlist" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Rekursi" title="Rekursi">Rekursi</a></li> <li><a href="/w/index.php?title=Himpunan_rekursif&action=edit&redlink=1" class="new" title="Himpunan rekursif (halaman belum tersedia)">Himpunan rekursif</a></li> <li><a href="/w/index.php?title=Himpunan_rekursif_terhitung&action=edit&redlink=1" class="new" title="Himpunan rekursif terhitung (halaman belum tersedia)">Himpunan rekursif terhitung</a></li> <li><a href="/w/index.php?title=Permasalahan_keputusan&action=edit&redlink=1" class="new" title="Permasalahan keputusan (halaman belum tersedia)">Permasalahan keputusan</a></li> <li><a href="/w/index.php?title=Tesis_Church%E2%80%93Turing&action=edit&redlink=1" class="new" title="Tesis Church–Turing (halaman belum tersedia)">Tesis Church–Turing</a></li> <li><a href="/w/index.php?title=Fungsi_terhitung&action=edit&redlink=1" class="new" title="Fungsi terhitung (halaman belum tersedia)">Fungsi terhitung</a></li> <li><a href="/w/index.php?title=Fungsi_rekursif_primitif&action=edit&redlink=1" class="new" title="Fungsi rekursif primitif (halaman belum tersedia)">Fungsi rekursif primitif</a></li></ul> </div></td></tr><tr><td class="navbox-abovebelow" colspan="2"><div><a href="/wiki/Kategori:Logika_matematika" title="Kategori:Logika matematika">Kategori</a></div></td></tr></tbody></table></div> <p><br /> </p> <style data-mw-deduplicate="TemplateStyles:r18342415">.mw-parser-output .asbox{position:relative;overflow:hidden}.mw-parser-output .asbox table{background:transparent}.mw-parser-output .asbox p{margin:0}.mw-parser-output .asbox p+p{margin-top:0.25em}.mw-parser-output .asbox-body{font-style:italic}.mw-parser-output .asbox-note{font-size:smaller}.mw-parser-output .asbox .navbar{position:absolute;top:-0.75em;right:1em;display:none}</style><div role="note" class="metadata plainlinks asbox stub"><table role="presentation"><tbody><tr class="noresize"><td><span typeof="mw:File"><a href="/wiki/Berkas:Breezeicons-categories-32-applications-education-mathematics.svg" class="mw-file-description"><img alt="Ikon rintisan" src="//upload.wikimedia.org/wikipedia/commons/thumb/4/4e/Breezeicons-categories-32-applications-education-mathematics.svg/30px-Breezeicons-categories-32-applications-education-mathematics.svg.png" decoding="async" width="30" height="30" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/4/4e/Breezeicons-categories-32-applications-education-mathematics.svg/45px-Breezeicons-categories-32-applications-education-mathematics.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/4/4e/Breezeicons-categories-32-applications-education-mathematics.svg/60px-Breezeicons-categories-32-applications-education-mathematics.svg.png 2x" data-file-width="32" data-file-height="32" /></a></span></td><td><p class="asbox-body">Artikel bertopik <a href="/wiki/Matematika" title="Matematika">matematika</a> ini adalah sebuah <a href="/wiki/Wikipedia:Rintisan" class="mw-redirect" title="Wikipedia:Rintisan">rintisan</a>. Anda dapat membantu Wikipedia dengan <a class="external text" href="https://id.wikipedia.org/w/index.php?title=Logika_matematika&action=edit">mengembangkannya</a>.</p></td></tr></tbody></table><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r18590415"><div class="navbar plainlinks hlist navbar-mini"><ul><li class="nv-lihat"><a href="/wiki/Templat:Math-stub" title="Templat:Math-stub"><abbr title="Lihat templat ini">l</abbr></a></li><li class="nv-bicara"><a href="/w/index.php?title=Pembicaraan_Templat:Math-stub&action=edit&redlink=1" class="new" title="Pembicaraan Templat:Math-stub (halaman belum tersedia)"><abbr title="Diskusikan templat ini">b</abbr></a></li><li class="nv-sunting"><a class="external text" href="https://id.wikipedia.org/w/index.php?title=Templat:Math-stub&action=edit"><abbr title="Sunting templat ini">s</abbr></a></li></ul></div></div>    </div><noscript><img src="https://login.wikimedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" width="1" height="1" style="border: none; position: absolute;"></noscript> <div class="printfooter" data-nosnippet="">Diperoleh dari "<a dir="ltr" href="https://id.wikipedia.org/w/index.php?title=Logika_matematika&oldid=25451547">https://id.wikipedia.org/w/index.php?title=Logika_matematika&oldid=25451547</a>"</div></div> <div id="catlinks" class="catlinks" data-mw="interface"><div id="mw-normal-catlinks" class="mw-normal-catlinks"><a href="/wiki/Istimewa:Daftar_kategori" title="Istimewa:Daftar kategori">Kategori</a>: <ul><li><a href="/wiki/Kategori:Logika_matematika" title="Kategori:Logika matematika">Logika matematika</a></li></ul></div><div id="mw-hidden-catlinks" class="mw-hidden-catlinks mw-hidden-cats-hidden">Kategori tersembunyi: <ul><li><a href="/wiki/Kategori:Halaman_dengan_rujukan_yang_menggunakan_parameter_yang_tidak_didukung" title="Kategori:Halaman dengan rujukan yang menggunakan parameter yang tidak didukung">Halaman dengan rujukan yang menggunakan parameter yang tidak didukung</a></li><li><a href="/wiki/Kategori:Semua_artikel_rintisan" title="Kategori:Semua artikel rintisan">Semua artikel rintisan</a></li><li><a href="/wiki/Kategori:Rintisan_bertopik_matematika" title="Kategori:Rintisan bertopik matematika">Rintisan bertopik matematika</a></li><li><a href="/wiki/Kategori:Semua_artikel_rintisan_Maret_2024" title="Kategori:Semua artikel rintisan Maret 2024">Semua artikel rintisan Maret 2024</a></li><li><a href="/wiki/Kategori:Halaman_yang_menggunakan_pranala_magis_ISBN" title="Kategori:Halaman yang menggunakan pranala magis ISBN">Halaman yang menggunakan pranala magis ISBN</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"> Halaman ini terakhir diubah pada 19 Maret 2024, pukul 03.34.</li> <li id="footer-info-copyright">Teks tersedia di bawah <a rel="nofollow" class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.en">Lisensi Atribusi-BerbagiSerupa Creative Commons</a>; ketentuan tambahan mungkin berlaku. Lihat <a class="external text" href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Terms_of_Use">Ketentuan Penggunaan</a> untuk rincian lebih lanjut.</li> </ul> <ul id="footer-places"> <li id="footer-places-privacy"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy">Kebijakan privasi</a></li> <li id="footer-places-about"><a href="/wiki/Wikipedia:Tentang">Tentang Wikipedia</a></li> <li id="footer-places-disclaimers"><a href="/wiki/Wikipedia:Penyangkalan_umum">Penyangkalan</a></li> <li id="footer-places-wm-codeofconduct"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Universal_Code_of_Conduct">Kode Etik</a></li> <li id="footer-places-developers"><a href="https://developer.wikimedia.org">Pengembang</a></li> <li id="footer-places-statslink"><a href="https://stats.wikimedia.org/#/id.wikipedia.org">Statistik</a></li> <li id="footer-places-cookiestatement"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Cookie_statement">Pernyataan kuki</a></li> <li id="footer-places-mobileview"><a href="//id.m.wikipedia.org/w/index.php?title=Logika_matematika&mobileaction=toggle_view_mobile" class="noprint stopMobileRedirectToggle">Tampilan seluler</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-f69cdc8f6-mczds","wgBackendResponseTime":158,"wgPageParseReport":{"limitreport":{"cputime":"0.338","walltime":"0.492","ppvisitednodes":{"value":590,"limit":1000000},"postexpandincludesize":{"value":64600,"limit":2097152},"templateargumentsize":{"value":342,"limit":2097152},"expansiondepth":{"value":9,"limit":100},"expensivefunctioncount":{"value":1,"limit":500},"unstrip-depth":{"value":0,"limit":20},"unstrip-size":{"value":18270,"limit":5000000},"entityaccesscount":{"value":0,"limit":400},"timingprofile":["100.00% 317.631 1 -total"," 41.44% 131.637 1 Templat:Ilmu"," 40.03% 127.154 1 Templat:Sidebar_with_collapsible_lists"," 24.02% 76.288 2 Templat:Navbox"," 23.30% 74.009 1 Templat:Bidang_matematika"," 12.88% 40.912 1 Templat:Cite_web"," 10.06% 31.959 2 Templat:Nowrap"," 6.79% 21.579 1 Templat:Math-stub"," 5.86% 18.617 1 Templat:Asbox"," 4.84% 15.379 1 Templat:Main"]},"scribunto":{"limitreport-timeusage":{"value":"0.188","limit":"10.000"},"limitreport-memusage":{"value":2844970,"limit":52428800},"limitreport-logs":"table#1 {\n [\"size\"] = \"tiny\",\n}\n"},"cachereport":{"origin":"mw-web.codfw.main-84d8f4b96-4z4rq","timestamp":"20241118051213","ttl":2592000,"transientcontent":false}}});});</script> <script type="application/ld+json">{"@context":"https:\/\/schema.org","@type":"Article","name":"Logika matematika","url":"https:\/\/id.wikipedia.org\/wiki\/Logika_matematika","sameAs":"http:\/\/www.wikidata.org\/entity\/Q1166618","mainEntity":"http:\/\/www.wikidata.org\/entity\/Q1166618","author":{"@type":"Organization","name":"Kontributor dari proyek Wikimedia."},"publisher":{"@type":"Organization","name":"Wikimedia Foundation, Inc.","logo":{"@type":"ImageObject","url":"https:\/\/www.wikimedia.org\/static\/images\/wmf-hor-googpub.png"}},"datePublished":"2008-02-25T05:16:46Z","dateModified":"2024-03-19T03:34:01Z","headline":"cabang ilmu matematika"}</script> </body> </html>