This HTML5 document contains 74 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
n18http://plato.stanford.edu/entries/logical-constants/
n16http://es.wikipedia.org/wiki/Conectiva_lógica?oldid=130515315&ns=
category-eshttp://es.dbpedia.org/resource/Categoría:
n17http://plato.stanford.edu/entries/connectives-logic/
dcthttp://purl.org/dc/terms/
wikipedia-eshttp://es.wikipedia.org/wiki/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-eshttp://es.dbpedia.org/resource/
prop-eshttp://es.dbpedia.org/property/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n12http://rdf.freebase.com/ns/m.
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n9https://archive.org/details/
provhttp://www.w3.org/ns/prov#
n19http://es.dbpedia.org/resource/Operador_(logica)
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
n8http://es.dbpedia.org/resource/Operador_(lógica)
Subject Item
wikipedia-es:Conectiva_lógica
foaf:primaryTopic
dbpedia-es:Conectiva_lógica
Subject Item
dbr:Logical_connective
owl:sameAs
dbpedia-es:Conectiva_lógica
Subject Item
dbpedia-es:Conectiva_logica
dbo:wikiPageRedirects
dbpedia-es:Conectiva_lógica
Subject Item
dbpedia-es:Conectiva_lógica
rdfs:label
Conectiva lógica
rdfs:comment
En lógica, una conectiva lógica, o también conectiva, (también llamado operador lógico o conectores lógicos) es un símbolo o palabra que se utiliza para conectar dos fórmulas bien formadas o sentencias (atómicas o moleculares), de modo que el valor de verdad de la fórmula compuesta depende del valor de verdad de las fórmulas componentes. Los conectivos lógicos más comunes son los conectivos binarios (también llamados conectivos diádicos) que unen dos frases, que pueden ser consideradas los operandos de la función. También es común considerar a la negación como un conectivo monádico.
owl:sameAs
n12:04m39
dct:subject
category-es:Conectivas_lógicas category-es:Sistemas_lógicos category-es:Lógica_proposicional category-es:Inteligencia_artificial category-es:Programación category-es:Símbolos_lógicos
foaf:isPrimaryTopicOf
wikipedia-es:Conectiva_lógica
prop-es:apellido
Humberstone MacFarlane Bocheński Gamut Enderton
prop-es:autor
Lloyd Humberstone
prop-es:año
1991 1959 2010 2011 2005 2001
prop-es:contribution
Chapter 2
prop-es:edición
2
prop-es:editor
dbpedia-es:University_of_Chicago_Press
prop-es:editorial
dbpedia-es:MIT_Press Academic Press
prop-es:enciclopedia
Stanford Encyclopedia of Philosophy
prop-es:enlaceautor
Józef Maria Bocheński
prop-es:id
p/p075490
prop-es:isbn
978
prop-es:nombre
Herbert John Lloyd Józef Maria
prop-es:nombres
L.T.F
prop-es:oclc
21372380
prop-es:otros
traducido al inglés de las ediciones francesa y alemana por Otto Bird
prop-es:páginas
54
prop-es:title
Propositional connective
prop-es:título
Logic, Language and Meaning A Mathematical Introduction to Logic A Précis of Mathematical Logic Logical constants The Connectives Sentence Connectives in Formal Logic
prop-es:ubicación
Dordrecht, South Holland Boston, MA
prop-es:url
n9:precisofmathemat0000boch n17: n18:
prop-es:volumen
1
dbo:wikiPageID
103281
dbo:wikiPageRevisionID
130515315
dbo:wikiPageExternalLink
n9:precisofmathemat0000boch n17: n18:
dbo:wikiPageLength
26337
prov:wasDerivedFrom
n16:0
dbo:abstract
En lógica, una conectiva lógica, o también conectiva, (también llamado operador lógico o conectores lógicos) es un símbolo o palabra que se utiliza para conectar dos fórmulas bien formadas o sentencias (atómicas o moleculares), de modo que el valor de verdad de la fórmula compuesta depende del valor de verdad de las fórmulas componentes. Los conectivos lógicos más comunes son los conectivos binarios (también llamados conectivos diádicos) que unen dos frases, que pueden ser consideradas los operandos de la función. También es común considerar a la negación como un conectivo monádico. Las conectivas lógicas son, junto con los cuantificadores, las principales constantes lógicas de muchos sistemas lógicos, principalmente la lógica proposicional y la lógica de predicados. En programación se utilizan para combinar valores de verdad y obtener nuevos valores que determinen el flujo de control de un algoritmo o programa.
Subject Item
dbpedia-es:Conectivas
dbo:wikiPageRedirects
dbpedia-es:Conectiva_lógica
Subject Item
dbpedia-es:Conectivas_logicas
dbo:wikiPageRedirects
dbpedia-es:Conectiva_lógica
Subject Item
dbpedia-es:Conectivas_lógicas
dbo:wikiPageRedirects
dbpedia-es:Conectiva_lógica
Subject Item
dbpedia-es:Conectivo_binario
dbo:wikiPageRedirects
dbpedia-es:Conectiva_lógica
Subject Item
dbpedia-es:Conectivo_lógico
dbo:wikiPageRedirects
dbpedia-es:Conectiva_lógica
Subject Item
dbpedia-es:Conector_lógico
dbo:wikiPageRedirects
dbpedia-es:Conectiva_lógica
Subject Item
dbpedia-es:Conectores_lógicos
dbo:wikiPageRedirects
dbpedia-es:Conectiva_lógica
Subject Item
n19:
dbo:wikiPageRedirects
dbpedia-es:Conectiva_lógica
Subject Item
n8:
dbo:wikiPageRedirects
dbpedia-es:Conectiva_lógica
Subject Item
dbpedia-es:Operador_logico
dbo:wikiPageRedirects
dbpedia-es:Conectiva_lógica
Subject Item
dbpedia-es:Operador_lógico
dbo:wikiPageRedirects
dbpedia-es:Conectiva_lógica