CINXE.COM

<!DOCTYPE html> <html class="client-nojs vector-feature-language-in-header-enabled vector-feature-language-in-main-page-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-enabled skin-theme-clientpref-day vector-sticky-header-enabled vector-toc-available" lang="es" dir="ltr"> <head> <meta charset="UTF-8"> <title>Predicado (lógica) - Wikipedia, la enciclopedia libre</title> <script>(function(){var className="client-js vector-feature-language-in-header-enabled vector-feature-language-in-main-page-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-enabled skin-theme-clientpref-day vector-sticky-header-enabled vector-toc-available";var cookie=document.cookie.match(/(?:^|; )eswikimwclientpreferences=([^;]+)/);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":["","enero","febrero","marzo","abril","mayo","junio","julio","agosto","septiembre","octubre","noviembre","diciembre"],"wgRequestId":"a040d919-5a24-4ae9-b5d3-746767ef25d8","wgCanonicalNamespace":"","wgCanonicalSpecialPageName":false,"wgNamespaceNumber":0,"wgPageName":"Predicado_(lógica)","wgTitle":"Predicado (lógica)","wgCurRevisionId":161152321,"wgRevisionId":161152321,"wgArticleId":4267111,"wgIsArticle":true,"wgIsRedirect":false,"wgAction":"view","wgUserName":null,"wgUserGroups":["*"],"wgCategories":["Wikipedia:Artículos con identificadores GND","Wikipedia:Artículos con identificadores LCCN","Lógica","Lógica de predicados"],"wgPageViewLanguage":"es","wgPageContentLanguage":"es","wgPageContentModel":"wikitext","wgRelevantPageName":"Predicado_(lógica)","wgRelevantArticleId":4267111,"wgIsProbablyEditable":true,"wgRelevantPageIsProbablyEditable":true,"wgRestrictionEdit":[],"wgRestrictionMove":[],"wgNoticeProject":"wikipedia","wgCiteReferencePreviewsActive":false,"wgMediaViewerOnClick":true,"wgMediaViewerEnabledByDefault":true,"wgPopupsFlags":0,"wgVisualEditor":{"pageLanguageCode":"es","pageLanguageDir":"ltr","pageVariantFallbacks":"es"},"wgMFDisplayWikibaseDescriptions":{"search":true,"watchlist":true,"tagline":true,"nearby":true},"wgWMESchemaEditAttemptStepOversample":false,"wgWMEPageLength":20000,"wgEditSubmitButtonLabelPublish":true,"wgULSPosition":"interlanguage","wgULSisCompactLinksEnabled":false,"wgVector2022LanguageInHeader":true,"wgULSisLanguageSelectorEmpty":false,"wgWikibaseItemId":"Q1144319","wgCheckUserClientHintsHeadersJsApi":["brands","architecture","bitness","fullVersionList","mobile","model","platform","platformVersion"],"GEHomepageSuggestedEditsEnableTopics":true,"wgGETopicsMatchModeEnabled":true,"wgGELevelingUpEnabledForUser":false}; RLSTATE={"ext.gadget.imagenesinfobox":"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","ext.wikimediamessages.styles":"ready","ext.visualEditor.desktopArticleTarget.noscript":"ready","ext.uls.interlanguage":"ready","wikibase.client.init":"ready"};RLPAGEMODULES=["ext.cite.ux-enhancements","site","mediawiki.page.ready","mediawiki.toc","skins.vector.js","ext.centralNotice.geoIP","ext.centralNotice.startUp","ext.gadget.a-commons-directo","ext.gadget.ReferenceTooltips","ext.gadget.refToolbar","ext.gadget.switcher","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"];</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=es&modules=ext.cite.styles%7Cext.math.styles%7Cext.uls.interlanguage%7Cext.visualEditor.desktopArticleTarget.noscript%7Cext.wikimediamessages.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=es&modules=startup&only=scripts&raw=1&skin=vector-2022"></script> <meta name="ResourceLoaderDynamicStyles" content=""> <link rel="stylesheet" href="/w/load.php?lang=es&modules=ext.gadget.imagenesinfobox&only=styles&skin=vector-2022"> <link rel="stylesheet" href="/w/load.php?lang=es&modules=site.styles&only=styles&skin=vector-2022"> <noscript><link rel="stylesheet" href="/w/load.php?lang=es&modules=noscript&only=styles&skin=vector-2022"></noscript> <meta name="generator" content="MediaWiki 1.44.0-wmf.21"> <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="Predicado (lógica) - Wikipedia, la enciclopedia libre"> <meta property="og:type" content="website"> <link rel="preconnect" href="//upload.wikimedia.org"> <link rel="alternate" media="only screen and (max-width: 640px)" href="//es.m.wikipedia.org/wiki/Predicado_(l%C3%B3gica)"> <link rel="alternate" type="application/x-wiki" title="Editar" href="/w/index.php?title=Predicado_(l%C3%B3gica)&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 (es)"> <link rel="EditURI" type="application/rsd+xml" href="//es.wikipedia.org/w/api.php?action=rsd"> <link rel="canonical" href="https://es.wikipedia.org/wiki/Predicado_(l%C3%B3gica)"> <link rel="license" href="https://creativecommons.org/licenses/by-sa/4.0/deed.es"> <link rel="alternate" type="application/atom+xml" title="Canal Atom de Wikipedia" href="/w/index.php?title=Especial:CambiosRecientes&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-Predicado_lógica rootpage-Predicado_lógica skin-vector-2022 action-view"><a class="mw-jump-link" href="#bodyContent">Ir al contenido</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="Sitio"> <div id="vector-main-menu-dropdown" class="vector-dropdown vector-main-menu-dropdown vector-button-flush-left vector-button-flush-right" title="Menú principal" > <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="Menú principal" > <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">Menú principal</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">Menú principal</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-main-menu.pin">mover a la barra lateral</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-main-menu.unpin">ocultar</button> </div> <div id="p-navigation" class="vector-menu mw-portlet mw-portlet-navigation" > <div class="vector-menu-heading"> Navegación </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-mainpage-description" class="mw-list-item"><a href="/wiki/Wikipedia:Portada" title="Visitar la página principal [z]" accesskey="z"><span>Portada</span></a></li><li id="n-portal" class="mw-list-item"><a href="/wiki/Portal:Comunidad" title="Acerca del proyecto, lo que puedes hacer, dónde encontrar información"><span>Portal de la comunidad</span></a></li><li id="n-currentevents" class="mw-list-item"><a href="/wiki/Portal:Actualidad" title="Encuentra información de contexto sobre acontecimientos actuales"><span>Actualidad</span></a></li><li id="n-recentchanges" class="mw-list-item"><a href="/wiki/Especial:CambiosRecientes" title="Lista de cambios recientes en la wiki [r]" accesskey="r"><span>Cambios recientes</span></a></li><li id="n-newpages" class="mw-list-item"><a href="/wiki/Especial:P%C3%A1ginasNuevas"><span>Páginas nuevas</span></a></li><li id="n-randompage" class="mw-list-item"><a href="/wiki/Especial:Aleatoria" title="Cargar una página al azar [x]" accesskey="x"><span>Página aleatoria</span></a></li><li id="n-help" class="mw-list-item"><a href="/wiki/Ayuda:Contenidos" title="El lugar para aprender"><span>Ayuda</span></a></li><li id="n-bug_in_article" class="mw-list-item"><a href="/wiki/Wikipedia:Informes_de_error"><span>Notificar un error</span></a></li><li id="n-specialpages" class="mw-list-item"><a href="/wiki/Especial:P%C3%A1ginasEspeciales"><span>Páginas especiales</span></a></li> </ul> </div> </div> </div> </div> </div> </div> </nav> <a href="/wiki/Wikipedia:Portada" 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="La enciclopedia libre" src="/static/images/mobile/copyright/wikipedia-tagline-es.svg" width="120" height="13" style="width: 7.5em; height: 0.8125em;"> </span> </a> </div> <div class="vector-header-end"> <div id="p-search" role="search" class="vector-search-box-vue vector-search-box-collapses vector-search-box-show-thumbnail vector-search-box-auto-expand-width vector-search-box"> <a href="/wiki/Especial:Buscar" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only search-toggle" title="Buscar en este wiki [f]" accesskey="f"><span class="vector-icon mw-ui-icon-search mw-ui-icon-wikimedia-search"></span> <span>Buscar</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="Buscar en Wikipedia" aria-label="Buscar en Wikipedia" autocapitalize="sentences" title="Buscar en este wiki [f]" accesskey="f" id="searchInput" > <span class="cdx-text-input__icon cdx-text-input__start-icon"></span> </div> <input type="hidden" name="title" value="Especial:Buscar"> </div> <button class="cdx-button cdx-search-input__end-button">Buscar</button> </form> </div> </div> </div> <nav class="vector-user-links vector-user-links-wide" aria-label="Herramientas personales"> <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="Apariencia"> <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="Apariencia" > <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">Apariencia</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="https://donate.wikimedia.org/?wmf_source=donate&wmf_medium=sidebar&wmf_campaign=es.wikipedia.org&uselang=es" class=""><span>Donaciones</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=Especial:Crear_una_cuenta&returnto=Predicado+%28l%C3%B3gica%29" title="Te recomendamos crear una cuenta e iniciar sesión; sin embargo, no es obligatorio" class=""><span>Crear una cuenta</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=Especial:Entrar&returnto=Predicado+%28l%C3%B3gica%29" title="Te recomendamos iniciar sesión, aunque no es obligatorio [o]" accesskey="o" class=""><span>Acceder</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="Más opciones" > <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="Herramientas personales" > <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">Herramientas personales</span> </label> <div class="vector-dropdown-content"> <div id="p-personal" class="vector-menu mw-portlet mw-portlet-personal user-links-collapsible-item" title="Menú de usuario" > <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="https://donate.wikimedia.org/?wmf_source=donate&wmf_medium=sidebar&wmf_campaign=es.wikipedia.org&uselang=es"><span>Donaciones</span></a></li><li id="pt-createaccount" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=Especial:Crear_una_cuenta&returnto=Predicado+%28l%C3%B3gica%29" title="Te recomendamos crear una cuenta e iniciar sesión; sin embargo, no es obligatorio"><span class="vector-icon mw-ui-icon-userAdd mw-ui-icon-wikimedia-userAdd"></span> <span>Crear una cuenta</span></a></li><li id="pt-login" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=Especial:Entrar&returnto=Predicado+%28l%C3%B3gica%29" title="Te recomendamos iniciar sesión, aunque no es obligatorio [o]" accesskey="o"><span class="vector-icon mw-ui-icon-logIn mw-ui-icon-wikimedia-logIn"></span> <span>Acceder</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"> Páginas para editores desconectados <a href="/wiki/Ayuda:Introducci%C3%B3n" aria-label="Obtenga más información sobre editar"><span>más información</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/Especial:MisContribuciones" title="Una lista de modificaciones hechas desde esta dirección IP [y]" accesskey="y"><span>Contribuciones</span></a></li><li id="pt-anontalk" class="mw-list-item"><a href="/wiki/Especial:MiDiscusi%C3%B3n" title="Discusión sobre ediciones hechas desde esta dirección IP [n]" accesskey="n"><span>Discusión</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="Sitio"> <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="Contenidos" 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">Contenidos</h2> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-toc.pin">mover a la barra lateral</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-toc.unpin">ocultar</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">Inicio</div> </a> </li> <li id="toc-Lógica_tradicional" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Lógica_tradicional"> <div class="vector-toc-text"> <span class="vector-toc-numb">1</span> <span>Lógica tradicional</span> </div> </a> <ul id="toc-Lógica_tradicional-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Lógica_aristotélica" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Lógica_aristotélica"> <div class="vector-toc-text"> <span class="vector-toc-numb">2</span> <span>Lógica aristotélica</span> </div> </a> <ul id="toc-Lógica_aristotélica-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Edad_Moderna" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Edad_Moderna"> <div class="vector-toc-text"> <span class="vector-toc-numb">3</span> <span>Edad Moderna</span> </div> </a> <ul id="toc-Edad_Moderna-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Lógica_de_Port-Royal" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Lógica_de_Port-Royal"> <div class="vector-toc-text"> <span class="vector-toc-numb">4</span> <span>Lógica de Port-Royal</span> </div> </a> <ul id="toc-Lógica_de_Port-Royal-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Lógica_matemática" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Lógica_matemática"> <div class="vector-toc-text"> <span class="vector-toc-numb">5</span> <span>Lógica matemática</span> </div> </a> <ul id="toc-Lógica_matemática-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Lógica_actual" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Lógica_actual"> <div class="vector-toc-text"> <span class="vector-toc-numb">6</span> <span>Lógica actual</span> </div> </a> <ul id="toc-Lógica_actual-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Semántica_formal" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Semántica_formal"> <div class="vector-toc-text"> <span class="vector-toc-numb">7</span> <span>Semántica formal</span> </div> </a> <ul id="toc-Semántica_formal-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Véase_también" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Véase_también"> <div class="vector-toc-text"> <span class="vector-toc-numb">8</span> <span>Véase también</span> </div> </a> <ul id="toc-Véase_también-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Notas_y_referencias" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Notas_y_referencias"> <div class="vector-toc-text"> <span class="vector-toc-numb">9</span> <span>Notas y referencias</span> </div> </a> <ul id="toc-Notas_y_referencias-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Bibliografía" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Bibliografía"> <div class="vector-toc-text"> <span class="vector-toc-numb">10</span> <span>Bibliografía</span> </div> </a> <ul id="toc-Bibliografía-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Enlaces_externos" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Enlaces_externos"> <div class="vector-toc-text"> <span class="vector-toc-numb">11</span> <span>Enlaces externos</span> </div> </a> <ul id="toc-Enlaces_externos-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="Contenidos" class="vector-toc-landmark"> <div id="vector-page-titlebar-toc" class="vector-dropdown vector-page-titlebar-toc vector-button-flush-left" title="Tabla de contenidos" > <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="Cambiar a la tabla de contenidos" > <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">Cambiar a la tabla de contenidos</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">Predicado (lógica)</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="Ir a un artículo en otro idioma. Disponible en 25 idiomas" > <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-25" 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">25 idiomas</span> </label> <div class="vector-dropdown-content"> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li class="interlanguage-link interwiki-ar mw-list-item"><a href="https://ar.wikipedia.org/wiki/%D9%85%D8%AD%D9%85%D9%88%D9%84_(%D9%85%D9%86%D8%B7%D9%82)" title="محمول (منطق) – árabe" lang="ar" hreflang="ar" data-title="محمول (منطق)" data-language-autonym="العربية" data-language-local-name="árabe" class="interlanguage-link-target"><span>العربية</span></a></li><li class="interlanguage-link interwiki-be mw-list-item"><a href="https://be.wikipedia.org/wiki/%D0%9F%D1%80%D1%8D%D0%B4%D1%8B%D0%BA%D0%B0%D1%82" title="Прэдыкат – bielorruso" lang="be" hreflang="be" data-title="Прэдыкат" data-language-autonym="Беларуская" data-language-local-name="bielorruso" class="interlanguage-link-target"><span>Беларуская</span></a></li><li class="interlanguage-link interwiki-ckb mw-list-item"><a href="https://ckb.wikipedia.org/wiki/%DA%BE%DB%95%DA%B5%DA%AF%DB%8C%D8%B1%D8%A7%D9%88" title="ھەڵگیراو – kurdo sorani" lang="ckb" hreflang="ckb" data-title="ھەڵگیراو" data-language-autonym="کوردی" data-language-local-name="kurdo sorani" class="interlanguage-link-target"><span>کوردی</span></a></li><li class="interlanguage-link interwiki-cs mw-list-item"><a href="https://cs.wikipedia.org/wiki/Predik%C3%A1t_(logika)" title="Predikát (logika) – checo" lang="cs" hreflang="cs" data-title="Predikát (logika)" data-language-autonym="Čeština" data-language-local-name="checo" class="interlanguage-link-target"><span>Čeština</span></a></li><li class="interlanguage-link interwiki-de mw-list-item"><a href="https://de.wikipedia.org/wiki/Pr%C3%A4dikat_(Logik)" title="Prädikat (Logik) – alemán" lang="de" hreflang="de" data-title="Prädikat (Logik)" data-language-autonym="Deutsch" data-language-local-name="alemán" class="interlanguage-link-target"><span>Deutsch</span></a></li><li class="interlanguage-link interwiki-en mw-list-item"><a href="https://en.wikipedia.org/wiki/Predicate_(logic)" title="Predicate (logic) – inglés" lang="en" hreflang="en" data-title="Predicate (logic)" data-language-autonym="English" data-language-local-name="inglés" 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/Predikato_(logiko)" title="Predikato (logiko) – esperanto" lang="eo" hreflang="eo" data-title="Predikato (logiko)" data-language-autonym="Esperanto" data-language-local-name="esperanto" class="interlanguage-link-target"><span>Esperanto</span></a></li><li class="interlanguage-link interwiki-et mw-list-item"><a href="https://et.wikipedia.org/wiki/Predikaat" title="Predikaat – estonio" lang="et" hreflang="et" data-title="Predikaat" data-language-autonym="Eesti" data-language-local-name="estonio" class="interlanguage-link-target"><span>Eesti</span></a></li><li class="interlanguage-link interwiki-fa mw-list-item"><a href="https://fa.wikipedia.org/wiki/%D9%85%D8%AD%D9%85%D9%88%D9%84" title="محمول – persa" lang="fa" hreflang="fa" data-title="محمول" data-language-autonym="فارسی" data-language-local-name="persa" class="interlanguage-link-target"><span>فارسی</span></a></li><li class="interlanguage-link interwiki-fi mw-list-item"><a href="https://fi.wikipedia.org/wiki/Predikaatti_(logiikka)" title="Predikaatti (logiikka) – finés" lang="fi" hreflang="fi" data-title="Predikaatti (logiikka)" data-language-autonym="Suomi" data-language-local-name="finés" 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/Pr%C3%A9dicat_(logique_math%C3%A9matique)" title="Prédicat (logique mathématique) – francés" lang="fr" hreflang="fr" data-title="Prédicat (logique mathématique)" data-language-autonym="Français" data-language-local-name="francés" class="interlanguage-link-target"><span>Français</span></a></li><li class="interlanguage-link interwiki-he mw-list-item"><a href="https://he.wikipedia.org/wiki/%D7%A4%D7%A8%D7%93%D7%99%D7%A7%D7%98_(%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="פרדיקט (לוגיקה מתמטית) – hebreo" lang="he" hreflang="he" data-title="פרדיקט (לוגיקה מתמטית)" data-language-autonym="עברית" data-language-local-name="hebreo" class="interlanguage-link-target"><span>עברית</span></a></li><li class="interlanguage-link interwiki-hy mw-list-item"><a href="https://hy.wikipedia.org/wiki/%D5%8A%D6%80%D5%A5%D5%A4%D5%AB%D5%AF%D5%A1%D5%BF" title="Պրեդիկատ – armenio" lang="hy" hreflang="hy" data-title="Պրեդիկատ" data-language-autonym="Հայերեն" data-language-local-name="armenio" class="interlanguage-link-target"><span>Հայերեն</span></a></li><li class="interlanguage-link interwiki-io mw-list-item"><a href="https://io.wikipedia.org/wiki/Predikato_(matematikala_logiko)" title="Predikato (matematikala logiko) – ido" lang="io" hreflang="io" data-title="Predikato (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-it mw-list-item"><a href="https://it.wikipedia.org/wiki/Predicato_(logica)" title="Predicato (logica) – italiano" lang="it" hreflang="it" data-title="Predicato (logica)" data-language-autonym="Italiano" data-language-local-name="italiano" class="interlanguage-link-target"><span>Italiano</span></a></li><li class="interlanguage-link interwiki-kaa mw-list-item"><a href="https://kaa.wikipedia.org/wiki/Predikat" title="Predikat – karakalpako" lang="kaa" hreflang="kaa" data-title="Predikat" data-language-autonym="Qaraqalpaqsha" data-language-local-name="karakalpako" class="interlanguage-link-target"><span>Qaraqalpaqsha</span></a></li><li class="interlanguage-link interwiki-kk mw-list-item"><a href="https://kk.wikipedia.org/wiki/%D0%9F%D1%80%D0%B5%D0%B4%D0%B8%D0%BA%D0%B0%D1%82" title="Предикат – kazajo" lang="kk" hreflang="kk" data-title="Предикат" data-language-autonym="Қазақша" data-language-local-name="kazajo" 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%9F%D1%80%D0%B5%D0%B4%D0%B8%D0%BA%D0%B0%D1%82" title="Предикат – kirguís" lang="ky" hreflang="ky" data-title="Предикат" data-language-autonym="Кыргызча" data-language-local-name="kirguís" class="interlanguage-link-target"><span>Кыргызча</span></a></li><li class="interlanguage-link interwiki-mk mw-list-item"><a href="https://mk.wikipedia.org/wiki/%D0%9F%D1%80%D0%B5%D0%B4%D0%B8%D0%BA%D0%B0%D1%82" title="Предикат – macedonio" lang="mk" hreflang="mk" data-title="Предикат" data-language-autonym="Македонски" data-language-local-name="macedonio" class="interlanguage-link-target"><span>Македонски</span></a></li><li class="interlanguage-link interwiki-pl mw-list-item"><a href="https://pl.wikipedia.org/wiki/Predykat" title="Predykat – polaco" lang="pl" hreflang="pl" data-title="Predykat" data-language-autonym="Polski" data-language-local-name="polaco" class="interlanguage-link-target"><span>Polski</span></a></li><li class="interlanguage-link interwiki-pt mw-list-item"><a href="https://pt.wikipedia.org/wiki/Predicado_(l%C3%B3gica_matem%C3%A1tica)" title="Predicado (lógica matemática) – portugués" lang="pt" hreflang="pt" data-title="Predicado (lógica matemática)" data-language-autonym="Português" data-language-local-name="portugués" class="interlanguage-link-target"><span>Português</span></a></li><li class="interlanguage-link interwiki-ru mw-list-item"><a href="https://ru.wikipedia.org/wiki/%D0%9F%D1%80%D0%B5%D0%B4%D0%B8%D0%BA%D0%B0%D1%82" title="Предикат – ruso" lang="ru" hreflang="ru" data-title="Предикат" data-language-autonym="Русский" data-language-local-name="ruso" class="interlanguage-link-target"><span>Русский</span></a></li><li class="interlanguage-link interwiki-sk mw-list-item"><a href="https://sk.wikipedia.org/wiki/Predik%C3%A1t_(logika)" title="Predikát (logika) – eslovaco" lang="sk" hreflang="sk" data-title="Predikát (logika)" data-language-autonym="Slovenčina" data-language-local-name="eslovaco" class="interlanguage-link-target"><span>Slovenčina</span></a></li><li class="interlanguage-link interwiki-sr mw-list-item"><a href="https://sr.wikipedia.org/wiki/%D0%98%D1%81%D0%BA%D0%B0%D0%B7_(%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0)" title="Исказ (логика) – serbio" lang="sr" hreflang="sr" data-title="Исказ (логика)" data-language-autonym="Српски / srpski" data-language-local-name="serbio" class="interlanguage-link-target"><span>Српски / srpski</span></a></li><li class="interlanguage-link interwiki-uk mw-list-item"><a href="https://uk.wikipedia.org/wiki/%D0%9F%D1%80%D0%B5%D0%B4%D0%B8%D0%BA%D0%B0%D1%82" title="Предикат – ucraniano" lang="uk" hreflang="uk" data-title="Предикат" data-language-autonym="Українська" data-language-local-name="ucraniano" 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/Q1144319#sitelinks-wikipedia" title="Editar enlaces interlingüísticos" class="wbc-editpage">Editar enlaces</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="Espacios de nombres"> <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/Predicado_(l%C3%B3gica)" title="Ver la página de contenido [c]" accesskey="c"><span>Artículo</span></a></li><li id="ca-talk" class="vector-tab-noicon mw-list-item"><a href="/wiki/Discusi%C3%B3n:Predicado_(l%C3%B3gica)" rel="discussion" title="Discusión acerca de la página [t]" accesskey="t"><span>Discusión</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="Cambiar variante de idioma" > <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">español</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="Vistas"> <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/Predicado_(l%C3%B3gica)"><span>Leer</span></a></li><li id="ca-edit" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Predicado_(l%C3%B3gica)&action=edit" title="Editar esta página [e]" accesskey="e"><span>Editar</span></a></li><li id="ca-history" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Predicado_(l%C3%B3gica)&action=history" title="Versiones anteriores de esta página [h]" accesskey="h"><span>Ver historial</span></a></li> </ul> </div> </div> </nav> <nav class="vector-page-tools-landmark" aria-label="Página de herramientas"> <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="Herramientas" > <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">Herramientas</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">Herramientas</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-page-tools.pin">mover a la barra lateral</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-page-tools.unpin">ocultar</button> </div> <div id="p-cactions" class="vector-menu mw-portlet mw-portlet-cactions emptyPortlet vector-has-collapsible-items" title="Más opciones" > <div class="vector-menu-heading"> Acciones </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/Predicado_(l%C3%B3gica)"><span>Leer</span></a></li><li id="ca-more-edit" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Predicado_(l%C3%B3gica)&action=edit" title="Editar esta página [e]" accesskey="e"><span>Editar</span></a></li><li id="ca-more-history" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Predicado_(l%C3%B3gica)&action=history"><span>Ver historial</span></a></li> </ul> </div> </div> <div id="p-tb" class="vector-menu mw-portlet mw-portlet-tb" > <div class="vector-menu-heading"> General </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="t-whatlinkshere" class="mw-list-item"><a href="/wiki/Especial:LoQueEnlazaAqu%C3%AD/Predicado_(l%C3%B3gica)" title="Lista de todas las páginas de la wiki que enlazan aquí [j]" accesskey="j"><span>Lo que enlaza aquí</span></a></li><li id="t-recentchangeslinked" class="mw-list-item"><a href="/wiki/Especial:CambiosEnEnlazadas/Predicado_(l%C3%B3gica)" rel="nofollow" title="Cambios recientes en las páginas que enlazan con esta [k]" accesskey="k"><span>Cambios en enlazadas</span></a></li><li id="t-upload" class="mw-list-item"><a href="//commons.wikimedia.org/wiki/Special:UploadWizard?uselang=es" title="Subir archivos [u]" accesskey="u"><span>Subir archivo</span></a></li><li id="t-permalink" class="mw-list-item"><a href="/w/index.php?title=Predicado_(l%C3%B3gica)&oldid=161152321" title="Enlace permanente a esta versión de la página"><span>Enlace permanente</span></a></li><li id="t-info" class="mw-list-item"><a href="/w/index.php?title=Predicado_(l%C3%B3gica)&action=info" title="Más información sobre esta página"><span>Información de la página</span></a></li><li id="t-cite" class="mw-list-item"><a href="/w/index.php?title=Especial:Citar&page=Predicado_%28l%C3%B3gica%29&id=161152321&wpFormIdentifier=titleform" title="Información sobre cómo citar esta página"><span>Citar esta página</span></a></li><li id="t-urlshortener" class="mw-list-item"><a href="/w/index.php?title=Especial:Acortador_de_URL&url=https%3A%2F%2Fes.wikipedia.org%2Fwiki%2FPredicado_%28l%25C3%25B3gica%29"><span>Obtener URL acortado</span></a></li><li id="t-urlshortener-qrcode" class="mw-list-item"><a href="/w/index.php?title=Especial:QrCode&url=https%3A%2F%2Fes.wikipedia.org%2Fwiki%2FPredicado_%28l%25C3%25B3gica%29"><span>Descargar código 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"> Imprimir/exportar </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=Especial:Libro&bookcmd=book_creator&referer=Predicado+%28l%C3%B3gica%29"><span>Crear un libro</span></a></li><li id="coll-download-as-rl" class="mw-list-item"><a href="/w/index.php?title=Especial:DownloadAsPdf&page=Predicado_%28l%C3%B3gica%29&action=show-download-screen"><span>Descargar como PDF</span></a></li><li id="t-print" class="mw-list-item"><a href="/w/index.php?title=Predicado_(l%C3%B3gica)&printable=yes" title="Versión imprimible de esta página [p]" accesskey="p"><span>Versión para imprimir</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"> En otros proyectos </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="t-wikibase" class="wb-otherproject-link wb-otherproject-wikibase-dataitem mw-list-item"><a href="https://www.wikidata.org/wiki/Special:EntityPage/Q1144319" title="Enlace al elemento conectado del repositorio de datos [g]" accesskey="g"><span>Elemento de 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="Página de herramientas"> <div id="vector-page-tools-pinned-container" class="vector-pinned-container"> </div> </nav> <nav class="vector-appearance-landmark" aria-label="Apariencia"> <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">Apariencia</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-appearance.pin">mover a la barra lateral</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-appearance.unpin">ocultar</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">De Wikipedia, la enciclopedia libre</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="es" dir="ltr"><p>En <a href="/wiki/L%C3%B3gica" title="Lógica">lógica</a>, existen muchas concepciones diferentes de la noción de <b>predicado</b> según el contexto y la tradición. </p> <meta property="mw:PageProp/toc" /> <div class="mw-heading mw-heading2"><h2 id="Lógica_tradicional"><span id="L.C3.B3gica_tradicional"></span>Lógica tradicional</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Predicado_(l%C3%B3gica)&action=edit&section=1" title="Editar sección: Lógica tradicional"><span>editar</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>En lógica tradicional el predicado es uno de los <a href="/wiki/Juicio_de_t%C3%A9rminos" title="Juicio de términos">términos</a> que constituyen el <a href="/wiki/Juicio_(pensamiento)" title="Juicio (pensamiento)">juicio</a>, considerado como la “unión o separación” entre dos términos, término Sujeto (S) y término Predicado (P) de una <a href="/wiki/Proposici%C3%B3n" title="Proposición">proposición lógica</a> de la forma 'S' es 'P', sobre la que se expresa, o puede expresarse, un <a href="/wiki/Enunciado" title="Enunciado">enunciado</a> lingüístico en la forma de una <a href="/wiki/Oraci%C3%B3n_(gram%C3%A1tica)" title="Oración (gramática)">oración gramatical</a>. </p><p>'S' es el nombre del sujeto. El predicado 'P' es el <a href="/wiki/Nombre" title="Nombre">nombre</a> de cualquier predicado que conviene o no conviene al sujeto, manifestando la <a href="/wiki/Identidad_(filosof%C3%ADa)" title="Identidad (filosofía)">identidad</a> del sujeto como ser mediante las notas o <a href="/wiki/Propiedad_(l%C3%B3gica)" title="Propiedad (lógica)">propiedades</a> que le constituyen. </p><p>En el juicio se concibe la <a href="/wiki/Verdad" title="Verdad">verdad</a> del <a href="/wiki/Conocimiento" title="Conocimiento">conocimiento</a>.<sup id="cite_ref-1" class="reference separada"><a href="#cite_note-1"><span class="corchete-llamada">[</span>1<span class="corchete-llamada">]</span></a></sup> La expresión lingüística como lenguaje <a href="/wiki/Ap%C3%B3fansis" title="Apófansis">apofántico</a> según Aristóteles, manifiesta y significa en último término la realidad del ser del sujeto sostenida en último término por la <a href="/wiki/Sustancia" class="mw-disambig" title="Sustancia">sustancia</a> como sujeto, y al que convienen sus predicados en la manifestación de su <a href="/wiki/Identidad_(filosof%C3%ADa)" title="Identidad (filosofía)">identidad</a> como ser donde no puede haber <a href="/wiki/Principio_de_no_contradicci%C3%B3n" title="Principio de no contradicción">contradicción</a>. El juicio manifiesta la verdad del ser del sujeto. </p><p>La consideración de los términos del predicado admiten varios contenidos según la extensión y comprensión del uso del término.<sup id="cite_ref-2" class="reference separada"><a href="#cite_note-2"><span class="corchete-llamada">[</span>2<span class="corchete-llamada">]</span></a></sup> </p><p>En las proposiciones afirmativas el predicado tiene una extensión particular, es un término no-distribuido, cuya referencia son algunos individuos concretos de los que están incluidos en el término. En las negativas tiene una extensión universal, como término distribuido, cuya referencia son todos los individuos incluidos en el término. </p><p>En cuanto a la comprensión, o notas que constituyen el contenido del término, en las afirmativas el predicado puede ser tomado “totalmente” en las afirmativas y “parcialmente” en las negativas. </p><p><a href="/wiki/Francisco_Romero_(fil%C3%B3sofo)" title="Francisco Romero (filósofo)">Francisco Romero</a> siguiendo la clasificación de los juicios según su contenido hace la siguiente “división según el alcance y sentido de la predicación”:<sup id="cite_ref-Ferrater_Mora_1_3-0" class="reference separada"><a href="#cite_note-Ferrater_Mora_1-3"><span class="corchete-llamada">[</span>3<span class="corchete-llamada">]</span></a></sup> </p><p>1.-La predicación se refiere a algo residente en el objeto: </p> <ul><li><ul><li><b>Juicios determinativos</b> o juicios que enuncian la esencia del objeto-sujeto, respondiendo a la pregunta: “¿Qué es esto?”</li> <li><b>Juicios atributivos</b> que responden a la pregunta: “¿Cómo es esto?”</li> <li><b>Juicios de ser</b>, en los cuales el predicado enuncia la categoría objetiva a la que pertenece el objeto-sujeto.</li></ul></li></ul> <p>2.- La predicación afirma una relación que va más allá del objeto-sujeto: </p> <ul><li><ul><li><b>Juicios de comparación</b> en los que se compara el objeto-sujeto con otros</li> <li><b>Juicios de pertenencia</b> en los que se afirma o niega una relación de pertenencia entre el objeto-sujeto y otros.</li> <li><b>Juicios de dependencia</b> en los que se afirma que el objeto-sujeto depende en algún modo de otros.</li> <li><b>Juicios intencionales</b> en los que se enuncia que el objeto-sujeto recibe una intención de otro objeto.</li></ul></li></ul> <p>En la filosofía tradicional no se tiene en cuenta la cuantificación del predicado. Algunos autores antiguos consideraron el tema, como <a href="/wiki/Ammonio_Saccas" class="mw-redirect" title="Ammonio Saccas">Ammonio Saccas</a>, pero fue rechazada por <a href="/wiki/Santo_Tom%C3%A1s_de_Aquino" class="mw-redirect" title="Santo Tomás de Aquino">Santo Tomás de Aquino</a> y <a href="/wiki/Juan_Gerson" title="Juan Gerson">Juan Gerson</a> entre otros. </p><p>Modernamente ha sido tenida en cuenta por <a href="/wiki/Jeremy_Bentham" title="Jeremy Bentham">Jeremy Bentham</a>, <a href="/wiki/Augustus_De_Morgan" title="Augustus De Morgan">Augustus De Morgan</a> y rechazada por <a href="/wiki/John_Stuart_Mill" title="John Stuart Mill">John Stuart Mill</a> y otros. </p><p>No obstante, <a href="/wiki/William_Rowan_Hamilton" title="William Rowan Hamilton">W. Hamilton</a> considera que los predicados deben ser cuantificados expresamente. Según este criterio la clásica consideración de las proposiciones lógicas A, E, I, O son insuficientes, proponiendo la siguiente: </p> <ul><li><b>Proposiciones toto-totales</b>: <ul><li>Todo S es todo P</li> <li>Ningún S es ningún P</li></ul></li> <li><b>Proposiciones toto-parciales</b>: <ul><li>Todo S es algún P</li> <li>Ningún S es algún P</li></ul></li> <li><b>Proposiciones parti-totales</b>: <ul><li>Algún S es todo P</li> <li>Algún S no es ningún P</li></ul></li> <li><b>Proposiciones parti-parciales</b>: <ul><li>Algún S es algún P</li> <li>Algún S no es algún P</li></ul></li></ul> <div class="mw-heading mw-heading2"><h2 id="Lógica_aristotélica"><span id="L.C3.B3gica_aristot.C3.A9lica"></span>Lógica aristotélica</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Predicado_(l%C3%B3gica)&action=edit&section=2" title="Editar sección: Lógica aristotélica"><span>editar</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>En <a href="/wiki/L%C3%B3gica_aristot%C3%A9lica" title="Lógica aristotélica">lógica aristotélica</a>, junto con el <a href="/wiki/Sujeto_(filosof%C3%ADa)" title="Sujeto (filosofía)">sujeto</a>, el predicado constituye la materia de la <a href="/wiki/Proposici%C3%B3n_l%C3%B3gica" class="mw-redirect" title="Proposición lógica">proposición lógica</a> como <a href="/wiki/Juicio_de_t%C3%A9rminos" title="Juicio de términos">juicio de términos</a>. </p><p>El predicado es el contenido de lo que se <a href="/wiki/Enunciado" title="Enunciado">enuncia</a> como manifestación del ser del sujeto, como <a href="/wiki/Identidad_(filosof%C3%ADa)" title="Identidad (filosofía)">identidad</a> de su ser´. </p><p>Tanto el sujeto como el predicado son considerados como contenidos <a href="/wiki/Concepto" title="Concepto">conceptuales</a> expresados en palabras de una lengua como términos lógicos. Por eso la forma proposicional lógica en la lógica clásica es considerada como <a href="/wiki/Juicio_de_t%C3%A9rminos" title="Juicio de términos">juicio de términos</a>.<sup id="cite_ref-4" class="reference separada"><a href="#cite_note-4"><span class="corchete-llamada">[</span>4<span class="corchete-llamada">]</span></a></sup> </p><p>Pero la lógica aristotélica considera los conceptos como “reales” en el sentido que tienen un fundamento en la realidad en cuanto tal.<sup id="cite_ref-5" class="reference separada"><a href="#cite_note-5"><span class="corchete-llamada">[</span>5<span class="corchete-llamada">]</span></a></sup> El predicado realiza una auténtica predicación del ser del sujeto pues, elaborado como concepto <a href="/wiki/Intuici%C3%B3n" title="Intuición">intuido</a> en el conocimiento de <a href="/wiki/Lo_real" title="Lo real">lo real</a> a partir del conocimiento de la <a href="/wiki/Realidad" title="Realidad">realidad</a> del sujeto, está expresando la <a href="/wiki/Identidad_(filosof%C3%ADa)" title="Identidad (filosofía)">identidad</a> del mismo como ser en el que no cabe contradicción. Es pues una predicación lógica (del pensamiento) sin dejar de ser auténtica manifestación de la <a href="/wiki/Realidad" title="Realidad">realidad</a> como <a href="/wiki/Verdad" title="Verdad">verdad</a>. La lógica tradicional aristotélica por esto mantiene una relación de contenido referente al ser. Aun siendo formal, no es formalista.<sup id="cite_ref-6" class="reference separada"><a href="#cite_note-6"><span class="corchete-llamada">[</span>6<span class="corchete-llamada">]</span></a></sup> </p><p>Los escolásticos siguiendo esta doctrina aristotélica consideran que <i>verum</i> (verdadero), lo mismo que <i>unum</i> (uno-identidad) y <i>bonum</i> (bien-bueno), es una <a href="/wiki/Propiedad_(l%C3%B3gica)" title="Propiedad (lógica)">propiedad</a> trascendental del <a href="/wiki/Ente" class="mw-redirect" title="Ente">ente</a>, es decir, de todo ente. El <a href="/wiki/Conocimiento" title="Conocimiento">conocimiento</a> <a href="/wiki/Verdad" title="Verdad">verdadero</a> supone la <b>verdad ontológica</b> como conocimiento <b><a href="/wiki/Metaf%C3%ADsica" title="Metafísica">metafísico</a></b>. </p> <div class="mw-heading mw-heading2"><h2 id="Edad_Moderna">Edad Moderna</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Predicado_(l%C3%B3gica)&action=edit&section=3" title="Editar sección: Edad Moderna"><span>editar</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>En la Edad Moderna los racionalistas de <a href="/wiki/L%C3%B3gica_de_Port_Royal" class="mw-redirect" title="Lógica de Port Royal">Port Royal</a> consideraron el Predicado de una forma diferente a como hasta entonces había sido considerada la lógica aristotélica. Bajo el punto de vista meramente lógico-formal este cambio de consideración no supuso cambios en la formalidad lógica; pero supone una forma diferente de concebir el conocimiento del ser y de la verdad con respecto a Aristóteles y la tradición hasta entonces. </p><p>Consideraron el término predicado (P) como un <a href="/wiki/Atributo_(filosof%C3%ADa)" title="Atributo (filosofía)">atributo</a> del sujeto (S) y la proposición lógica se enuncia mediante una oración gramatical <a href="/wiki/Oraci%C3%B3n_copulativa" title="Oración copulativa">copulativa</a>, donde el verbo ser realiza la unión del término sujeto con el término predicado siendo ambos <a href="/wiki/Realidad" title="Realidad">realidades</a> diferentes, puesto que, tanto S como P <b>son <a href="/wiki/Idea" title="Idea">ideas</a> diferentes</b>.<sup id="cite_ref-7" class="reference separada"><a href="#cite_note-7"><span class="corchete-llamada">[</span>7<span class="corchete-llamada">]</span></a></sup> </p><p>El predicado, por tanto, es considerado en sí mismo, como <a href="/wiki/Atributo_(filosof%C3%ADa)" title="Atributo (filosofía)">atributo</a>; como <a href="/wiki/Entidad" title="Entidad">entidad</a> independiente del sujeto.<sup id="cite_ref-8" class="reference separada"><a href="#cite_note-8"><span class="corchete-llamada">[</span>8<span class="corchete-llamada">]</span></a></sup> El juicio, entonces, manifiesta la unión o separación de dos <a href="/wiki/Idea" title="Idea">ideas</a> que se unen mediante la cópula del verbo ser. Tal unión, fruto del <a href="/wiki/Metodolog%C3%ADa" title="Metodología">análisis científico o filosófico</a> o de la <a href="/wiki/Experiencia" title="Experiencia">experiencia</a>, tienen un contenido de realidad problemática.<sup id="cite_ref-9" class="reference separada"><a href="#cite_note-9"><span class="corchete-llamada">[</span>9<span class="corchete-llamada">]</span></a></sup> </p><p>La consideración del predicado como atributo hizo posible para algunos idealistas en la línea más hegeliana, <a href="/wiki/Francis_Herbert_Bradley" title="Francis Herbert Bradley">Francis Herbert Bradley</a>, considerar el predicado como una parte de la realidad como <a href="/wiki/Propiedad_(l%C3%B3gica)" title="Propiedad (lógica)">propiedad</a> de <a href="/wiki/Lo_real" title="Lo real">lo real</a> expresada en el juicio.<sup id="cite_ref-Ferrater_Mora_1_3-1" class="reference separada"><a href="#cite_note-Ferrater_Mora_1-3"><span class="corchete-llamada">[</span>3<span class="corchete-llamada">]</span></a></sup><sup id="cite_ref-10" class="reference separada"><a href="#cite_note-10"><span class="corchete-llamada">[</span>10<span class="corchete-llamada">]</span></a></sup> </p> <div class="mw-heading mw-heading2"><h2 id="Lógica_de_Port-Royal"><span id="L.C3.B3gica_de_Port-Royal"></span>Lógica de Port-Royal</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Predicado_(l%C3%B3gica)&action=edit&section=4" title="Editar sección: Lógica de Port-Royal"><span>editar</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>La lógica del predicado como atribución supone la concepción de dos entidades independientes, el sujeto y el predicado. Es una relación <a href="/wiki/Ontolog%C3%ADa" title="Ontología">ontológica</a>.<sup id="cite_ref-Ferrater_Mora_1_3-2" class="reference separada"><a href="#cite_note-Ferrater_Mora_1-3"><span class="corchete-llamada">[</span>3<span class="corchete-llamada">]</span></a></sup> Cómo se entienda dicha relación constituye un pensamiento muy diferente a partir del momento en que, en la Edad Moderna, las ideas son considerados como “contenidos de conciencia”: </p><p>Para los <a href="/wiki/Racionalistas" class="mw-redirect" title="Racionalistas">racionalistas</a> las ideas son (en las debidas condiciones de <a href="/wiki/Experiencia" title="Experiencia">experiencia</a> o mediante el <a href="/wiki/Metodolog%C3%ADa" title="Metodología">análisis</a>) <a href="/wiki/Verdad" title="Verdad">verdaderas</a>, en tanto que puedan ser <i>claras y distintas</i> y por tanto <a href="/wiki/Evidencia_(filosof%C3%ADa)" class="mw-redirect" title="Evidencia (filosofía)">evidentes</a> como fiel reflejo de la realidad creada por Dios,<sup id="cite_ref-11" class="reference separada"><a href="#cite_note-11"><span class="corchete-llamada">[</span>11<span class="corchete-llamada">]</span></a></sup> quien ha dotado al alma de “<a href="/wiki/Ideas_innatas" class="mw-redirect" title="Ideas innatas">ideas innatas</a>” como principios del pensar que hacen posible la propia idea de Dios como ser Perfecto y existente. </p><p>La <a href="/wiki/Existencia" title="Existencia">existencia</a>, por ejemplo, es considerada como un atributo de la <a href="/wiki/Esencia" title="Esencia">esencia</a>.<sup id="cite_ref-12" class="reference separada"><a href="#cite_note-12"><span class="corchete-llamada">[</span>12<span class="corchete-llamada">]</span></a></sup> Se justifica así la versión racionalista moderna del <a href="/wiki/Argumento_ontol%C3%B3gico" title="Argumento ontológico">argumento ontológico</a> medieval de San Anselmo, por ser Dios el único ser cuya esencia exige como atributo de perfección la existencia. El predicado, por lo tanto, sigue manteniendo una verdadera predicación del sujeto por lo que, formalmente, no supuso un cambio en la lógica aristotélica. Sí, en cambio en la significación de los contenidos del <a href="/wiki/Conocimiento" title="Conocimiento">conocimiento</a> y de la <a href="/wiki/Verdad" title="Verdad">verdad</a>. </p><p>Para los <a href="/wiki/Empiristas" class="mw-redirect" title="Empiristas">empiristas</a> la atribución lógica encuentra su fundamento en la <a href="/wiki/Asociacionismo" title="Asociacionismo">asociación</a> psicológica de ideas en el alma, sin garantía de existencia de tales ideas más allá de la propia experiencia. El ejemplo más típico de esta doctrina se encuentra en <a href="/wiki/Etienne_Bonnot_de_Condillac" class="mw-redirect" title="Etienne Bonnot de Condillac">Etienne Bonnot de Condillac</a>. </p><p>Por ello, manteniendo la formalidad de la lógica aristotélica, el contenido del conocimiento y su sentido metafísico como verdad es completamente diferente de los racionalistas y aristotélicos. </p> <div class="mw-heading mw-heading2"><h2 id="Lógica_matemática"><span id="L.C3.B3gica_matem.C3.A1tica"></span>Lógica matemática</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Predicado_(l%C3%B3gica)&action=edit&section=5" title="Editar sección: Lógica matemática"><span>editar</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>En <a href="/wiki/L%C3%B3gica_matem%C3%A1tica" title="Lógica matemática">lógica matemática</a>, un <b>predicado</b> es una función del conjunto de la <a href="/wiki/Constante_l%C3%B3gica" title="Constante lógica">constante</a> al conjunto de las <a href="/wiki/Proposiciones" class="mw-redirect" title="Proposiciones">proposiciones</a> lógicamente interpretables (en el sentido de la lógica proposicional); igualmente un predicado se puede concebir como una función del conjunto de los cuantificadores al conjunto de predicados de la lógica proposicional: </p><p>La <a href="/wiki/L%C3%B3gica_de_primer_orden" title="Lógica de primer orden">lógica de primer orden</a> generaliza a la <a href="/wiki/L%C3%B3gica_proposicional" title="Lógica proposicional">lógica proposicional</a> precisamente en que su formalismo puede tratar <a href="/wiki/Cuantificador" title="Cuantificador">cuantificadores</a> de <a href="/wiki/Variable_proposicional" title="Variable proposicional">variables</a> como predicados. La <a href="/wiki/L%C3%B3gica_de_segundo_orden" title="Lógica de segundo orden">lógica de segundo orden</a> permite además cuantificadores sobre predicados, además de cuantificadores sobre variables. </p><p>A veces es difícil o imposible enumerar un <a href="/wiki/Conjunto" title="Conjunto">conjunto</a> mencionando todos y cada uno de sus <a href="/wiki/Elemento_de_un_conjunto" title="Elemento de un conjunto">elementos</a>. Una manera útil de trabajar consiste en especificar dicho conjunto mediante una <a href="/wiki/Propiedad_(l%C3%B3gica)" title="Propiedad (lógica)">propiedad</a> que todos los elementos del conjunto tengan en <a href="/wiki/Relaci%C3%B3n_de_equivalencia" title="Relación de equivalencia">común</a>. </p><p>La notación <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 \scriptstyle P(x)}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mstyle displaystyle="false" scriptlevel="1"> <mi>P</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mstyle> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \scriptstyle P(x)}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/8efbc6c3b83b41c597cfa6ef49d3af2c7df72476" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:3.454ex; height:2.176ex;" alt="{\displaystyle \scriptstyle P(x)}" /></span> se usa para denotar la afirmación de que <i>x tiene la propiedad P</i> (el nombre predicado se justifica porque muchos <a href="/wiki/Predicado_(gram%C3%A1tica)" title="Predicado (gramática)">predicados gramaticales</a> del lenguaje ordinario son representables tienen propiedades lógicas similares a lo predicados de la lógica matemática). Así un cierto conjunto puede ser presentado por la notación: </p> <blockquote style="padding: 5px 10px; background-color: var(--background-color-base, #fff); color: var(--color-base, #202122); text-align: left; margin-left:30px; margin-bottom: 0.4em; margin-top:0.2em; min-width:50%;"> <p><span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle C=\{x|\ P(x)\}\,}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>C</mi> <mo>=</mo> <mo fence="false" stretchy="false">{</mo> <mi>x</mi> <mrow class="MJX-TeXAtom-ORD"> <mo stretchy="false">|</mo> </mrow> <mtext> </mtext> <mi>P</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo fence="false" stretchy="false">}</mo> <mspace width="thinmathspace"></mspace> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle C=\{x|\ P(x)\}\,}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/3c5866f50e5c712763fe2cb2122ff2d16feea759" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:15.018ex; height:2.843ex;" alt="{\displaystyle C=\{x|\ P(x)\}\,}" /></span> </p> </blockquote> <p>que se lee como «C está formado por todos los x tales que P(x)» o dicho de otra manera el conjunto de elementos que tienen cierta propiedad. Por ejemplo: </p> <blockquote style="padding: 5px 10px; background-color: var(--background-color-base, #fff); color: var(--color-base, #202122); text-align: left; margin-left:30px; margin-bottom: 0.4em; margin-top:0.2em; min-width:50%;"> <p><span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle C_{1}=\{x|\ (x\in \mathbb {N} )\land (x<4)\}=\{1,2,3\}}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <msub> <mi>C</mi> <mrow class="MJX-TeXAtom-ORD"> <mn>1</mn> </mrow> </msub> <mo>=</mo> <mo fence="false" stretchy="false">{</mo> <mi>x</mi> <mrow class="MJX-TeXAtom-ORD"> <mo stretchy="false">|</mo> </mrow> <mtext> </mtext> <mo stretchy="false">(</mo> <mi>x</mi> <mo>∈</mo> <mrow class="MJX-TeXAtom-ORD"> <mi mathvariant="double-struck">N</mi> </mrow> <mo stretchy="false">)</mo> <mo>∧</mo> <mo stretchy="false">(</mo> <mi>x</mi> <mo><</mo> <mn>4</mn> <mo stretchy="false">)</mo> <mo fence="false" stretchy="false">}</mo> <mo>=</mo> <mo fence="false" stretchy="false">{</mo> <mn>1</mn> <mo>,</mo> <mn>2</mn> <mo>,</mo> <mn>3</mn> <mo fence="false" stretchy="false">}</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle C_{1}=\{x|\ (x\in \mathbb {N} )\land (x<4)\}=\{1,2,3\}}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/b69987c7561562beb3a0db7e22e0b9880770824b" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:39.315ex; height:2.843ex;" alt="{\displaystyle C_{1}=\{x|\ (x\in \mathbb {N} )\land (x<4)\}=\{1,2,3\}}" /></span> </p> </blockquote> <p>El conjunto de los <a href="/wiki/N%C3%BAmero_natural" title="Número natural">números naturales</a> que son menores que cuatro, coincide con el conjunto que consta de los elementos 1, 2 y 3. </p><p>De lo anterior se sigue que cualquier elemento del conjunto <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 \scriptstyle \{x|\ P(x)\}}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mstyle displaystyle="false" scriptlevel="1"> <mo fence="false" stretchy="false">{</mo> <mi>x</mi> <mrow class="MJX-TeXAtom-ORD"> <mo stretchy="false">|</mo> </mrow> <mtext> </mtext> <mi>P</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo fence="false" stretchy="false">}</mo> </mstyle> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \scriptstyle \{x|\ P(x)\}}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/4f7cdcae0582e70863e6d7cf9d8dab23e78901f9" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:7.076ex; height:2.176ex;" alt="{\displaystyle \scriptstyle \{x|\ P(x)\}}" /></span> es un objeto matemático <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 \scriptstyle t}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mstyle displaystyle="false" scriptlevel="1"> <mi>t</mi> </mstyle> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \scriptstyle t}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/cdb2910bbfdfd61ced9d9519beb8f978af340d78" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:0.594ex; height:1.676ex;" alt="{\displaystyle \scriptstyle t}" /></span> para el cual la proposición <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 \scriptstyle P(t)}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mstyle displaystyle="false" scriptlevel="1"> <mi>P</mi> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mstyle> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \scriptstyle P(t)}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/fbd3534e4dca4f099439d9f951434973d836dd64" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:3.107ex; height:2.176ex;" alt="{\displaystyle \scriptstyle P(t)}" /></span> es cierta. </p><p>Igualmente el predicado <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 \scriptstyle P(\cdot )}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mstyle displaystyle="false" scriptlevel="1"> <mi>P</mi> <mo stretchy="false">(</mo> <mo>⋅</mo> <mo stretchy="false">)</mo> </mstyle> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \scriptstyle P(\cdot )}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/fb4290055c29652bfca09635402d32f11279c5c2" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.971ex; height:2.176ex;" alt="{\displaystyle \scriptstyle P(\cdot )}" /></span> puede interpretarse como una <b><a href="/wiki/Funci%C3%B3n_proposicional" title="Función proposicional">función proposicional</a></b> tal que para cada <a href="/wiki/Argumento" title="Argumento">argumento</a> de la misma en el dominio de <a href="/wiki/Definici%C3%B3n" title="Definición">definición</a> resulta el <a href="/wiki/Valor_de_verdad" title="Valor de verdad"><i>valor verdadero o falso</i></a> según lo sea la <a href="/wiki/Proposici%C3%B3n_(l%C3%B3gica)" class="mw-redirect" title="Proposición (lógica)">proposición (lógica)</a> en su referencia al mundo. </p><p>En <a href="/wiki/L%C3%B3gica_matem%C3%A1tica" title="Lógica matemática">lógica matemática</a> la forma en que se expresa la proposición lógica, en tanto que función predicativa es 'Fx' o 'Fa'. </p><p>'F' simboliza el <a href="/wiki/Nombre" title="Nombre">nombre</a> del <a href="/wiki/Predicado_(l%C3%B3gica_matem%C3%A1tica)" class="mw-redirect" title="Predicado (lógica matemática)">predicado</a>; 'x' o 'a' simbolizan una variable o una constante si el predicado es monádico, es decir, actúa sobre un único <a href="/wiki/Argumento" title="Argumento">argumento</a>. Se utilizan como variables, x, y, z, etc. en predicados poliádicos<sup id="cite_ref-13" class="reference separada"><a href="#cite_note-13"><span class="corchete-llamada">[</span>13<span class="corchete-llamada">]</span></a></sup> Pueden utilizarse asimismo otras letras de predicados G, H, G', H' etc. </p><p>Siendo F = ladrar; x = perro: <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 Fx=losperrosladran}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>F</mi> <mi>x</mi> <mo>=</mo> <mi>l</mi> <mi>o</mi> <mi>s</mi> <mi>p</mi> <mi>e</mi> <mi>r</mi> <mi>r</mi> <mi>o</mi> <mi>s</mi> <mi>l</mi> <mi>a</mi> <mi>d</mi> <mi>r</mi> <mi>a</mi> <mi>n</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle Fx=losperrosladran}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/7a9e221e742428ffe7a1f853a6a3df1395977dca" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:22.461ex; height:2.509ex;" alt="{\displaystyle Fx=losperrosladran}" /></span> </p><p>Siendo a = mi perro Uzo: <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 Fa=miperroUzoladra}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>F</mi> <mi>a</mi> <mo>=</mo> <mi>m</mi> <mi>i</mi> <mi>p</mi> <mi>e</mi> <mi>r</mi> <mi>r</mi> <mi>o</mi> <mi>U</mi> <mi>z</mi> <mi>o</mi> <mi>l</mi> <mi>a</mi> <mi>d</mi> <mi>r</mi> <mi>a</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle Fa=miperroUzoladra}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/64226ff41eb1db347fb4a380e0eedd6c406f0b35" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:23.806ex; height:2.509ex;" alt="{\displaystyle Fa=miperroUzoladra}" /></span> </p><p>La predicación se realiza mediante la <a href="/wiki/L%C3%B3gica_de_primer_orden" title="Lógica de primer orden">cuantificación</a>. En <a href="/wiki/L%C3%B3gica_de_primer_orden" title="Lógica de primer orden">lógica de primer orden</a> un predicado es un objeto básico del lenguaje de dicha lógica que puede representar tanto una propiedad como una relación entre entidades. </p><p>La lógica en que se cuantifican los argumentos es la <a href="/wiki/L%C3%B3gica_de_predicados" class="mw-redirect" title="Lógica de predicados">lógica de predicados</a> o lógica de primer orden, pues trata de individuos. La lógica que cuantifica los predicados es lógica de orden superior o <a href="/wiki/L%C3%B3gica_de_segundo_orden" title="Lógica de segundo orden">lógica de segundo orden</a>. </p><p>Consideremos el siguiente enunciado y su consideración como proposición lógica en la lógica tradicional y las diversas formas de consideración lógica del predicado en la lógica actual: </p><p>Sea el enunciado: “Si te encuentras un elefante, te encuentras un animal más grande que los leones”. </p><p>Su formalización lógica como proposición: “Los elefantes son más grandes que los leones” </p><p>Su formalización en la lógica matemática es la siguiente: </p> <table class="wikitable"> <caption>Conceptos de predicado lógico </caption> <tbody><tr> <td><a href="/wiki/L%C3%B3gica_aristot%C3%A9lica" title="Lógica aristotélica">Lógica aristotélica</a> </td> <td>Los elefantes <b>son seres que</b> son más grandes que los leones </td> <td>S es P </td></tr> <tr> <td><a href="/wiki/L%C3%B3gica_de_primer_orden" title="Lógica de primer orden">Lógica de primer orden</a> </td> <td>Para todo x tal que x es un elefante, entonces, x es mayor que los leones </td> <td><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 \bigwedge xPx}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mo>⋀</mo> <mi>x</mi> <mi>P</mi> <mi>x</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \bigwedge xPx}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/369488669a0b8c50676a9f5b214d66cfd7e05541" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.338ex; width:7.373ex; height:3.843ex;" alt="{\displaystyle \bigwedge xPx}" /></span> </td></tr> <tr> <td><a href="/wiki/L%C3%B3gica_de_segundo_orden" title="Lógica de segundo orden">Lógica de segundo orden</a> </td> <td>'Ser más grande que los leones' <b>se predica de</b> 'los elefantes' </td> <td><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 Px}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>P</mi> <mi>x</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle Px}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/1b0fcd371f6e060625201ee09ec67a08e9c31098" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:3.075ex; height:2.176ex;" alt="{\displaystyle Px}" /></span> </td></tr> <tr> <td><a href="/wiki/L%C3%B3gica_de_clases" title="Lógica de clases">Lógica de clases</a> </td> <td>La clase universal 'los elefantes' (S) <b>está contenida en</b> la clase de 'más grandes que los leones' (P) </td> <td><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 S\subset P}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>S</mi> <mo>⊂</mo> <mi>P</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle S\subset P}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/052855dba2959f7459757cc48ae171c02b025045" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:6.343ex; height:2.176ex;" alt="{\displaystyle S\subset P}" /></span> </td></tr> <tr> <td><a href="/wiki/L%C3%B3gica_de_relaciones" title="Lógica de relaciones">Lógica de relaciones</a> </td> <td>Los elefantes (a = elefantes) tienen una relación R (R = ser más grande que) de <b>ser más grandes que</b> los leones (b = leones) </td> <td><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 aRb}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>a</mi> <mi>R</mi> <mi>b</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle aRb}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/c8b0b52168739fd16b254298771ec07b900e5a6e" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:3.991ex; height:2.176ex;" alt="{\displaystyle aRb}" /></span> </td></tr></tbody></table> <div class="mw-heading mw-heading2"><h2 id="Lógica_actual"><span id="L.C3.B3gica_actual"></span>Lógica actual</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Predicado_(l%C3%B3gica)&action=edit&section=6" title="Editar sección: Lógica actual"><span>editar</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>En la lógica actual, un predicado es el <a href="/wiki/Nombre" title="Nombre">nombre</a> de un término que sigue a «es», al <a href="/wiki/Verbo" title="Verbo">verbo</a>. El predicado está constituido como «es P», siendo «S» el término que nombra al sujeto. </p> <div class="mw-heading mw-heading2"><h2 id="Semántica_formal"><span id="Sem.C3.A1ntica_formal"></span>Semántica formal</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Predicado_(l%C3%B3gica)&action=edit&section=7" title="Editar sección: Semántica formal"><span>editar</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>En <a href="/wiki/Sem%C3%A1ntica_formal" title="Semántica formal">semántica formal</a> un <b>predicado</b> es una expresión que define a un <a href="/wiki/Subconjunto" title="Subconjunto">subconjunto</a> de un conjunto, a saber, el subconjunto de los elementos del conjunto para los cuales el predicado es verdadero, y por tanto un predicado puede pensarse como una función característica o indicadora del subconjunto, es decir, que vale 1 para elementos del subconjunto y 0 para el resto de elementos. </p><p>Lo primero y ante todo un predicado es un <i>significado</i>, es decir, no es un <b><a href="/wiki/Individuo" title="Individuo">individuo</a></b>. ¿Qué realidad entonces es significada? Lo individual, en tanto que <a href="/wiki/Sustancia" class="mw-disambig" title="Sustancia">sustancia</a> es, precisamente, lo único que no puede ser predicado. </p><p>Bajo el punto de vista conceptual, como <a href="/wiki/Concepto" title="Concepto">concepto</a> expresado mediante términos lingüísticos, el predicado es una <a href="/wiki/Propiedad_(l%C3%B3gica)" title="Propiedad (lógica)">propiedad</a>. </p><p>La propiedad, en tanto que predicado del sujeto, plantea diversos problemas: </p><p>La tradicional distinción entre propiedades esenciales y accidentales, permanentes las primeras y transitorias las segundas, ha vuelto a suscitar en los últimos años la polémica realidad de las propiedades y su relación con el lenguaje como <a href="/wiki/Predicado_(l%C3%B3gica_matem%C3%A1tica)" class="mw-redirect" title="Predicado (lógica matemática)">predicados</a>. </p><p><a href="/wiki/Kripke" class="mw-redirect" title="Kripke">Kripke</a> sostiene la <a href="/wiki/Necesario" title="Necesario">necesidad</a> de ciertos <a href="/wiki/Predicado_(l%C3%B3gica_matem%C3%A1tica)" class="mw-redirect" title="Predicado (lógica matemática)">predicados</a> en una especie de <i>esencialismo</i> que concede realidad <a href="/wiki/Necesario" title="Necesario">necesaria</a> a algunos predicados frente a otros meramente <a href="/wiki/Contingente" title="Contingente">contingentes</a>. Hay por tanto <a href="/wiki/Verdad" title="Verdad">verdades</a> <i><a href="/wiki/A_posteriori" class="mw-redirect" title="A posteriori">a posteriori</a></i> que son necesarias en tanto que corresponden a una <a href="/wiki/Intuici%C3%B3n" title="Intuición">intuición</a> de <a href="/wiki/Realidad" title="Realidad">realidad</a> presente en la <a href="/wiki/Experiencia" title="Experiencia">experiencia</a>. </p><p>Sostiene que <i>ser x para x es en todos los casos una propiedad esencial de x</i>.<sup id="cite_ref-14" class="reference separada"><a href="#cite_note-14"><span class="corchete-llamada">[</span>14<span class="corchete-llamada">]</span></a></sup> <style data-mw-deduplicate="TemplateStyles:r161259348">.mw-parser-output .flexquote{display:flex;flex-direction:column;background-color:var(--background-color-neutral-subtle);color:var(--color-base);border-left:3px solid var(--border-color-base);font-size:90%;margin:1em 4em;padding:.4em .8em}.mw-parser-output .flexquote>.flex{display:flex;flex-direction:row}.mw-parser-output .flexquote>.flex>.quote{width:100%}.mw-parser-output .flexquote>.flex>.separator{border-left:1px solid var(--border-color-divider);border-top:1px solid var(--border-color-divider);margin:.4em .8em}.mw-parser-output .flexquote>.cite{text-align:right}@media all and (max-width:600px){.mw-parser-output .flexquote>.flex{flex-direction:column}}</style> </p> <blockquote class="flexquote"> <div class="flex"> <div class="quote">no hay un caso de esencia más obvio que el que el hecho de <i>ser un dolor</i> sea una propiedad esencial de cada dolor.</div> </div><div class="cite">Kripke. op. cit.</div> </blockquote> <p><a href="/wiki/Chomsky" class="mw-redirect" title="Chomsky">Chomsky</a> considera que tales argumentos intuitivos relativos a propiedades esenciales responden a las condiciones de nuestro sistema de comprensión y de lenguaje.<sup id="cite_ref-15" class="reference separada"><a href="#cite_note-15"><span class="corchete-llamada">[</span>15<span class="corchete-llamada">]</span></a></sup> <link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r161259348" /> </p> <blockquote class="flexquote"> <div class="flex"> <div class="quote">tienen que ver con la estructura de los sistemas de comprensión por el sentido común y por el lenguaje, no con propiedades esenciales de cosas consideradas con abstracción de nuestras caracterizaciones de las mismas en términos de esos sistemas de categorización y representación.</div> </div><div class="cite">Chomsky. op. cit.</div> </blockquote> <div class="mw-heading mw-heading2"><h2 id="Véase_también"><span id="V.C3.A9ase_tambi.C3.A9n"></span>Véase también</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Predicado_(l%C3%B3gica)&action=edit&section=8" title="Editar sección: Véase también"><span>editar</span></a><span class="mw-editsection-bracket">]</span></span></div> <ul><li><a href="/wiki/L%C3%B3gica_de_predicados" class="mw-redirect" title="Lógica de predicados">Lógica de predicados</a></li> <li><a href="/wiki/L%C3%B3gica_de_segundo_orden" title="Lógica de segundo orden">Lógica de segundo orden</a></li></ul> <div class="mw-heading mw-heading2"><h2 id="Notas_y_referencias">Notas y referencias</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Predicado_(l%C3%B3gica)&action=edit&section=9" title="Editar sección: Notas y referencias"><span>editar</span></a><span class="mw-editsection-bracket">]</span></span></div> <div class="listaref" style="list-style-type: decimal;"><ol class="references"> <li id="cite_note-1"><span class="mw-cite-backlink"><a href="#cite_ref-1">↑</a></span> <span class="reference-text">Hoy día el juicio tradicional se considera como <a href="/wiki/Creencia" title="Creencia">creencia</a> y se formula como <a href="/wiki/Proposici%C3%B3n" title="Proposición">proposición</a> lógica</span> </li> <li id="cite_note-2"><span class="mw-cite-backlink"><a href="#cite_ref-2">↑</a></span> <span class="reference-text">Ferranter Mora, op. cit.</span> </li> <li id="cite_note-Ferrater_Mora_1-3"><span class="mw-cite-backlink">↑ <a href="#cite_ref-Ferrater_Mora_1_3-0"><sup><i><b>a</b></i></sup></a> <a href="#cite_ref-Ferrater_Mora_1_3-1"><sup><i><b>b</b></i></sup></a> <a href="#cite_ref-Ferrater_Mora_1_3-2"><sup><i><b>c</b></i></sup></a></span> <span class="reference-text">Ferrater Mora, op. cit.</span> </li> <li id="cite_note-4"><span class="mw-cite-backlink"><a href="#cite_ref-4">↑</a></span> <span class="reference-text">El sujeto y el predicado lógico suele coincidir, pero no necesariamente, con el sujeto y predicado gramatical del enunciado que expresa la proposición lógica. Por ejemplo: “Si te encuentras un pez, te encuentras un ser que respira por branquias”; expresa la proposición lógica: “Todos los peces respiran por branquias”; el sujeto de la oración gramatical del lenguaje no tiene que ver con el sujeto de la proposición lógica.</span> </li> <li id="cite_note-5"><span class="mw-cite-backlink"><a href="#cite_ref-5">↑</a></span> <span class="reference-text">Es la metafísica de la “sustancia-atributo”. Ferrater Mora, op. cit. p. 2665</span> </li> <li id="cite_note-6"><span class="mw-cite-backlink"><a href="#cite_ref-6">↑</a></span> <span class="reference-text">Manuel Correia. Rev. filos. v.62 Santiago 2006.; Étienne Gilson (1944).|La Filosofía en la Edad Media; Eco (1977), Kant y el ornitorrinco. Cap. 1 "Sobre el ser" </span> </li> <li id="cite_note-7"><span class="mw-cite-backlink"><a href="#cite_ref-7">↑</a></span> <span class="reference-text">Idea entendida en el sentido moderno, que rompe definitivamente con la idea de contenido platónico que hasta entonces había tenido</span> </li> <li id="cite_note-8"><span class="mw-cite-backlink"><a href="#cite_ref-8">↑</a></span> <span class="reference-text">El antecedente del concepto como entidad lo formuló en la Edad Media <a href="/wiki/Avicena" title="Avicena">Avicena</a> al diferenciar el “ser de esencia” y el “ser de existencia”</span> </li> <li id="cite_note-9"><span class="mw-cite-backlink"><a href="#cite_ref-9">↑</a></span> <span class="reference-text">Consecuencia del nuevo punto de partida de la reflexión filosófica a partir del la duda metódica y la afirmación del <i>pienso luego existo</i> de <a href="/wiki/Descartes" class="mw-redirect" title="Descartes">Descartes</a>. Para los <a href="/wiki/Racionalismo" title="Racionalismo">racionalistas</a> el contenido de realidad de la idea es consecuencia de la previa afirmación de la existencia de Dios que no puede engañarse ni engañarnos; para los <a href="/wiki/Empirismo" title="Empirismo">empiristas</a> que no admiten las <a href="/wiki/Ideas_innatas" class="mw-redirect" title="Ideas innatas">ideas innatas</a> tal contenido de realidad es considerado, en principio, meramente subjetivo propio del único fundamento en el contenido cognitivo de la <a href="/wiki/Experiencia" title="Experiencia">experiencia</a> sin poder afirmar con <a href="/wiki/Evidencia_(filosof%C3%ADa)" class="mw-redirect" title="Evidencia (filosofía)">evidencia</a> su correspondencia con <a href="/wiki/Lo_real" title="Lo real">lo real</a>.</span> </li> <li id="cite_note-10"><span class="mw-cite-backlink"><a href="#cite_ref-10">↑</a></span> <span class="reference-text">Este es el sentido en el que en la actualidad son considerados los conceptos en su abstracción; si bien en la actualidad dicha propiedad no tiene sentido de realidad alguno sino únicamente contenido del pensamiento lógico abstracto como <a href="/wiki/Noci%C3%B3n" title="Noción">notas</a> que definen un <a href="/wiki/Concepto" title="Concepto">concepto</a></span> </li> <li id="cite_note-11"><span class="mw-cite-backlink"><a href="#cite_ref-11">↑</a></span> <span class="reference-text">Que por ser Perfecto no puede engañarse ni engañarnos cual haría un “genio maligno” según pensó Descartes</span> </li> <li id="cite_note-12"><span class="mw-cite-backlink"><a href="#cite_ref-12">↑</a></span> <span class="reference-text">Cuyo antecedente más importante es <a href="/wiki/Avicena" title="Avicena">Avicena</a>. Metafísica, Libro I, Cap. 8</span> </li> <li id="cite_note-13"><span class="mw-cite-backlink"><a href="#cite_ref-13">↑</a></span> <span class="reference-text">diádicos, triádicos, etc.</span> </li> <li id="cite_note-14"><span class="mw-cite-backlink"><a href="#cite_ref-14">↑</a></span> <span class="reference-text">Citado por Ferrater Mora, J. op. cit.</span> </li> <li id="cite_note-15"><span class="mw-cite-backlink"><a href="#cite_ref-15">↑</a></span> <span class="reference-text">Citado por Ferrater Mora, J. op. cit. Cfr. <a href="/wiki/Evidencia_(filosof%C3%ADa)" class="mw-redirect" title="Evidencia (filosofía)">Evidencia</a></span> </li> </ol></div> <div class="mw-heading mw-heading2"><h2 id="Bibliografía"><span id="Bibliograf.C3.ADa"></span>Bibliografía</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Predicado_(l%C3%B3gica)&action=edit&section=10" title="Editar sección: Bibliografía"><span>editar</span></a><span class="mw-editsection-bracket">]</span></span></div> <ul><li><span id="CITAREFPorfirio2003" class="citation libro"><a href="/wiki/Porfirio" title="Porfirio">Porfirio</a> (2003). <i>Isagoge</i>. Barcelona: Rubí, Anthropos.</span><span title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fes.wikipedia.org%3APredicado+%28l%C3%B3gica%29&rft.au=Porfirio&rft.aulast=Porfirio&rft.btitle=Isagoge&rft.date=2003&rft.genre=book&rft.place=Barcelona&rft.pub=Rub%C3%AD%2C+Anthropos&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook" class="Z3988"><span style="display:none;"> </span></span></li> <li><span id="CITAREFMiguel_Cruz_Hernández1949" class="citation libro">Miguel Cruz Hernández (1949). <i>La metafísica de Avicena</i>. Granada: Publicaciones de la Universidad.</span><span title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fes.wikipedia.org%3APredicado+%28l%C3%B3gica%29&rft.au=Miguel+Cruz+Hern%C3%A1ndez&rft.aulast=Miguel+Cruz+Hern%C3%A1ndez&rft.btitle=La+metaf%C3%ADsica+de+Avicena&rft.date=1949&rft.genre=book&rft.place=Granada&rft.pub=Publicaciones+de+la+Universidad&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook" class="Z3988"><span style="display:none;"> </span></span></li> <li><span id="CITAREFJuan_de_Santo_Tomás1991" class="citation libro"><a href="/wiki/Juan_de_Santo_Tom%C3%A1s" title="Juan de Santo Tomás">Juan de Santo Tomás</a> (1991). <i>Lógica de los predicables</i>. México: UNAM, Instituto de Investigaciones Filosóficas. <small><a href="/wiki/ISBN" title="ISBN">ISBN</a> <a href="/wiki/Especial:FuentesDeLibros/968-36-2146-5" title="Especial:FuentesDeLibros/968-36-2146-5">968-36-2146-5</a></small>.</span><span title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fes.wikipedia.org%3APredicado+%28l%C3%B3gica%29&rft.au=Juan+de+Santo+Tom%C3%A1s&rft.aulast=Juan+de+Santo+Tom%C3%A1s&rft.btitle=L%C3%B3gica+de+los+predicables&rft.date=1991&rft.genre=book&rft.isbn=968-36-2146-5&rft.place=M%C3%A9xico&rft.pub=UNAM%2C+Instituto+de+Investigaciones+Filos%C3%B3ficas&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook" class="Z3988"><span style="display:none;"> </span></span></li> <li><span id="CITAREFGilson,_E.20031965" class="citation libro"><a href="/wiki/Etienne_Gilson" class="mw-redirect" title="Etienne Gilson">Gilson, E.</a> (20031965). <i>La filosofía en la Edad Media</i>. Madrid: Gredos.</span><span title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fes.wikipedia.org%3APredicado+%28l%C3%B3gica%29&rft.au=Gilson%2C+E.&rft.aulast=Gilson%2C+E.&rft.btitle=La+filosof%C3%ADa+en+la+Edad+Media&rft.date=20031965&rft.genre=book&rft.place=Madrid&rft.pub=Gredos&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook" class="Z3988"><span style="display:none;"> </span></span></li> <li><span id="CITAREFWillard_Van_Orman_Quine2002" class="citation libro"><a href="/wiki/Willard_van_Orman_Quine" class="mw-redirect" title="Willard van Orman Quine">Willard Van Orman Quine</a> (2002). <i>Desde un punto de vista lógico</i>. Buenos Aires: Paidós. <small><a href="/wiki/ISBN" title="ISBN">ISBN</a> <a href="/wiki/Especial:FuentesDeLibros/84-493-1297-3" title="Especial:FuentesDeLibros/84-493-1297-3">84-493-1297-3</a></small>.</span><span title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fes.wikipedia.org%3APredicado+%28l%C3%B3gica%29&rft.au=Willard+Van+Orman+Quine&rft.aulast=Willard+Van+Orman+Quine&rft.btitle=Desde+un+punto+de+vista+l%C3%B3gico&rft.date=2002&rft.genre=book&rft.isbn=84-493-1297-3&rft.place=Buenos+Aires&rft.pub=Paid%C3%B3s&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook" class="Z3988"><span style="display:none;"> </span></span></li> <li><span id="CITAREFFerrater_Mora,_J.1984" class="citation libro"><a href="/wiki/Jos%C3%A9_Ferrater_Mora" title="José Ferrater Mora">Ferrater Mora, J.</a> (1984). <i>Diccionario de Filosofía (4 tomos)</i>. Barcelona: Alianza Diccionarios. <small><a href="/wiki/ISBN" title="ISBN">ISBN</a> <a href="/wiki/Especial:FuentesDeLibros/84-206-5299-7" title="Especial:FuentesDeLibros/84-206-5299-7">84-206-5299-7</a></small>.</span><span title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fes.wikipedia.org%3APredicado+%28l%C3%B3gica%29&rft.au=Ferrater+Mora%2C+J.&rft.aulast=Ferrater+Mora%2C+J.&rft.btitle=Diccionario+de+Filosof%C3%ADa+%284+tomos%29&rft.date=1984&rft.genre=book&rft.isbn=84-206-5299-7&rft.place=Barcelona&rft.pub=Alianza+Diccionarios&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook" class="Z3988"><span style="display:none;"> </span></span></li> <li><span id="CITAREFHonderich,_T._(editor)2001" class="citation libro">Honderich, T. (editor) (2001). <i>Enciclopedia Oxford de Filosofía</i>. Madrid: Anaya. <small><a href="/wiki/ISBN" title="ISBN">ISBN</a> <a href="/wiki/Especial:FuentesDeLibros/84-309-3699-8" title="Especial:FuentesDeLibros/84-309-3699-8">84-309-3699-8</a></small>.</span><span title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fes.wikipedia.org%3APredicado+%28l%C3%B3gica%29&rft.au=Honderich%2C+T.+%28editor%29&rft.aulast=Honderich%2C+T.+%28editor%29&rft.btitle=Enciclopedia+Oxford+de+Filosof%C3%ADa&rft.date=2001&rft.genre=book&rft.isbn=84-309-3699-8&rft.place=Madrid&rft.pub=Anaya&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook" class="Z3988"><span style="display:none;"> </span></span></li> <li><span id="CITAREFKripke2005" class="citation libro"><a href="/wiki/Saul_Kripke" title="Saul Kripke">Kripke, Saul</a> (2005). <i>El nombrar y la necesidad</i>. Traducción de Margarita Valdés. UNAM/IIFF.</span><span title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fes.wikipedia.org%3APredicado+%28l%C3%B3gica%29&rft.au=Kripke%2C+Saul&rft.aufirst=Saul&rft.aulast=Kripke&rft.btitle=El+nombrar+y+la+necesidad&rft.date=2005&rft.genre=book&rft.pub=UNAM%2FIIFF&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook" class="Z3988"><span style="display:none;"> </span></span></li> <li><span id="CITAREFPutnam,_H.1988" class="citation libro"><a href="/wiki/Hilary_Putnam" title="Hilary Putnam">Putnam, H.</a> (1988). <i>Razón, verdad e historia</i>. Madrid. Tecnos. <small><a href="/wiki/ISBN" title="ISBN">ISBN</a> <a href="/wiki/Especial:FuentesDeLibros/84-309-1577-X" title="Especial:FuentesDeLibros/84-309-1577-X">84-309-1577-X</a></small>.</span><span title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fes.wikipedia.org%3APredicado+%28l%C3%B3gica%29&rft.au=Putnam%2C+H.&rft.aulast=Putnam%2C+H.&rft.btitle=Raz%C3%B3n%2C+verdad+e+historia&rft.date=1988&rft.genre=book&rft.isbn=84-309-1577-X&rft.pub=Madrid.+Tecnos&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook" class="Z3988"><span style="display:none;"> </span></span></li> <li><span id="CITAREFStrawson,_F.S.1974" class="citation libro"><a href="/wiki/Peter_Frederick_Strawson" title="Peter Frederick Strawson">Strawson, F.S.</a> (1974). <i>Subject and Predicate in Logic and Grammar (Sujeto y predicado en lógica y gramática)</i>. Londres: Methuen.</span><span title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fes.wikipedia.org%3APredicado+%28l%C3%B3gica%29&rft.au=Strawson%2C+F.S.&rft.aulast=Strawson%2C+F.S.&rft.btitle=Subject+and+Predicate+in+Logic+and+Grammar+%28Sujeto+y+predicado+en+l%C3%B3gica+y+gram%C3%A1tica%29&rft.date=1974&rft.genre=book&rft.place=Londres&rft.pub=Methuen&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook" class="Z3988"><span style="display:none;"> </span></span></li> <li><span id="CITAREFHamilton1981" class="citation libro">Hamilton, A. G. (1981). <i>Lógica para matemáticos</i>. Paraninfo.</span><span title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fes.wikipedia.org%3APredicado+%28l%C3%B3gica%29&rft.au=Hamilton%2C+A.+G.&rft.aufirst=A.+G.&rft.aulast=Hamilton&rft.btitle=L%C3%B3gica+para+matem%C3%A1ticos&rft.date=1981&rft.genre=book&rft.pub=Paraninfo&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook" class="Z3988"><span style="display:none;"> </span></span></li></ul> <div class="mw-heading mw-heading2"><h2 id="Enlaces_externos">Enlaces externos</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Predicado_(l%C3%B3gica)&action=edit&section=11" title="Editar sección: Enlaces externos"><span>editar</span></a><span class="mw-editsection-bracket">]</span></span></div> <ul><li><a rel="nofollow" class="external text" href="http://cs.odu.edu/~toida/nerzic/content/logic/pred_logic/predicate/pred_intro.html">Introduction to predicates</a> (en inglés)</li> <li><span id="Reference-Mathworld-Predicate" class="citation web"><a href="/wiki/Eric_W._Weisstein" title="Eric W. Weisstein">Weisstein, Eric W</a>. <a rel="nofollow" class="external text" href="http://mathworld.wolfram.com/Predicate.html">«Predicate»</a>. En Weisstein, Eric W, ed. <i><a href="/wiki/MathWorld" title="MathWorld">MathWorld</a></i> <span style="color:var(--color-subtle, #555 );">(en inglés)</span>. <a href="/wiki/Wolfram_Research" title="Wolfram Research">Wolfram Research</a>.</span><span title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fes.wikipedia.org%3APredicado+%28l%C3%B3gica%29&rft.atitle=Predicate&rft.au=Weisstein%2C+Eric+W&rft.aulast=Weisstein%2C+Eric+W&rft.genre=article&rft.jtitle=MathWorld&rft.pub=Wolfram+Research&rft_id=http%3A%2F%2Fmathworld.wolfram.com%2FPredicate.html&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal" class="Z3988"><span style="display:none;"> </span></span></li></ul> <style data-mw-deduplicate="TemplateStyles:r161257576">.mw-parser-output .mw-authority-control{margin-top:1.5em}.mw-parser-output .mw-authority-control .navbox table{margin:0}.mw-parser-output .mw-authority-control .navbox hr:last-child{display:none}.mw-parser-output .mw-authority-control .navbox+.mw-mf-linked-projects{display:none}.mw-parser-output .mw-authority-control .mw-mf-linked-projects{display:flex;padding:0.5em;border:1px solid var(--border-color-base,#a2a9b1);background-color:var(--background-color-neutral,#eaecf0);color:var(--color-base,#202122)}.mw-parser-output .mw-authority-control .mw-mf-linked-projects ul li{margin-bottom:0}.mw-parser-output .mw-authority-control .navbox{border:1px solid var(--border-color-base,#a2a9b1);background-color:var(--background-color-neutral-subtle,#f8f9fa)}.mw-parser-output .mw-authority-control .navbox-list{border-color:#f8f9fa}.mw-parser-output .mw-authority-control .navbox th{background-color:#eeeeff}html.skin-theme-clientpref-night .mw-parser-output .mw-authority-control .mw-mf-linked-projects{border:1px solid var(--border-color-base,#72777d);background-color:var(--background-color-neutral,#27292d);color:var(--color-base,#eaecf0)}html.skin-theme-clientpref-night .mw-parser-output .mw-authority-control .navbox{border:1px solid var(--border-color-base,#72777d)!important;background-color:var(--background-color-neutral-subtle,#202122)!important}html.skin-theme-clientpref-night .mw-parser-output .mw-authority-control .navbox-list{border-color:#202122!important}html.skin-theme-clientpref-night .mw-parser-output .mw-authority-control .navbox th{background-color:#27292d!important}@media(prefers-color-scheme:dark){html.skin-theme-clientpref-os .mw-parser-output .mw-authority-control .mw-mf-linked-projects{border:1px solid var(--border-color-base,#72777d)!important;background-color:var(--background-color-neutral,#27292d)!important;color:var(--color-base,#eaecf0)!important}html.skin-theme-clientpref-os .mw-parser-output .mw-authority-control .navbox{border:1px solid var(--border-color-base,#72777d)!important;background-color:var(--background-color-neutral-subtle,#202122)!important}html.skin-theme-clientpref-os .mw-parser-output .mw-authority-control .navbox-list{border-color:#202122!important}html.skin-theme-clientpref-os .mw-parser-output .mw-authority-control .navbox th{background-color:#27292d!important}}</style><div class="mw-authority-control"><div role="navigation" class="navbox" aria-label="Navbox" style="width: inherit;padding:3px"><table class="hlist navbox-inner" style="border-spacing:0;background:transparent;color:inherit"><tbody><tr><th scope="row" class="navbox-group" style="width: 12%; text-align:center;"><a href="/wiki/Control_de_autoridades" title="Control de autoridades">Control de autoridades</a></th><td class="navbox-list navbox-odd" style="text-align:left;border-left-width:2px;border-left-style:solid;width:100%;padding:0px"><div style="padding:0em 0.25em"> <ul><li><b>Proyectos Wikimedia</b></li> <li><span style="white-space:nowrap;"><span typeof="mw:File"><a href="/wiki/Wikidata" title="Wikidata"><img alt="Wd" src="//upload.wikimedia.org/wikipedia/commons/thumb/f/ff/Wikidata-logo.svg/20px-Wikidata-logo.svg.png" decoding="async" width="20" height="11" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/f/ff/Wikidata-logo.svg/30px-Wikidata-logo.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/f/ff/Wikidata-logo.svg/40px-Wikidata-logo.svg.png 2x" data-file-width="1050" data-file-height="590" /></a></span> Datos:</span> <span class="uid"><a href="https://www.wikidata.org/wiki/Q1144319" class="extiw" title="wikidata:Q1144319">Q1144319</a></span></li> <li><b>Identificadores</b></li> <li><span style="white-space:nowrap;"><a href="/wiki/Gemeinsame_Normdatei" title="Gemeinsame Normdatei">GND</a>:</span> <span class="uid"><a rel="nofollow" class="external text" href="https://d-nb.info/gnd/4389352-1">4389352-1</a></span></li> <li><span style="white-space:nowrap;"><a href="/wiki/Library_of_Congress_Control_Number" title="Library of Congress Control Number">LCCN</a>:</span> <span class="uid"><a rel="nofollow" class="external text" href="https://id.loc.gov/authorities/sh85106250">sh85106250</a></span></li> <li><span style="white-space:nowrap;"><a href="/wiki/Biblioteca_Nacional_de_Israel" title="Biblioteca Nacional de Israel">NLI</a>:</span> <span class="uid"><a rel="nofollow" class="external text" href="https://www.nli.org.il/en/authorities/987007533943805171">987007533943805171</a></span></li> <li><b>Diccionarios y enciclopedias</b></li> <li><span style="white-space:nowrap;"><a href="/wiki/Enciclopedia_Brit%C3%A1nica" title="Enciclopedia Británica">Britannica</a>:</span> <span class="uid"><a rel="nofollow" class="external text" href="https://www.britannica.com/topic/predicate-logic">url</a></span></li></ul> </div></td></tr></tbody></table></div><div class="mw-mf-linked-projects hlist"> <ul><li><span style="white-space:nowrap;"><span typeof="mw:File"><a href="/wiki/Wikidata" title="Wikidata"><img alt="Wd" src="//upload.wikimedia.org/wikipedia/commons/thumb/f/ff/Wikidata-logo.svg/20px-Wikidata-logo.svg.png" decoding="async" width="20" height="11" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/f/ff/Wikidata-logo.svg/30px-Wikidata-logo.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/f/ff/Wikidata-logo.svg/40px-Wikidata-logo.svg.png 2x" data-file-width="1050" data-file-height="590" /></a></span> Datos:</span> <span class="uid"><a href="https://www.wikidata.org/wiki/Q1144319" class="extiw" title="wikidata:Q1144319">Q1144319</a></span></li></ul> </div></div>    </div><noscript><img src="https://login.wikimedia.org/wiki/Special:CentralAutoLogin/start?useformat=desktop&type=1x1&usesul3=0" alt="" width="1" height="1" style="border: none; position: absolute;"></noscript> <div class="printfooter" data-nosnippet="">Obtenido de «<a dir="ltr" href="https://es.wikipedia.org/w/index.php?title=Predicado_(lógica)&oldid=161152321">https://es.wikipedia.org/w/index.php?title=Predicado_(lógica)&oldid=161152321</a>»</div></div> <div id="catlinks" class="catlinks" data-mw="interface"><div id="mw-normal-catlinks" class="mw-normal-catlinks"><a href="/wiki/Especial:Categor%C3%ADas" title="Especial:Categorías">Categorías</a>: <ul><li><a href="/wiki/Categor%C3%ADa:L%C3%B3gica" title="Categoría:Lógica">Lógica</a></li><li><a href="/wiki/Categor%C3%ADa:L%C3%B3gica_de_predicados" title="Categoría:Lógica de predicados">Lógica de predicados</a></li></ul></div><div id="mw-hidden-catlinks" class="mw-hidden-catlinks mw-hidden-cats-hidden">Categorías ocultas: <ul><li><a href="/wiki/Categor%C3%ADa:Wikipedia:Art%C3%ADculos_con_identificadores_GND" title="Categoría:Wikipedia:Artículos con identificadores GND">Wikipedia:Artículos con identificadores GND</a></li><li><a href="/wiki/Categor%C3%ADa:Wikipedia:Art%C3%ADculos_con_identificadores_LCCN" title="Categoría:Wikipedia:Artículos con identificadores LCCN">Wikipedia:Artículos con identificadores LCCN</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"> Esta página se editó por última vez el 6 jul 2024 a las 09:34.</li> <li id="footer-info-copyright">El texto está disponible bajo la <a href="/wiki/Wikipedia:Texto_de_la_Licencia_Creative_Commons_Atribuci%C3%B3n-CompartirIgual_4.0_Internacional" title="Wikipedia:Texto de la Licencia Creative Commons Atribución-CompartirIgual 4.0 Internacional">Licencia Creative Commons Atribución-CompartirIgual 4.0</a>; pueden aplicarse cláusulas adicionales. Al usar este sitio aceptas nuestros <a class="external text" href="https://foundation.wikimedia.org/wiki/Policy:Terms_of_Use/es">términos de uso</a> y nuestra <a class="external text" href="https://foundation.wikimedia.org/wiki/Policy:Privacy_policy/es">política de privacidad</a>.<br />Wikipedia® es una marca registrada de la <a rel="nofollow" class="external text" href="https://wikimediafoundation.org/es/">Fundación Wikimedia</a>, una organización sin ánimo de lucro.</li> </ul> <ul id="footer-places"> <li id="footer-places-privacy"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy/es">Política de privacidad</a></li> <li id="footer-places-about"><a href="/wiki/Wikipedia:Acerca_de">Acerca de Wikipedia</a></li> <li id="footer-places-disclaimers"><a href="/wiki/Wikipedia:Limitaci%C3%B3n_general_de_responsabilidad">Limitación de responsabilidad</a></li> <li id="footer-places-wm-codeofconduct"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Universal_Code_of_Conduct">Código de conducta</a></li> <li id="footer-places-developers"><a href="https://developer.wikimedia.org">Desarrolladores</a></li> <li id="footer-places-statslink"><a href="https://stats.wikimedia.org/#/es.wikipedia.org">Estadísticas</a></li> <li id="footer-places-cookiestatement"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Cookie_statement/es">Declaración de cookies</a></li> <li id="footer-places-mobileview"><a href="//es.m.wikipedia.org/w/index.php?title=Predicado_(l%C3%B3gica)&mobileaction=toggle_view_mobile" class="noprint stopMobileRedirectToggle">Versión para móviles</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"><picture><source media="(min-width: 500px)" srcset="/static/images/footer/wikimedia-button.svg" width="84" height="29"><img src="/static/images/footer/wikimedia.svg" width="25" height="25" alt="Wikimedia Foundation" lang="en" loading="lazy"></picture></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"><picture><source media="(min-width: 500px)" srcset="/w/resources/assets/poweredby_mediawiki.svg" width="88" height="31"><img src="/w/resources/assets/mediawiki_compact.svg" alt="Powered by MediaWiki" lang="en" width="25" height="25" loading="lazy"></picture></a></li> </ul> </footer> </div> </div> </div> <div class="vector-header-container vector-sticky-header-container"> <div id="vector-sticky-header" class="vector-sticky-header"> <div class="vector-sticky-header-start"> <div class="vector-sticky-header-icon-start vector-button-flush-left vector-button-flush-right" aria-hidden="true"> <button class="cdx-button cdx-button--weight-quiet cdx-button--icon-only vector-sticky-header-search-toggle" tabindex="-1" data-event-name="ui.vector-sticky-search-form.icon"><span class="vector-icon mw-ui-icon-search mw-ui-icon-wikimedia-search"></span> <span>Buscar</span> </button> </div> <div role="search" class="vector-search-box-vue vector-search-box-show-thumbnail vector-search-box"> <div class="vector-typeahead-search-container"> <div class="cdx-typeahead-search cdx-typeahead-search--show-thumbnail"> <form action="/w/index.php" id="vector-sticky-search-form" class="cdx-search-input cdx-search-input--has-end-button"> <div 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="Buscar en Wikipedia"> <span class="cdx-text-input__icon cdx-text-input__start-icon"></span> </div> <input type="hidden" name="title" value="Especial:Buscar"> </div> <button class="cdx-button cdx-search-input__end-button">Buscar</button> </form> </div> </div> </div> <div class="vector-sticky-header-context-bar"> <nav aria-label="Contenidos" class="vector-toc-landmark"> <div id="vector-sticky-header-toc" class="vector-dropdown mw-portlet mw-portlet-sticky-header-toc vector-sticky-header-toc vector-button-flush-left" > <input type="checkbox" id="vector-sticky-header-toc-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-sticky-header-toc" class="vector-dropdown-checkbox " aria-label="Cambiar a la tabla de contenidos" > <label id="vector-sticky-header-toc-label" for="vector-sticky-header-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">Cambiar a la tabla de contenidos</span> </label> <div class="vector-dropdown-content"> <div id="vector-sticky-header-toc-unpinned-container" class="vector-unpinned-container"> </div> </div> </div> </nav> <div class="vector-sticky-header-context-bar-primary" aria-hidden="true" ><span class="mw-page-title-main">Predicado (lógica)</span></div> </div> </div> <div class="vector-sticky-header-end" aria-hidden="true"> <div class="vector-sticky-header-icons"> <a href="#" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only" id="ca-talk-sticky-header" tabindex="-1" data-event-name="talk-sticky-header"><span class="vector-icon mw-ui-icon-speechBubbles mw-ui-icon-wikimedia-speechBubbles"></span> <span></span> </a> <a href="#" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only" id="ca-subject-sticky-header" tabindex="-1" data-event-name="subject-sticky-header"><span class="vector-icon mw-ui-icon-article mw-ui-icon-wikimedia-article"></span> <span></span> </a> <a href="#" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only" id="ca-history-sticky-header" tabindex="-1" data-event-name="history-sticky-header"><span class="vector-icon mw-ui-icon-wikimedia-history mw-ui-icon-wikimedia-wikimedia-history"></span> <span></span> </a> <a href="#" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only mw-watchlink" id="ca-watchstar-sticky-header" tabindex="-1" data-event-name="watch-sticky-header"><span class="vector-icon mw-ui-icon-wikimedia-star mw-ui-icon-wikimedia-wikimedia-star"></span> <span></span> </a> <a href="#" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only" id="ca-edit-sticky-header" tabindex="-1" data-event-name="wikitext-edit-sticky-header"><span class="vector-icon mw-ui-icon-wikimedia-wikiText mw-ui-icon-wikimedia-wikimedia-wikiText"></span> <span></span> </a> <a href="#" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only" id="ca-ve-edit-sticky-header" tabindex="-1" data-event-name="ve-edit-sticky-header"><span class="vector-icon mw-ui-icon-wikimedia-edit mw-ui-icon-wikimedia-wikimedia-edit"></span> <span></span> </a> <a href="#" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only" id="ca-viewsource-sticky-header" tabindex="-1" data-event-name="ve-edit-protected-sticky-header"><span class="vector-icon mw-ui-icon-wikimedia-editLock mw-ui-icon-wikimedia-wikimedia-editLock"></span> <span></span> </a> </div> <div class="vector-sticky-header-buttons"> <button class="cdx-button cdx-button--weight-quiet mw-interlanguage-selector" id="p-lang-btn-sticky-header" tabindex="-1" data-event-name="ui.dropdown-p-lang-btn-sticky-header"><span class="vector-icon mw-ui-icon-wikimedia-language mw-ui-icon-wikimedia-wikimedia-language"></span> <span>25 idiomas</span> </button> <a href="#" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--action-progressive" id="ca-addsection-sticky-header" tabindex="-1" data-event-name="addsection-sticky-header"><span class="vector-icon mw-ui-icon-speechBubbleAdd-progressive mw-ui-icon-wikimedia-speechBubbleAdd-progressive"></span> <span>Añadir tema</span> </a> </div> <div class="vector-sticky-header-icon-end"> <div class="vector-user-links"> </div> </div> </div> </div> </div> <div class="mw-portlet mw-portlet-dock-bottom emptyPortlet" id="p-dock-bottom"> <ul> </ul> </div> <script>(RLQ=window.RLQ||[]).push(function(){mw.config.set({"wgHostname":"mw-web.eqiad.main-75687f9f4b-vjxf6","wgBackendResponseTime":136,"wgPageParseReport":{"limitreport":{"cputime":"0.230","walltime":"0.361","ppvisitednodes":{"value":991,"limit":1000000},"postexpandincludesize":{"value":21352,"limit":2097152},"templateargumentsize":{"value":1029,"limit":2097152},"expansiondepth":{"value":7,"limit":100},"expensivefunctioncount":{"value":4,"limit":500},"unstrip-depth":{"value":0,"limit":20},"unstrip-size":{"value":13160,"limit":5000000},"entityaccesscount":{"value":5,"limit":400},"timingprofile":["100.00% 244.407 1 -total"," 61.04% 149.183 1 Plantilla:Control_de_autoridades"," 20.80% 50.829 11 Plantilla:Cita_libro"," 9.77% 23.889 2 Plantilla:Cita"," 2.82% 6.900 1 Plantilla:MathWorld"," 2.71% 6.616 1 Plantilla:Listaref"," 1.70% 4.164 2 Plantilla:Ecuación"," 1.69% 4.129 1 Plantilla:Cita_web"," 0.65% 1.593 2 Plantilla:Trim"]},"scribunto":{"limitreport-timeusage":{"value":"0.128","limit":"10.000"},"limitreport-memusage":{"value":3497418,"limit":52428800}},"cachereport":{"origin":"mw-web.eqiad.canary-96dd6f644-jbnjl","timestamp":"20250316101619","ttl":2592000,"transientcontent":false}}});});</script> <script type="application/ld+json">{"@context":"https:\/\/schema.org","@type":"Article","name":"Predicado (l\u00f3gica)","url":"https:\/\/es.wikipedia.org\/wiki\/Predicado_(l%C3%B3gica)","sameAs":"http:\/\/www.wikidata.org\/entity\/Q1144319","mainEntity":"http:\/\/www.wikidata.org\/entity\/Q1144319","author":{"@type":"Organization","name":"Colaboradores de los proyectos Wikimedia"},"publisher":{"@type":"Organization","name":"Wikimedia Foundation, Inc.","logo":{"@type":"ImageObject","url":"https:\/\/www.wikimedia.org\/static\/images\/wmf-hor-googpub.png"}},"datePublished":"2010-10-24T16:58:37Z","dateModified":"2024-07-06T09:34:31Z","headline":"concepto en l\u00f3gica matem\u00e1tica"}</script> </body> </html>