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

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

PrefixNamespace IRI
category-eshttp://es.dbpedia.org/resource/Categoría:
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/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n4http://es.dbpedia.org/resource/Lenguaje_proposicional_(matemáticas)
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n6http://es.wikipedia.org/wiki/Lenguaje_proposicional?oldid=125466913&ns=
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
Subject Item
n4:
dbo:wikiPageRedirects
dbpedia-es:Lenguaje_proposicional
Subject Item
wikipedia-es:Lenguaje_proposicional
foaf:primaryTopic
dbpedia-es:Lenguaje_proposicional
Subject Item
dbpedia-es:Lenguaje_proposicional
rdfs:label
Lenguaje proposicional
rdfs:comment
Dentro de la lógica formal, el lenguaje proposicional estudia las propiedades de los conectivos proposicionales como y, o, no, si y solo si y entonces entre otros, usados en el desarrollo de sistemas lógicos en la lógica matemática. Para sintetizar gramaticalmente el modelo matemático de lenguaje será necesario introducir unos símbolos para denominar las frases atómicas y otros símbolos, distintos, para denominar los conectivos.
dct:subject
category-es:Lógica_proposicional category-es:Lenguajes_formales
foaf:isPrimaryTopicOf
wikipedia-es:Lenguaje_proposicional
dbo:wikiPageID
4818735
dbo:wikiPageRevisionID
125466913
dbo:wikiPageLength
21238
prov:wasDerivedFrom
n6:0
dbo:abstract
Dentro de la lógica formal, el lenguaje proposicional estudia las propiedades de los conectivos proposicionales como y, o, no, si y solo si y entonces entre otros, usados en el desarrollo de sistemas lógicos en la lógica matemática. Para sintetizar gramaticalmente el modelo matemático de lenguaje será necesario introducir unos símbolos para denominar las frases atómicas y otros símbolos, distintos, para denominar los conectivos.